Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

Alle Materialarten > Online Ressourcen (1235)

Alle Kataloge/Sammlungen > Hochschulschriften (1235)

Alle Standorte

Aktionen

Administration