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

2531 - 2540 von 2956

	2531	Web service detection in service oriented software development Letz, Carolin, 2007
	2532	Werkzeuggestützte formale Analyse von Echtzeitsystemen Diethers, Karsten, [2007]
	2533	Werkzeuggestützte formale Analyse von Echtzeitsystemen Diethers, Karsten, 2007
	2534	Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung Andriessens, Christoph. - Münster : Verl.-Haus Monsenstein und Vannerdat, 2007
	2535	Zyklengenaue Binärkodeübersetzung für die schnelle Prototypenentwicklung von Systems-on-a-Chip Schnerr, Jürgen. - Berlin : Logos-Verl., 2007
	2536	A multi-phase deadlock detection method for reactive systems based on UML-models Kersten, Michael. - München : Verl. Dr. Hut, 2006, 1. Aufl.
	2537	A safety licensable PES architecture for task oriented real time execution without asnchronous unterrupts Skambraks, Martin. - Düsseldorf : VDI-Verl., 2006, Als Ms. gedr.
	2538	A security architecture for a peer-to-peer video conference system Liu, Fuwen, 2006
	2539	A security architecture for a peer-to-peer video conference system Liu, Fuwen, 2006
	2540	A typed attributed graph grammar for syntax directed editing of UML sequence diagrams Hermann, Frank. - Berlin : Univ., Professoren der Fak. IV, 2006