Katalog der Deutschen Nationalbibliothek

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

631 - 640 von 1071

	631	User interface specification for interactive software systems Memmel, Thomas, 2009
	632	Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen Gerlich, Ralf, 2009
	633	Vergleich von Lehransätzen für die Ausbildung in IT-Sicherheit Mink, Martin, 2009, [Online-Ausg.]
	634	Verification of second-order functional programs Aderhold, Markus Axel, 2009
	635	Verification of temporal properties in embedded software Lettnin, Djones, 2009
	636	Widerstandsfähige Anonymisierungsnetze Oberender, Jens O.. - [Passau] : [Univ.-Bibliothek], 2009, [Online-Ausg.]
	637	World libraries Richter, Stefan, 2009
	638	Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen Raschke, Alexander, 2009, [Online-Ausg.]
	639	A cross-layer framework for sensor networks Lachenmann, Andreas Jürgen, 2008
	640	A flow analysis framework for realistic scheme programs Knauel, Eric Jean, 2008

631 - 640 von 1071