Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Automatisierungstechnik
Suche ohne Synonyme: keywords:("Automatisierungstechnik")
Verwendete Synonyme:
- automation
- automation system
- automation technique
- automationstechnik
- automatisierungssystem
-
16. Fachtagung EKA 2020 - Entwurf Komplexer Automatisierungssysteme: Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : EKA 2018 : 02.-03.05.2018 : 15. Fachtagung mit Workshop
TIBKAT | 2018|Schlagwörter: Automatisierungssystem -
Interdisciplinary variability modeling and performance analysis for long-living software systems
Freier ZugriffTIBKAT | 2017|Schlagwörter: Automatisierungssystem -
16. Fachtagung EKA 2020 - Entwurf Komplexer Automatisierungssysteme: Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Interdisciplinary variability modeling and performance analysis for long-living automation systems
TIBKAT | 2017|Schlagwörter: Automatisierungssystem -
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
A Case Study of Policy Synthesis for Swarm Robotics
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : EKA 2016 : 24.-25.05.2016, 14. Fachtagung mit Tutorium
TIBKAT | 2016|Schlagwörter: Automatisierungssystem -
Modular Regression Verification for Reactive Systems
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
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 -
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
A Dynamic Logic for Systems with Predicate-Based Communication
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Finding Idioms in Source Code Using Subtree Counting Techniques
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
Measuring Adaptability and Reliability of Large Scale Systems
TIBKAT | 2020|Schlagwörter: Automatisierungssystem -
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
TIBKAT | 2020|Schlagwörter: Automatisierungssystem
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.