Katalog der Deutschen Nationalbibliothek

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

20051 - 20060 von 20869

	20051	Untersuchungen zur sprachübergreifenden, bilingualen Suche mit Hilfe der Konzeptnetz-Technologie der SENTRAX-Engine Suriya Na Nhongkai, 2006
	20052	Usability challenges of PKI Straub, Tobias, 2006
	20053	Variations on constants Berlin : Springer, 2006
	20054	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	20055	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	20056	Verified proof carrying code Wildmoser, Martin, 2006
	20057	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	20058	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	20059	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	20060	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006

20051 - 20060 von 20869