Katalog der Deutschen Nationalbibliothek

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

531 - 540 von 1071

	531	Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition Eisinger, Jochen, 2009
	532	Causal weak consistency replication Hupfeld, Felix, 2009
	533	Code generation from specifications in higher-order logic Haftmann, Florian, 2009
	534	Combining features and semantics: advanced methods for content based retrieval Vompras, Johanna, 2009
	535	Concepts elaboration and system architectures for mining very large image archives Gómez Muñoz, Inés María, 2009
	536	Constraints and triggers to enhance XML-based data integration systems Lu, Jing, 2009
	537	Continuous quality control of long lived software systems Deißenböck, Florian, 2009
	538	Datenqualität in Sensordatenströmen Klein, Anja, 2009
	539	Datenzentrierte Bestimmung von Assoziationsregeln in parallelen Datenbankarchitekturen Legler, Thomas, 2009
	540	Description of languages based on object-oriented meta-modelling Scheidgen, Markus, 2009

531 - 540 von 1071