Katalog der Deutschen Nationalbibliothek

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

691 - 700 von 1071

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