Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 
 


Ergebnis der Suche nach: tit all "Applications of Automated Reasoning"
im Bestand: Gesamter Bestand

1 - 3 von 3
<< < > >>


Online Ressourcen 1 Foundations and Applications of Security Analysis
Cham : Springer International Publishing, 2009 		Online Ressource
Bücher 2 Applications of automated reasoning
Furbach, Ulrich. - Koblenz : Inst. für Informatik, 2007 		Vorhanden in Leipzig Vorhanden in Frankfurt
Artikel 3 Applications of Automated Reasoning
In: Arbeitsberichte aus dem Fachbereich Informatik 2007,9 		Online Ressource


1 - 3 von 3
<< < > >>




Materialarten

Alle Materialarten

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration