Katalog der Deutschen Nationalbibliothek

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

7341 - 7350 von 7922

	7341	Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
	7342	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	7343	Synchronizing internet protocol security (SIPSec) New York, NY : Springer, 2007
	7344	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	7345	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	7346	Tamper resistance of AES Krummel, Volker, 2007
	7347	Task models and diagrams for users interface design Berlin : Springer, 2007
	7348	Task models and diagrams for users interface design Berlin : Springer, 2007
	7349	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7350	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]