Katalog der Deutschen Nationalbibliothek

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

7351 - 7360 von 7930

	7351	Synchronizing internet protocol security (SIPSec) New York, NY : Springer, 2007
	7352	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	7353	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	7354	Tamper resistance of AES Krummel, Volker, 2007
	7355	Task models and diagrams for users interface design Berlin : Springer, 2007
	7356	Task models and diagrams for users interface design Berlin : Springer, 2007
	7357	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7358	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	7359	Term rewriting and applications Berlin : Springer, 2007
	7360	Testing of software and communicating systems Berlin : Springer, 2007