Katalog der Deutschen Nationalbibliothek

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

4621 - 4630 von 4903

	4621	Verbesserte prozedurale Programmiersprachen Heinlein, Christian, 2006
	4622	Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, 2006
	4623	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	4624	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	4625	Verified proof carrying code Wildmoser, Martin, 2006
	4626	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	4627	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	4628	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
	4629	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006
	4630	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico. - Karlsruhe : FZI, 2006