Cover Image
Read Now

1
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... of interference control -- Efficient simulations of multicounter machines -- Event structure semantics for CCS...”
Cover Image
Read Now

2
by Harrison, John
Published 1998
Springer London
Subjects: “...Machine theory...”
Cover Image
Read Now

3
by Frank, Ian
Published 1998
Springer London
Subjects: “...Machine theory...”
Cover Image
Read Now

4
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... and synchronization for communicating finite state machines -- Deriving stack semantics congruent to standard...”
Cover Image
Read Now

5
Published 1984
Springer Berlin Heidelberg
Table of Contents: “.... -- Automates a pile sur des alphabets infinis -- Logic programs and many-valued logic -- Algebre de machines et...”
Cover Image
Read Now

6
by Benninghofen, Benjamin, Kemmerich, Susanne, Richter, Michael M.
Published 1987
Springer Berlin Heidelberg
Subjects: “...Machine theory...”
Cover Image
Read Now

7
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... systems -- Extending the Hong-Kung model to memory hierarchies -- On log-time alternating Turing machines...”
Cover Image
Read Now

8
by Büchi, J. Richard
Published 1989
Springer New York
Subjects: “...Machine theory...”
Cover Image
Read Now

9
Published 1995
Springer Berlin Heidelberg
Subjects: “...Machine theory...”
Cover Image
Read Now

10
Published 1989
Springer Vienna
Subjects: “...Machines, Tools, Processes...”
Cover Image
Read Now

11
by Sanz, Jorge L.C., Hinkle, Eric B., Jain, Anil K.
Published 1988
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 1.1 Machine Vision Architectures -- 1.2 The Radon Transform and the PPPE...”
Cover Image
Read Now

12
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Complexity -- 5.4 Turing Machines and Boolean Circuits -- 5.5 Polynomial Advice -- 5.6 Logarithmic Advice...”
Cover Image
Read Now

13
by Arnol'd, V. I.
Published 1984
Springer Berlin Heidelberg
Table of Contents: “.... Applications of Whitney’s Theory -- 4. A Catastrophe Machine -- 5. Bifurcations of Equilibrium States -- 6...”
Cover Image
Read Now

14
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... -- Program correctness and machine arithmetic -- Preparing the NAG library -- Computer-based documentation...”
Cover Image
Read Now

15
by Michalewicz, Zbigniew
Published 1992
Springer Berlin Heidelberg
Table of Contents: “..., and Partitioning -- 12 Machine Learning -- Conclusions -- References...”
Cover Image
Read Now

16
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...I. Automata I: Finite State Machines -- Semilattices of Fault Semiautomata -- Thompson Languages...”
Cover Image
Read Now

17
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... -- Fast elementary function algorithms for 370 machines -- A new arithmetic for scientific computation...”
Cover Image
Read Now

18
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Approximation Bounds for a General Class of Precedence Constrained Parallel Machine Scheduling...”
Cover Image
Read Now

19
Published 1988
Springer New York
Table of Contents: “... for Parallel Machines -- The LCAP System: An Example of a Multicomputer -- A Block QR Factorization Scheme...”
Cover Image
Read Now

20
by Rayna, Gerhard
Published 1987
Springer New York
“... of running REDUCE. I am therefore delighted to see that machines of the power of the IBM PC can now run...”