Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9780387691664"; 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
Ganai, Malay SAT based scalable formal verification solutions / Malay Ganai ; Aarti Gupta. - (Series on integrated circuits and systems) 

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=2887532&prov=M&dok_var=1&dok_ext=htm
URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/06/09/file_264/7877897.pdf
Weitere externe Links

2007 
     
2
Ganai, Malay K. [Verfasser] SAT-Based Scalable Formal Verification Solutions [Online-Ressource] / Malay K. Ganai, Aarti Gupta. - (Series on Integrated Circuits and Systems) 



2007 
     
3
Ganai, Malay K. SAT-Based Scalable Formal Verification Solutions [Elektronische Ressource] / by Malay K. Ganai, Aarti Gupta. - (Series on Integrated Circuits and Systems) 

URL: http://dx.doi.org/10.1007/978-0-387-69167-1 ; Hinw.: Resolving-System

 2007 
     


Vorige Seite   Nächste Seite