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.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

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

471 - 480 von 1206

	471	Refinement of Classical Proofs for Program Extraction Ratiu, Diana. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
	472	Reflective Embedding of Domain-Specific Languages Dinkelaker, Tom. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	473	Robust distributed software transactions for Haskell Kupke, Frank Klaus, 2011
	474	Schema Flexibility and Data Sharing in Multi-Tenant Databases Aulbach, Stefan. - München : Universitätsbibliothek der TU München, 2011
	475	Secure Computations on Non-Integer Values Franz, Martin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	476	Securing wireless mesh networks Samad, Fahad. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
	477	Security in infrastructure-less and decentralized communication networks König, André, 2011
	478	Selected Cryptographic Methods for Securing Low-End Devices Stegemann, Dirk. - Mannheim : Universitätsbibliothek Mannheim, 2011
	479	SemDupl: Semantic-based duplicate indentification Hartrumpf, Sven. - Hagen : FernUniversität in Hagen, 2011
	480	Soft Computing Approaches to DPLL SAT Solver Optimization Kibria, Raihan Hassnain. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011

471 - 480 von 1206

Alle Materialarten > Online Ressourcen (1206)

Alle Kataloge/Sammlungen

Hochschulschriften (1073)

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

Aktionen

Administration