Katalog der Deutschen Nationalbibliothek

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

791 - 800 von 1204

	791	Formal framework for proof generating optimizers Gawkowski, Marek Jerzy, 2008, [Online-Ausg.]
	792	Formal specification of a simple operating system Bogan, Sebastian, 2008, [Online-Ausg.]
	793	Formal verification of recursive predicates Bubel, Richard, [2008]
	794	Format independence provision of audio and video data in multimedia database management systems Suchomski, Maciej, 2008
	795	From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2008
	796	Fundamental models and algorithms for a distributed reputation system Engler, Michael, [2008]
	797	Generating meaningful test databases Binnig, Carsten, 2008
	798	Graphersetzung mit Anwendungen im Übersetzerbau Geiß, Rubino, [2008]
	799	History-based access control for XML documents Röder, Patrick, 2008
	800	Implementation of web query languages reconsidered Furche, Tim, 2008