Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9783642410109"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 2 von 2  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Pecheur, Charles Formal Methods for Industrial Critical Systems [Elektronische Ressource] / edited by Charles Pecheur, Michael Dierkes. - (Lecture Notes in Computer Science ; 8187) 

URL: http://dx.doi.org/10.1007/978-3-642-41010-9 ; Hinw.: Resolving-System

 2013 
     
2
Pecheur, Charles [Herausgeber] Formal methods for industrial critical systems [Elektronische Ressource] / FMICS 2013, Madrid, Spain, September 23 - 24, 2013. Charles Pecheur ... (eds.). - (Lecture notes in computer science ; 8187) 

URL: http://dx.doi.org/10.1007/978-3-642-41010-9 ; Hinw.: Verlag

 2013 
     


Vorige Seite   Nächste Seite