Katalog der Deutschen Nationalbibliothek

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

691 - 700 von 1070

	691	Flexible Methodenintegration in anpassbare Vorgehensmodelle Hammerschall, Ulrike, 2008
	692	Flyspeck II Obua, Steven, 2008
	693	Formal framework for proof generating optimizers Gawkowski, Marek Jerzy, 2008, [Online-Ausg.]
	694	Formal specification of a simple operating system Bogan, Sebastian, 2008, [Online-Ausg.]
	695	Formal verification of recursive predicates Bubel, Richard, [2008]
	696	Format independence provision of audio and video data in multimedia database management systems Suchomski, Maciej, 2008
	697	Fundamental models and algorithms for a distributed reputation system Engler, Michael, [2008]
	698	Generating meaningful test databases Binnig, Carsten, 2008
	699	Graphersetzung mit Anwendungen im Übersetzerbau Geiß, Rubino, [2008]
	700	History-based access control for XML documents Röder, Patrick, 2008

691 - 700 von 1070