Katalog der Deutschen Nationalbibliothek

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

491 - 500 von 1234

	491	Systematic development of model-based software engineering methods Sauer, Stefan. - Paderborn : Universitätsbibliothek, 2011
	492	Temporale Prüfung von Software-Funktionen Schulze, Andreas. - Braunschweig : Technische Universität Braunschweig, 2011
	493	Timing Constraints in Distributed Development of Automotive Real-time Systems Scheickl, Oliver. - München : Universitätsbibliothek der TU München, 2011
	494	Towards efficient lattice-based cryptography Lindner, Richard, 2011
	495	Towards full virtualization of embedded real-time systems Kerstan, Timo. - Paderborn : Universitätsbibliothek, 2011
	496	Towards Many-Core Real-Time Embedded Systems: Software Design of Streaming Systems at System Level Huang, Kai. - Aachen : Shaker, 2011, 1. Aufl., neue Ausg.
	497	Unique identification of elements in evolving models Wenzel, Sven. - Siegen : Universitätsbibliothek der Universität Siegen, 2011
	498	Verification-based software-fault detection Gladisch, Christoph. - Karlsruhe : KIT Scientific Publishing, 2011
	499	Verification-based software-fault detection Gladisch, Christoph, 2011
	500	View-based textual modelling Goldschmidt, Thomas. - Karlsruhe : KIT Scientific Publishing, 2011

491 - 500 von 1234