Katalog der Deutschen Nationalbibliothek

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

191 - 200 von 1700

	191	Formal model refinement Seiter, Julia, 2015
	192	Formal verification of multimodal dialogs in pervasive environments Radomski, Stefan, 2015
	193	Generalizing, decoding, and optimizing support vector machine classification Krell, Mario Michael, 2015
	194	Grammatikbasierte Zertifikate am Beispiel von Sicherheitsauditierungen in verteilten IT-Systemen Kabatnik, Matthias. - Stuttgart : Inst. für Kommunikationsnetze und Rechnersysteme, 2015
	195	High-level development of scalable real-time online interactive applications for grids and clouds Glinka, Frank. - Münster, 2015
	196	Improving programmability and performance portability on many-core processors Steuwer, Michel, 2015
	197	Light-weight experience collection in distributed software engineering Averbakh, Anna. - Berlin : Logos-Verl., 2015
	198	Lightweight intrusion detection in wireless sensor networks Riecker, Michael, 2015
	199	Management and scheduling of accelerators for heterogeneous high-performance computing Beisel, Tobias. - Berlin : Logos Verlag Berlin GmbH, 2015
	200	Mixed workload management in-memory databases Wust, Johannes, 2015