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

3661 - 3670 von 3950

	3661	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	3662	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	3663	Verified proof carrying code Wildmoser, Martin, 2006
	3664	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	3665	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	3666	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	3667	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	3668	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	3669	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	3670	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]

3661 - 3670 von 3950

Alle Materialarten > Online Ressourcen (3950)

Alle Kataloge/Sammlungen > Hochschulschriften (3950)

Alle Standorte > Leipzig (3950)

Aktionen

Administration