Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Author 
Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9595-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Marine navigation and safety of sea transportation
Marine navigation and safety of sea transportation
Author 
International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland) Weintrit, Adam.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Special topics on materials science and technology an Italian panorama
Special topics on materials science and technology an Italian panorama
Author 
Associazione Italiana di Ingegneria dei Materiali. Convegno nazionale (9th : 2008 : Piano di Sorrento, Italy) Acierno, D.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: