Erscheinungsjahr
Format
Lizenz
Sprache
TIB-Lesesaalbestand
-
Correction to: Feature-Guided Analysis of Neural Networks
Freier ZugriffSpringer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Runtime Enforcement Using Knowledge Bases
Freier ZugriffSpringer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Integration
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Grundlagen des Software-Entwurfs
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Methode für die Messdatenerfassung im dynamischen Fahrzeugbetrieb
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Anwendung und praktischer Nachweis
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Datenerhebung und –vorverarbeitung
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Zusammenfassung und Ausblick
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Stand der Technik
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Continuous Alignment Between Software Architecture Design and Development in CI/CD Pipelines
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Software Modeling Languages and Tools
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Design Case Studies
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Efficient Bounded Exhaustive Input Generation from Program APIs
Freier ZugriffSpringer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Verified Probabilistic Policies for Deep Reinforcement Learning
Springer Verlag | 2022|Schlagwörter: Software Engineering/Programming and Operating Systems -
Correction to: From Verified Scala to STIX File System Embedded Code Using Stainless
Springer Verlag | 2022|Schlagwörter: Software Engineering/Programming and Operating Systems -
Einleitung
Springer Verlag | 2022|Schlagwörter: Software Engineering/Programming and Operating Systems -
The Potsdam Answer Set Solving Collection 5.0
Springer Verlag | 2018|Schlagwörter: Software Engineering/Programming and Operating Systems -
cregit: Token-level blame information in git version control repositories
Springer Verlag | 2019|Schlagwörter: Software Engineering/Programming and Operating Systems
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.