Katalog der Deutschen Nationalbibliothek

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

2471 - 2480 von 2943

	2471	Symbolic execution as a framework for deductive verification of object-oriented programs Schlager, Steffen. - Göttingen : Sierke, 2007, 1. Aufl.
	2472	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	2473	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	2474	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	2475	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	2476	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	2477	Tamper resistance of AES Krummel, Volker, 2007
	2478	Tamper resistance of AES Krummel, Volker, 2007
	2479	Temporal assertions for sequential and concurrent programs Stolz, Volker. - Aachen : RWTH Aachen, 2007
	2480	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]