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.

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

981 - 990 von 1086

	981	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	982	Verified proof carrying code Wildmoser, Martin, 2006
	983	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	984	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	985	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	986	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006
	987	Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz Frenz, Stefan Martin, 2006
	988	A framework for distributed collaborative software design meetings Boulila, Naoufel ben Ahmed, 2005
	989	A framework for secure and efficient communication in mobile ad hoc networks Schwingenschlögl, Christian, 2005
	990	A framework to improve the architecture quality of software intensive systems Thiel, Steffen, 2005