Katalog der Deutschen Nationalbibliothek

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

2521 - 2530 von 2943

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