Katalog der Deutschen Nationalbibliothek

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

591 - 600 von 2953

	591	Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming Bulwahn, Lukas. - München : Universitätsbibliothek der TU München, 2013
	592	Definition of a type system for generic and reflective graph transformations Legros, Elodie, 2013
	593	Dependency discovery for data integration Bauckmann, Jana. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
	594	Dependency discovery for data integration Bauckmann, Jana, 2013
	595	Design for a testing model of a communication subsystem for a safety-critical control system Špendla, Lukáš. - Ilmenau : Univ.-Verl., 2013
	596	Design of competitive paging algorithms with good behaviour in practice Negoescu, Andrei Laurian, 2013
	597	Design of competitive paging algorithms with good behaviour in practice Negoescu, Andrei Laurian. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 2013
	598	Detection, classification and visualization of anomalies using generalized entropy metrics Tellenbach, Bernhard. - Aachen : Shaker, 2013
	599	Detection, Classification and Visualization of Anomalies using Generalized Entropy Metrics Tellenbach, Bernhard. - Aachen : Shaker, 2013, 1. Aufl.
	600	Digitale Wasserzeichen zum Integritätsschutz von Videodaten Thiemert, Stefan, 2013