Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Standorte:  Frankfurt
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 
 


Ergebnis der Suche nach: "1071969641"
im Bestand: Gesamter Bestand

1 - 4 von 4
<< < > >>


Bücher 1 Languages: from formal to natural
Berlin : Springer, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2 25 years of model checking
Berlin : Springer, 2008
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 Tools and algorithms for the construction and analysis of systems
Berlin : Springer, 2007
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Computer aided verification
Berlin : Springer, 1997
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 4 von 4
<< < > >>


E-Mail-IconAdministration