Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
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 Verkehrsleittechnik Automatisierung des Straßen- und Schienenverkehrs
Verkehrsleittechnik Automatisierung des Straßen- und Schienenverkehrs
Author 
Schnieder, Eckehard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48541-4
Format: 
Availability 
Online Library~1
Available:
Copies: