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

20101 - 20110 von 21822

	20101	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	20102	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	20103	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	20104	Term rewriting and applications Berlin : Springer, 2007
	20105	Terminologie in der Softwarelokalisierung Körper, Diana. - Hamburg : Diplom.de, 2007, 1. Auflage
	20106	Test and Analysis of Web Services Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
	20107	Test und Verlässlichkeit von Rechnern Berlin : Springer, 2007
	20108	Testing of software and communicating systems Berlin : Springer, 2007
	20109	Tests and proofs Berlin : Springer, 2007
	20110	Text, speech and dialogue Berlin : Springer, 2007

20101 - 20110 von 21822

Alle Materialarten > Online Ressourcen (21822)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (21822)

Aktionen

Administration