Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.

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

871 - 880 von 1086

	871	Tamper resistance of AES Krummel, Volker, 2007
	872	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	873	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	874	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	875	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	876	The Kiel Esterel processor Li, Xin, 2007
	877	The role of features and aspects in software development Apel, Sven, 2007
	878	The SMPI model Braungarten, René, 2007
	879	Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007
	880	Typed open programming Rossberg, Andreas, 2007