Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
 
 


Ergebnis der Suche nach: betRef=1253545987
im Bestand: Gesamter Bestand

1 - 4 von 4
<< < > >>


Bücher 1 Mechanizing mathematical reasoning
Berlin : Springer, 2005 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2 Security in pervasive computing
Berlin : Springer, 2005 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 Security in pervasive computing
Berlin : Springer, 2004 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Applied formal methods - FM trends 98
Berlin : Springer, 1999 		Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 4 von 4
<< < > >>




Materialarten

Alle Materialarten > Bücher (4)

Standorte

Alle Standorte > Leipzig (4)

Aktionen

Aktionen


E-Mail-IconAdministration