Katalog der Deutschen Nationalbibliothek

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

3701 - 3710 von 4203

	3701	Formal methods for performance evaluation Berlin : Springer, 2007
	3702	Formal modeling and analysis of timed systems Berlin : Springer, 2007
	3703	Formal techniques for networked and distributed systems Berlin : Springer, 2007
	3704	Foundations of augmented cognition Berlin : Springer, 2007
	3705	Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility New York, NY : Springer, 2007
	3706	From web to social web: discovering and deploying user and content profiles Berlin : Springer, 2007
	3707	Frontiers in algorithmics Berlin : Springer, 2007
	3708	Frontiers of combining systems Berlin : Springer, 2007
	3709	Frontiers of high performance computing and networking Berlin : Springer, 2007
	3710	Fundamentals of computation theory Berlin : Springer, 2007