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

761 - 770 von 2953

	761	Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems Timm, Nils, 2013
	762	Timing Analysable Synchronisation Techniques for Parallel Programs on Embedded Multi-Cores Gerdes, Mike. - Augsburg : Universität Augsburg, 2013
	763	Timing analysable synchronisation techniques for parallel programs on embedded multi-cores Gerdes, Mike, 2013
	764	Tool-based requirement traceability between requirement and design artifacts Turban, Bernhard. - Wiesbaden : Springer Vieweg, 2013
	765	Towards practical and fundamental limits of anonymity protection Pham, Dang Vinh. - Regensburg : Universitätsbibliothek Regensburg, 2013
	766	Towards practical and fundamental limits of anonymity protection Pham, Dang Vinh, 2013
	767	Tracing requirements and source code during software development Delater, Alexander, 2013
	768	Tracing Requirements and Source Code During Software Development Delater, Alexander. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
	769	Transparente und hochperformante VHDL-Cosimulation im Kontext der virtuellen Maschine FAUmachine Potyra, Stefan. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2013
	770	Transparente und hochperformante VHDL-Cosimulation im Kontext der virtuellen Maschine FAUmachine Potyra, Stefan, 2013