Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

Ergebnis der Suche nach: dcs=0*
im Bestand: Gesamter Bestand

20161 - 20170 von 21863

	20161	Theorem proving in higher order logics Berlin : Springer, 2007
	20162	Theoretical aspects of computing Berlin : Springer, 2007
	20163	Theory and applications of models of computation Berlin : Springer, 2007
	20164	Theory and applications of satisfiability testing Berlin : Springer, 2007
	20165	Theory and practice of computer science Berlin : Springer, 2007
	20166	Theory of cryptography Berlin : Springer, 2007
	20167	Thinking in Complexity Mainzer, Klaus. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007, 5. Auflage
	20168	Three-dimensional perception for mobile robots Triebel, Rudolph, 2007
	20169	To and fro between tableaus and automata for description logics Hladik, Jan, 2007
	20170	Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007

20161 - 20170 von 21863

Alle Materialarten > Online Ressourcen (21863)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (21863)

Aktionen

Administration