Katalog der Deutschen Nationalbibliothek

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

3831 - 3840 von 4203

	3831	Specification and seamless verification of embedded real-time systems Spichkova, Maria, 2007
	3832	Stabilization, safety, and security of distributed systems Berlin : Springer, [2007]
	3833	Start mit dem Computer - Bild für Bild Butz, Caroline. - München : Pearson Deutschland, 2007
	3834	Start mit dem Notebook - Easy Köhre, Thomas. - München : Pearson Deutschland, 2007
	3835	Static code analysis in multi-threaded environments Ehrhardt, Christian, 2007
	3836	Structural information and communication complexity Berlin : Springer, 2007
	3837	Structured Peer-to-Peer Overlays for Wireless Mobile Ad-Hoc Networks Cramer, Curt. - Aachen : Shaker, 2007, 1. Auflage
	3838	Supporting Distributed Services in Mobile Ad Hoc Networks Farkas, Károly. - Aachen : Shaker, 2007, 1. Auflage
	3839	Sustainable internet Berlin : Springer, 2007
	3840	Synthesizing Program Generators for Embedded Software Jung, Michael. - Aachen : Shaker, 2007, 1. Auflage