Katalog der Deutschen Nationalbibliothek

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

401 - 410 von 1070

	401	Supporting IT Service Fault Recovery with an Automated Planning Method Liu, Feng. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
	402	Systematic development of model-based software engineering methods Sauer, Stefan. - Paderborn : Universitätsbibliothek, 2011
	403	Temporale Prüfung von Software-Funktionen Schulze, Andreas. - Braunschweig : Technische Universität Braunschweig, 2011
	404	Timing Constraints in Distributed Development of Automotive Real-time Systems Scheickl, Oliver. - München : Universitätsbibliothek der TU München, 2011
	405	Towards efficient lattice-based cryptography Lindner, Richard, 2011
	406	Towards full virtualization of embedded real-time systems Kerstan, Timo. - Paderborn : Universitätsbibliothek, 2011
	407	Unique identification of elements in evolving models Wenzel, Sven. - Siegen : Universitätsbibliothek der Universität Siegen, 2011
	408	Verification-based software-fault detection Gladisch, Christoph. - Karlsruhe : KIT Scientific Publishing, 2011
	409	Verification-based software-fault detection Gladisch, Christoph, 2011
	410	View-based textual modelling Goldschmidt, Thomas. - Karlsruhe : KIT Scientific Publishing, 2011

401 - 410 von 1070