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

1131 - 1140 von 1237

	1131	Verified proof carrying code Wildmoser, Martin, 2006
	1132	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	1133	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	1134	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	1135	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	1136	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006
	1137	Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz Frenz, Stefan Martin, 2006
	1138	A framework for distributed collaborative software design meetings Boulila, Naoufel ben Ahmed, 2005
	1139	A framework for secure and efficient communication in mobile ad hoc networks Schwingenschlögl, Christian, 2005
	1140	A framework to improve the architecture quality of software intensive systems Thiel, Steffen, 2005

1131 - 1140 von 1237

Alle Materialarten > Online Ressourcen (1237)

Alle Kataloge/Sammlungen > Hochschulschriften (1237)

Alle Standorte

Aktionen

Administration