Katalog der Deutschen Nationalbibliothek

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

2051 - 2060 von 3271

	2051	Formal specification of a simple operating system Bogan, Sebastian, 2008, [Online-Ausg.]
	2052	Formal verification of recursive predicates Bubel, Richard, [2008]
	2053	Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme Hofmann, Christian, 2008
	2054	Formalsprachliche Aspekte von XML Wendlandt, Matthias, 2008
	2055	Format independence provision of audio and video data in multimedia database management systems Suchomski, Maciej, 2008
	2056	Fundamental models and algorithms for a distributed reputation system Engler, Michael, [2008]
	2057	Funktionale Langzeitarchivierung digitaler Objekte Welte, Randolph, 2008, [Online-Ausg.]
	2058	Fuzzy operator trees for modeling utility functions Yu Yi, 2008
	2059	Generating meaningful test databases Binnig, Carsten, 2008
	2060	Generierung aufgabenbasierter dialogorientierter Benutzerschnittstellen von Web-Anwendungen Betermieux, Stefan, 2008