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

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


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

# Urheber Titel Jahr Bestand
1
Clarke, Edmund M., 1945-2020 [Verfasser] Model checking / Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith. - second edition. - (The cyber-physical systems series) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2020/04/19/file_1/8850570.pdf
Inhaltsverzeichnis

 2018 
     
2
Clarke, Edmund M., 1945-2020 [Herausgeber] Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors

URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/07/09/file_42/8107968.pdf
Inhaltsverzeichnis

 2018 
     
3
Clarke, Edmund M., 1945-2020 [Herausgeber] Handbook of model checking [Online-Ressource] / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors



2018 
     
4
Clarke, Edmund M., 1945-2020 [Hrsg.] Perspectives of systems informatics [Elektronische Ressource] / ed. by Edmund Clarke .... - (Lecture notes in computer science ; 7162) 

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

 2012 
     
5
Clarke, Edmund M., 1945-2020 [Herausgeber] Logic for programming, artificial intelligence, and reasoning [Elektronische Ressource] / LPAR-16, Dakar, Senegal, April 25 - May 1, 2010. Edmund M. Clarke ; Andrei Voronkov (ed.). - (Lecture notes in computer science ; 6355 : Lecture notes in artificial intelligence) 

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

 2010 
     
6
Clarke, Edmund M., 1945-2020 [Herausgeber] Logic for programming, artificial intelligence, and reasoning / LPAR-16, Dakar, Senegal, April 25 - May 1, 2010. Edmund M. Clarce ... (Eds.). - (Lecture notes in computer science ; 6355 : Lecture notes in artificial intelligence) 

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=3554132&prov=M&dok_var=1&dok_ext=htm
URL: http://digitale-objekte.hbz-nrw.de/storage/2011/04/02/file_26/4120241.pdf
Weitere externe Links

2010 
     
7
Clarke, Edmund M., 1945-2020 Model checking / Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. - [Nachdr.]

URL: http://digitale-objekte.hbz-nrw.de/storage/2007/10/08/file_84/2129888.pdf
Inhaltsverzeichnis

 2007 
     
8
Clarke, Edmund M., 1945-2020 [Hrsg.] LOGICS OF PROGRAMS / ed.: CLARKE, EDMUND ; KOZEN, DEXTER. - (LECTURE NOTES IN COMPUTER SCIENCE ; 164) 



1984 
     


Vorige Seite   Nächste Seite