Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Author 
Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34600-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
Author 
Mellodge, Patricia. author. Kachroo, Pushkin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70799-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
Author 
Galindo, Cipriano. author. Fernández-Madrigal, Juan-Antonio. author. Gonzáez, Javier. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72690-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Networks-on-Chips : Theory and Practice
Networks-on-Chips : Theory and Practice
Author 
El-Kharashi, Mohamed Watheq, editor. Elmiligi, Haytham, editor. Gebali, Fayez, editor. Taylor and Francis.
Preferred Shelf Number 
TK5105.546
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: