Did you mean: automata

search result

Cover von Automated Termination Analysis of Java Bytecode by Term Rewriting

Automated Termination Analysis of Java Bytecode by Term Rewriting

Year: 2010
Media group: ARTICLE
Cover von Automated user interface engineering with a pattern reflecting programming language

Automated user interface engineering with a pattern reflecting programming language

article
Year: 2006
Media group: ARTICLE
Cover von Separating sequence overlap for automated test sequence generation

Separating sequence overlap for automated test sequence generation

article
Year: 2006
Media group: ARTICLE
Cover von 3D invariants for automated pollen recognition
Author: Ronneberger, Olaf Search for this author
Year: 2007
Publisher: Freiburg im Breisgau, Universität
Media group: DISSERTATION
Cover von Scalable automated online performance analysis of applications using performance properties
Author: Fürlinger, Karl Search for this author
Year: 2006
Publisher: Aachen, Shaker
Series: Research report series : Lehrstuhl für Rechnertechnik und Rechnerorganisation, Technische Universität München; 33
Media group: DISSERTATION
Cover von Dynamic pricing and automated resource allocation for complex information services
reinforcement learning and combinatorial auctions
Author: Schwind, Michael Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in economics and mathematical systems; 589
Media group: MONOGRAPHIE
Cover von Automated reasoning with analytic tableaux and related methods
international conference, Rome, Italy, September 9 - 12, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2796
Media group: MONOGRAPHIE
Cover von Special issue on computer automated multi-paradigm modeling; 4
S. 249 - 368
Search for this author
Year: 2003
Publisher: New York, ACM
Count: 4
Media group: SPECIAL ISSUE
Cover von Automated deduction in classical and non-classical logics
selected papers
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1761
Media group: MONOGRAPHIE
Cover von Automated reasoning with analytic tableaux and related methods
international conference : Saratoga Springs, NY, USA, June 7 - 11, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1617
Media group: MONOGRAPHIE
OPEN V 11.1.0.0