Katalog der Deutschen Nationalbibliothek

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

1601 - 1610 von 1712

	1601	The ambiguity of morphisms in free monoids and its impact on algorithmic properties of pattern languages Reidenbach, Daniel. - Berlin : Logos-Verl., 2006
	1602	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006
	1603	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	1604	Usability challenges of PKI Straub, Tobias, 2006
	1605	Verbesserte prozedurale Programmiersprachen Heinlein, Christian, 2006
	1606	Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, 2006
	1607	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	1608	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	1609	Verified proof carrying code Wildmoser, Martin, 2006
	1610	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006