Did you mean: automata

search result

Cover von Software design, automated testing, and maintenance
a practical approach
Author: Hoffman, Daniel M.; Strooper, Paul A. Search for this author
Year: 1995
Publisher: London, International Thomson
Media group: MONOGRAPHIE
Cover von Automated deduction in equational logic and cubic curves
Author: MacCune, William W.; Padmanabhan, R. Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1095
Media group: MONOGRAPHIE
Cover von Automated design of neural network architecture for classification
Author: Depenau, Jan Search for this author
Year: 1995
Publisher: Aarhus, University
Series: DAIMI PB; 500
Media group: DISSERTATION
Cover von First-order logic and automated reasoning
Author: Fitting, Melvin Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von Automated deduction in multiple-valued logics
Author: Hähnle, Reiner Search for this author
Year: 1994
Publisher: Oxford, Oxford University Press
Series: International series of monographs on computer science; 10
Media group: MONOGRAPHIE
Cover von Functional programming, concurrency, simulation and automated reasoning
international lecture series 1991 - 1992, McMaster University, Hamilton, Ontario, Canada
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 693
Media group: MONOGRAPHIE
Cover von Symbolic analysis for automated design of analog integrated circuits
Author: Gielen, Georges G. E.; Sansen, Willy M. Search for this author
Year: 1991
Publisher: Boston, Kluwer
Series: The Kluwer international series in engineering and computer science; 137
Media group: MONOGRAPHIE
Cover von Radical Innovation and Design for Connected and Automated Vehicles; 5
pp. 188-230
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 5
Media group: DAGSTUHL REPORT
Cover von Computational Models of Human-Automated Vehicle Interaction; 3
pp. 15-81
Author: Stow, Edward Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 3
Media group: DAGSTUHL REPORT
Cover von Privacy Protection of Automated and Self-Driving Vehicles; 1
pp. 83-100
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0