- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Frontiers in Robotics and AI, 4, S. 50-1-50-14
- Klassifikation
-
Biowissenschaften, Biologie
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2018
- Urheber
-
Mammen, Sebastian Albrecht von
Wagner, Daniel
Knote, Andreas
Taskin, Umut
- URN
-
urn:nbn:de:bvb:384-opus4-383234
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Mammen, Sebastian Albrecht von
- Wagner, Daniel
- Knote, Andreas
- Taskin, Umut
- Universität Augsburg
Entstanden
- 2018
Ähnliche Objekte (12)
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive Verification of Statecharts
ISAR: An interactive system for algebraic implementation proofs
Interactive visual analysis of biomolecular simulations
Interactive visualization of assessment data: The software package Mondrian
Spatiotemporal Variability of Precipitation : Measurements - Simulations - Limitations
Interactive graphics: exemplified with real data applications
Support for Interactive Verification of Asbru in KIV
Interactive Transformation Path Generation in Enterprise Architecture Planning
Robustness of finite element simulations in densely packed random particle composites
Research, prototyping and product development of interactive simulations
Visual Audio: An Interactive Tool for Analyzing and Editing of Audio in the Spectrogram
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive Verification of Statecharts
ISAR: An interactive system for algebraic implementation proofs
Interactive visual analysis of biomolecular simulations
Interactive visualization of assessment data: The software package Mondrian
Spatiotemporal Variability of Precipitation : Measurements - Simulations - Limitations
Interactive graphics: exemplified with real data applications
Support for Interactive Verification of Asbru in KIV
Interactive Transformation Path Generation in Enterprise Architecture Planning
Robustness of finite element simulations in densely packed random particle composites
Research, prototyping and product development of interactive simulations
Visual Audio: An Interactive Tool for Analyzing and Editing of Audio in the Spectrogram
Interactive Verification of Concurrent Systems using Symbolic Execution
Interactive Verification of Statecharts
ISAR: An interactive system for algebraic implementation proofs
Interactive visual analysis of biomolecular simulations
Interactive visualization of assessment data: The software package Mondrian
Spatiotemporal Variability of Precipitation : Measurements - Simulations - Limitations
Interactive graphics: exemplified with real data applications
Support for Interactive Verification of Asbru in KIV
Interactive Transformation Path Generation in Enterprise Architecture Planning
Robustness of finite element simulations in densely packed random particle composites
Research, prototyping and product development of interactive simulations