Did you mean: automata

search result

Cover von Generation of Document Type Exercises for Automated Assessment

Generation of Document Type Exercises for Automated Assessment

Year: 2022
Media group: OASICS
Cover von Geometric Logic, Constructivisation, and Automated Theorem Proving; 10
pp. 151-172
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
Cover von Part II.; Intelligent Data Engineering and Automated Learning - IDEAL 2019
IDEAL 2019 - 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part II
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 11872
Media group: MONOGRAPHIE
Cover von Automated Detection of Serializability Violations Under Weak Consistency

Automated Detection of Serializability Violations Under Weak Consistency

Year: 2018
Media group: LIPIcs
Cover von Developing a Highly Automated Driving Scenario to Investigate User Intervention
When Things Go Wrong : article in Adjunct Proceedings of the 9th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications (AutomotiveUI ’17)
Search for this author
Year: 2017
Publisher: New York, ACM
Media group: ARTICLE
Cover von Enhancing Feedback to Students in Automated Diagram Assessment

Enhancing Feedback to Students in Automated Diagram Assessment

Year: 2017
Media group: OASICS
Cover von Towards an Automated Test Bench Environment for Prolog Systems

Towards an Automated Test Bench Environment for Prolog Systems

Year: 2017
Media group: OASICS
Cover von On the Automated Verification of Web Applications with Embedded SQL

On the Automated Verification of Web Applications with Embedded SQL

Author: Itzhaky, Shachar; Kotek, Tomer
Year: 2017
Media group: LIPIcs
Cover von Towards a Personalized Trust Model for Highly Automated Driving
article : In: Weyers, B. & Dittmar, A. (Hrsg.), Mensch und Computer 2016 : 6 pp.
Search for this author
Year: 2016
Publisher: Bonn, Gesellschaft für Informatik e.V.
Media group: ARTICLE
Cover von A consistent cheminformatics framework for automated virtual screening
Author: Urbaczek, Sascha Search for this author
Year: 2015
Publisher: Hamburg, Universität
Media group: DISSERTATION
OPEN V 11.1.0.0