Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

16771 - 16780 von 17450

	16771	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	16772	Verified proof carrying code Wildmoser, Martin, 2006
	16773	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	16774	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	16775	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	16776	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	16777	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	16778	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	16779	Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2006
	16780	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]

16771 - 16780 von 17450

Alle Materialarten > Online Ressourcen (17450)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (17450)

Aktionen

Administration