Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for The spin model checker : primer and reference manual
The spin model checker : primer and reference manual
Author 
Holzmann, Gerard J.
Preferred Shelf Number 
TA168 H65 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Dynamic systems : modeling and analysis
Dynamic systems : modeling and analysis
Author 
Vu, Hung V. Esfandiari, Ramin S., ort. yaz.
Preferred Shelf Number 
TA 342 V78 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Dynamic modeling and control of engineering systems
Dynamic modeling and control of engineering systems
Author 
Shearer, J. Lowen. Kulakowski, Bohdan T., ort. yaz. Gardner, John Francis, 1958- ort. yaz.
Preferred Shelf Number 
TA 342 S54 1997
Format: 
Availability 
Beytepe Library~1
Available:
Copies: