Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 sind von 9 bis 21:30 Uhr geöffnet. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933–1945 will be open from 9:00 to 21:30.

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

291 - 300 von 1204

	291	Security Policies in Pervasive Systems Schütte, Julian Hendrik. - München : Universitätsbibliothek der TU München, 2013
	292	Selecting and Reducing Key Sizes for Multivariate Cryptography Petzoldt, Albrecht. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
	293	Situational Method Engineering for the Enactment of Method-Centric Domain-Specific Languages Honke, Benjamin. - Augsburg : Universität Augsburg, 2013
	294	Snapshots in large-scale distributed file systems Stender, Jan. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2013
	295	Social Malcode Engelberth, Markus. - Mannheim : Universitätsbibliothek Mannheim, 2013
	296	Software Transactional Memory Building Blocks Riegel, Torvald. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
	297	Symbolic trajectories Güting, Ralf Hartmut. - Hagen : FernUniversität in Hagen, 2013
	298	Test-driven fault navigation for debugging reproducible failures Perscheid, Michael. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
	299	The quantitative µ-calculus Fischer, Diana. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
	300	Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems Timm, Nils. - Paderborn : Universitätsbibliothek, 2013

291 - 300 von 1204

Alle Materialarten > Online Ressourcen (1204)

Alle Kataloge/Sammlungen

Hochschulschriften (1071)

Alle Standorte > Online (frei zugänglich) (1204)

Aktionen

Administration