Katalog der Deutschen Nationalbibliothek

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

4021 - 4030 von 4203

	4021	Stabilität und Robustheit von programmierbaren Vermittlungssystemen Schöller, Marcus. - Aachen : Shaker, 2006, 1. Auflage
	4022	Structured peer-to-peer services for mobile ad hoc networks Zahn, Thomas, 2006
	4023	Symbolic semantics and verification of stochastic process algebras Kuntz, Matthias, 2006
	4024	Technologies for advanced heterogeneous networks II Berlin : Springer, 2006
	4025	Theoretical aspects of computing Berlin : Springer, 2006
	4026	Trace analysis - gain insight through modelchecking and cycle reduction Kemper, Volker. - Dortmund : Universitätsbibliothek Dortmund, 2006
	4027	Ubiquitous computing Berlin : Springer, 2006
	4028	Ubiquitous computing systems Berlin : Springer, 2006
	4029	Ubiquitous intelligence and computing Berlin : Springer, 2006
	4030	Ubiquitous user modeling Heckmann, Dominikus, [2006]