Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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

431 - 440 von 1204
<< < > >>


Online Ressourcen 431 Generating processors from specifications of instruction sets
Dreesen, Ralf. - Paderborn : Universitätsbibliothek, 2011
Online Ressource
Online Ressourcen 432 Generic modeling and mapping languages for model management
Kensche, David Sebastian. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
Online Ressource
Online Ressourcen 433 Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas. - Paderborn : Universitätsbibliothek, 2011
Online Ressource
Online Ressourcen 434 Gewinnung, Verwaltung und Anwendung von Performance-Daten zur Unterstützung des autonomen Datenbank-Tuning
Wiese, David. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2011
Online Ressource
Online Ressourcen 435 Holistic use of analysis models in model-based system testing
Mlynarski, Michael. - Paderborn : Universitätsbibliothek, 2011
Online Ressource
Online Ressourcen 436 Implementing Functional Logic Programs by Translation into Purely Functional Programs
Braßel, Bernd. - Kiel : Universitätsbibliothek Kiel, 2011
Online Ressource
Online Ressourcen 437 Inclusion of pattern languages and related problems
Freydenberger, Dominik. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 2011
Online Ressource
Online Ressourcen 438 Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform
Preußer, Thomas B.. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
Online Ressource
Online Ressourcen 439 Informationskonsistenz im föderativen Identitätsmanagement: Modellierung und Mechanismen
Höllrigl, Thorsten. - Karlsruhe : KIT Scientific Publishing, 2011
Online Ressource
Online Ressourcen 440 Interprocedural Analysis of Low-Level Code
Flexeder, Andrea. - München : Universitätsbibliothek der TU München, 2011
Online Ressource


431 - 440 von 1204
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (1204)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle StandorteOnline (frei zugänglich) (1204)

E-Mail-IconAdministration