Katalog der Deutschen Nationalbibliothek

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

821 - 830 von 1232

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

821 - 830 von 1232