Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Author 
Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14261-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Elastic Multibody Dynamics A Direct Ritz Approach
Elastic Multibody Dynamics A Direct Ritz Approach
Author 
Bremer, H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8680-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for High-Dimensional Chaotic and Attractor Systems A Comprehensive Introduction
High-Dimensional Chaotic and Attractor Systems A Comprehensive Introduction
Author 
Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5456-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Model-based Health Monitoring of Hybrid Systems
Model-based Health Monitoring of Hybrid Systems
Author 
Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332270.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: 
Availability 
Online Library~1
Available:
Copies: