Katalog der Deutschen Nationalbibliothek

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

491 - 500 von 1235

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

491 - 500 von 1235