Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 
 


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

21 - 30 von 2947
<< < > >>


Bücher 21 Combinatorial robustness testing based on error-constraints
Fögen, Konrad. - Düren : Shaker Verlag, 2021
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 22 Model Analyses Based on Semantic Differencing and Automatic Model Repair
Kautz, Oliver. - Düren : Shaker, 2021, 1. Auflage
Online Ressource
Bücher 23 Model analyses based on semantic differencing and automatic model repair
Kautz, Oliver. - Düren : Shaker Verlag, 2021
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 24 Supervised testing of embedded concurrent software
Jahić, Jasmin. - Stuttgart : Fraunhofer Verlag, [2021]
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 25 Ad-Hoc stream query processing
Karimov, Jeyhun. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Bücher 26 Agile practice experience repository for process improvement
Diebold, Philipp. - Stuttgart : Fraunhofer Verlag, [2020]
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 27 Bottom-up knowledge graph-based data management
Pomp, André. - Düren : Shaker Verlag, 2020
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 28 Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking
Kuci, Edlira. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2020
Online Ressource
Online Ressourcen 29 CouchEdit - a modular graphical editing architecture for flexible modeling
Nachreiner, Leander. - Ulm : Universität Ulm, 2020
Online Ressource
Bücher 30 Efficient frequent subtree mining beyond forests
Welke, Pascal. - Berlin : AKA, [2020]
Vorhanden in Leipzig Vorhanden in Frankfurt


21 - 30 von 2947
<< < > >>


E-Mail-IconAdministration