Katalog der Deutschen Nationalbibliothek

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

3361 - 3370 von 4203

	3361	Evolvable systems Berlin : Springer, 2008
	3362	External memory algorithms for state space exploration in model checking and action planning Jabbar, Shahid, 2008
	3363	Feature Extraction in non-invasive Brain-Computer Interfaces Grosse-Wentrup, Moritz. - München : Universitätsbibliothek der TU München, 2008
	3364	Fehlertoleranz durch automatisierte Diversität im Management verteilter nebenläufiger Systeme Preißinger, Jörg, 2008
	3365	Firewall traversal in mobile IPv6 networks Steinleitner, Niklas, 2008
	3366	Formal modeling and analysis of timed systems Berlin : Springer, 2008
	3367	Formal techniques for networked and distributed systems Berlin : Springer, 2008
	3368	Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme Hofmann, Christian, 2008
	3369	From Version 1.0 to Version 2.0 Vossen, Gottfried. - Münster : Universitäts- und Landesbibliothek Münster, 2008
	3370	Frontiers in algorithmics Berlin : Springer, 2008