Erscheinungsjahr
Format
Lizenz
Sprache
TIB-Lesesaalbestand
-
Security and Auth in Node.js
Springer Verlag | 2018|Schlagwörter: Software Engineering/Programming and Operating Systems -
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
Springer Verlag | 2021|Schlagwörter: Software Engineering/Programming and Operating Systems -
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site
Springer Verlag | 2021|Schlagwörter: Software Engineering/Programming and Operating Systems -
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
Springer Verlag | 2021|Schlagwörter: Software Engineering/Programming and Operating Systems -
Zusammenfassung und Ausblick
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Extending PlusCal for Modeling Distributed Algorithms
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Design of Methods
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Caos: A Reusable Scala Web Animator of Operational Semantics
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Real-Time Apps with WebSocket, Socket.IO, and DerbyJS
Springer Verlag | 2018|Schlagwörter: Software Engineering/Programming and Operating Systems -
Stand der Technik
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Einleitung
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Einleitung
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
Ansatz zur Qualitätssteigerung der remote Fahrzeugdiagnose
Springer Verlag | 2024|Schlagwörter: Software Engineering/Programming and Operating Systems -
News
Freier ZugriffSpringer Verlag | 2018Schlagwörter: Software Engineering/Programming and Operating Systems -
Modeling the Effects of Politics Based on a Sociological Reference Scheme for Self-organizing Systems
Springer Verlag | 2021|Schlagwörter: Software Engineering/Programming and Operating Systems -
CAN-verify: A Verification Tool For BDI Agents
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Erratum zu: Strukturierte Softwareentwicklung
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Stepwise Development of Paraconsistent Processes
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Software-basierte Funktionen
Springer Verlag | 2023|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.