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

751 - 760 von 2953

	751	Strongly secure authenticated key exchange in the standard model Yang, Zheng. - Aachen : Shaker, 2013
	752	Supporting collaborative work with 3D collaborative virtual enviroments Olivier, Hannes. - Clausthal-Zellerfeld : Papierflieger-Verl., 2013, 1. Aufl.
	753	Sustainable trusted computing Malipatlolla, Sunil Dath Kumar, 2013
	754	Synchronisierung von Modellen mit schwach strukturierten, natürlich-sprachlichen Dokumenten Meyer, Sebastian. - [Hannover] : S. Meyer, 2013
	755	Synthesis of synchronous programs to parallel software architectures Baudisch, Daniel, 2013
	756	Test-driven fault navigation for debugging reproducible failures Perscheid, Michael. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
	757	Test-driven fault navigation for debugging reproducible failures Perscheid, Michael, 2013
	758	The quantitative µ-calculus Fischer, Diana. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
	759	The quantitative µ-calculus Fischer, Diana, 2013
	760	Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems Timm, Nils. - Paderborn : Universitätsbibliothek, 2013