Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

461 - 470 von 1700

	461	Test-driven fault navigation for debugging reproducible failures Perscheid, Michael, 2013
	462	The quantitative µ-calculus Fischer, Diana, 2013
	463	Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems Timm, Nils, 2013
	464	Timing analysable synchronisation techniques for parallel programs on embedded multi-cores Gerdes, Mike, 2013
	465	Tool-based requirement traceability between requirement and design artifacts Turban, Bernhard. - Wiesbaden : Springer Vieweg, 2013
	466	Towards practical and fundamental limits of anonymity protection Pham, Dang Vinh, 2013
	467	Tracing requirements and source code during software development Delater, Alexander, 2013
	468	Transparente und hochperformante VHDL-Cosimulation im Kontext der virtuellen Maschine FAUmachine Potyra, Stefan, 2013
	469	Understanding and managing extract-transform-load systems Albrecht, Alexander, 2013
	470	Usability evaluation of modeling languages Schalles, Christian. - Wiesbaden : Springer Gabler, 2013

461 - 470 von 1700

Alle Materialarten > Bücher (1700)

Alle Kataloge/Sammlungen > Hochschulschriften (1700)

Alle Standorte > Frankfurt (1700)

Aktionen

Administration