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=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

7481 - 7490 von 7981

	7481	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	7482	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
	7483	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006
	7484	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	7485	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico. - Karlsruhe : FZI, 2006
	7486	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	7487	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	7488	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	7489	Videobasierte Handlungserkennung für die natürliche Mensch-Maschine-Interaktion Hofemann, Nils, 2006
	7490	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]