Katalog der Deutschen Nationalbibliothek

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

821 - 830 von 1235

	821	Entwicklung eines rationalen Entscheidungsprozesses für Architekturentscheidungen Wohlfarth, Sven, 2008, [Online-Ausg.]
	822	Explicit and implicit parallel functional programming Berthold, Jost, 2008
	823	External memory algorithms for state space exploration in model checking and action planning Jabbar, Shahid, 2008
	824	Firewall traversal in mobile IPv6 networks Steinleitner, Niklas, 2008
	825	Flexible Methodenintegration in anpassbare Vorgehensmodelle Hammerschall, Ulrike, 2008
	826	Flyspeck II Obua, Steven, 2008
	827	Formal framework for proof generating optimizers Gawkowski, Marek Jerzy, 2008, [Online-Ausg.]
	828	Formal specification of a simple operating system Bogan, Sebastian, 2008, [Online-Ausg.]
	829	Formal verification of recursive predicates Bubel, Richard, [2008]
	830	Format independence provision of audio and video data in multimedia database management systems Suchomski, Maciej, 2008

821 - 830 von 1235