Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The cell cycle in the central nervous system
The cell cycle in the central nervous system
Author 
Janigro, Damir.
Preferred Shelf Number 
WL 300 C3930 2006
Format: 
Availability 
Health Sciences Library~2
Available:
Copies:
3. 
Cover image for Handbook of computational molecular biology
Handbook of computational molecular biology
Author 
Aluru, Srinivas.
Preferred Shelf Number 
QH324.2 .H357 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for International encyclopedia of ergonomics and human factors
International encyclopedia of ergonomics and human factors
Author 
Karwowski, Waldemar, 1953-
Preferred Shelf Number 
TA166 .I556 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets