Katalog der Deutschen Nationalbibliothek

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

2531 - 2540 von 2952

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