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

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


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

# Urheber Titel Jahr Bestand
1
Barringer, Howard Runtime Verification [Elektronische Ressource] / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann. - (Lecture Notes in Computer Science ; 6418) 

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

 2010 
     
2
Barringer, Howard [Herausgeber] Runtime verification [Elektronische Ressource] / RV 2010, St. Julians, Malta, November 1 - 4, 2010. Howard Barringer ... (ed.). - (Lecture notes in computer science ; 6418) 

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

 2010 
     
3
Barringer, Howard [Herausgeber] Runtime verification / RV 2010, St. Julians, Malta, November 1 - 4, 2010. Howard Barringer ... (eds.). - (Lecture notes in computer science ; 6418) 

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=020684445&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA ; Bemk.: Inhaltsverzeichnis
URL: http://deposit.dnb.de/cgi-bin/dokserv?id=3540765&prov=M&dok_var=1&dok_ext=htm
Weitere externe Links

2010 
     


Vorige Seite   Nächste Seite