Katalog der Deutschen Nationalbibliothek

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

361 - 370 von 1709

	361	Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations Semmelrock, Nils, 2013
	362	Composing non-functional concerns in web services Schmeling, Benjamin, 2013
	363	Compositional and Scheduler-Independent information flow security Sudbrock, Henning, 2013
	364	Conjunctive queries, arithmetic circuits and counting complexity Mengel, Stefan, 2013
	365	Construction and evolution of code generators Jörges, Sven. - Berlin : Springer, 2013
	366	Context pattern method for validating context information Brgulja, Nermin. - Kassel : Kassel Univ. Press, 2013
	367	Counteracting phishing through HCI Maurer, Max-Emanuel, 2013
	368	Definition of a type system for generic and reflective graph transformations Legros, Elodie, 2013
	369	Dependency discovery for data integration Bauckmann, Jana, 2013
	370	Design for a testing model of a communication subsystem for a safety-critical control system Špendla, Lukáš. - Ilmenau : Univ.-Verl., 2013