Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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

411 - 420 von 1071
<< < > >>


Online Ressourcen 411 View-based textual modelling
Goldschmidt, Thomas. - Karlsruhe : KIT Scientific Publishing, 2011
Online Ressource
Online Ressourcen 412 Visual shape similarity and retrieval of figurative images
Scholz, Sven. - Berlin : Freie Universität Berlin, 2011
Online Ressource
Online Ressourcen 413 Why and how to control cloning in software artifacts
Juergens, Elmar, 2011
Online Ressource
Online Ressourcen 414 Zielorientierte Erkennung und Behebung von Qualitätsdefiziten in Software-Systemen am Beispiel der Weiterentwicklungsfähigkeit
Brcina, Robert. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
Online Ressource
Online Ressourcen 415 Zur effizienten Verarbeitung XML-repräsentierter Massendaten in der Normbasierten Austauschschnittstelle
Ostermeyer, Lars. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
Online Ressource
Online Ressourcen 416 A formal approach to software product families
Gruler, Alexander M., 2010
Online Ressource
Online Ressourcen 417 A formal verification environment for use in the certification of safety-related C-programs
Walter, Dennis, 2010
Online Ressource
Online Ressourcen 418 A formal, declarative approach to data format description
Hartle, Michael, 2010
Online Ressource
Online Ressourcen 419 A framework for automated HW/SW co-verification of SystemC designs using tmed automata
Herber, Paula, 2010
Online Ressource
Online Ressourcen 420 A framework for XML similarity joins
Ribeiro, Leonardo Andrade, 2010
Online Ressource


411 - 420 von 1071
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (1071)

Standorte

Alle StandorteOnline (frei zugänglich) (1071)

E-Mail-IconAdministration