Erscheinungsjahr
Medientyp
Datenquelle
Fach
Format
Lizenz
Sprache
TIB-Lesesaalbestand
Synonyme wurden verwendet für: Automatisierungstechnik
Suche ohne Synonyme: keywords:("Automatisierungstechnik")
Verwendete Synonyme:
- automation
- automation system
- automation technique
- automationstechnik
- automatisierungssystem
21–40 von 287.591 Ergebnissen
Sortieren:
Sortieren:
-
Swarm and Collective Capabilities for Multipotent Robot Ensembles
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Centrality-Preserving Exact Reductions of Multi-Layer Networks
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
AAET - Automatisiertes und Vernetztes Fahren : Beiträge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, Stadthalle, Braunschweig
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2017|Schlagwörter: Automatisierungssystem -
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Composition of Component Models - A Key to Construct Big Systems
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Automating Software Re-engineering: Introduction to the ISoLA 2020 Track
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Forming Ensembles at Runtime: A Machine Learning Approach
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Leveraging applications of formal methods, verification and validation / Tiziana Margaria, Bernhard Steffen (eds.) ; Part 2: Engineering principles
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
AAET - Automatisiertes und Vernetztes Fahren : Beiträge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, Stadthalle, Braunschweig
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2017|Schlagwörter: Automatisierungssystem