Katalog der Deutschen Nationalbibliothek

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

461 - 470 von 1709

	461	Sustainable trusted computing Malipatlolla, Sunil Dath Kumar, 2013
	462	Synchronisierung von Modellen mit schwach strukturierten, natürlich-sprachlichen Dokumenten Meyer, Sebastian. - [Hannover] : S. Meyer, 2013
	463	Synthesis of synchronous programs to parallel software architectures Baudisch, Daniel, 2013
	464	Test-driven fault navigation for debugging reproducible failures Perscheid, Michael, 2013
	465	The quantitative µ-calculus Fischer, Diana, 2013
	466	Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems Timm, Nils, 2013
	467	Timing analysable synchronisation techniques for parallel programs on embedded multi-cores Gerdes, Mike, 2013
	468	Tool-based requirement traceability between requirement and design artifacts Turban, Bernhard. - Wiesbaden : Springer Vieweg, 2013
	469	Towards practical and fundamental limits of anonymity protection Pham, Dang Vinh, 2013
	470	Tracing requirements and source code during software development Delater, Alexander, 2013