Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
Cover Image
Read Now

1
by Fey, Görschwin, Drechsler, Rolf
Published 2008
Springer Netherlands
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

2
Published 2004
Springer New York
Table of Contents: “... language modeling -- Stochastic analysis of Structured Language Modeling -- Latent semantic language...”
Cover Image
Read Now

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... parameterised circuits for the Xilinx XC6200 -- Automatic identification of swappable logic units in XC6200...”
Cover Image
Read Now

4
by Gokhale, Maya B., Graham, Paul S.
Published 2005
Springer US
Table of Contents: “... Computing Systems. Summary -- Languages and Compilation. Design Cycle. Languages. High Level Compilation...”
Cover Image
Read Now

5
by Vogt, Robert C.
Published 1989
Springer New York
Table of Contents: “... Domain -- 3 Theory of Automatic Set Recognition -- 3.1 Basic Terminology -- 3.2 Example Problems -- 3.3...”
Cover Image
Read Now

6
by McMillan, Kenneth L.
Published 1993
Springer US
Table of Contents: “... language -- 4.3 Formal semantics -- 5 A Distributed Cache Protocol -- 5.1 The Protocol -- 5.2 Verifying...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... component of PEP -- A tool to support formal reasoning about computer languages -- The term processor...”
Cover Image
Read Now

8
Published 2007
Springer Netherlands
Table of Contents: “... -- A Design Methodology for Distributed Real-Time Automotive Applications -- Role of Formal Methods...”
Cover Image
Read Now

9
Published 1996
Springer US
Table of Contents: “... applications using simulation -- 5 A workstation’s communication performance benchmark -- 6 Automatic checking...”
Cover Image
Read Now

10
Published 2000
Springer London
Table of Contents: “... -- Reorienting Objects with a Robot Hand Using Grasp Gaits -- 2.Control -- Session Summary -- Another Language...”
Cover Image
Read Now

11
Published 1996
Springer London
Table of Contents: “... of an AGV -- Active Vision and Seeing Robots -- Automatic Task Planning for Robot Vision -- Object Tracking...”
Cover Image
Read Now

12
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...HOPSA — a High-level Programming Language for Parallel Computations -- HEUROPA — Heuristic...”
Cover Image
Read Now

13
Published 2019
Springer International Publishing
Table of Contents: “... Analysis between FPGA and GPU -- Making a Shift from Believing to Knowing by the Help of RDF CFL Formal...”
Cover Image
Read Now

14
Published 2014
Springer International Publishing
Table of Contents: “... Recognition Based on Subclass Discriminant Analysis -- A Process Quality Monitoring Approach of Automatic...”