Machine theory - Books

· A Glossary of Computing Terms (10th Edition)
· Advances on Computer Mathematics and Its Applications
· Algorithms - Esa 2000: 8th Annual European Symposium, Saarbrucken, Germany, September 5-8, 2000: Proceedings (Lecture Notes in Computer Science, 1879)
· Algorithms - Esa '96: Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996: Proceedings (Lecture Notes in Computer Science, 1136)
· Algorithms--Esa '97: 5th Annual European Symposium, Grz, Austria, September 15-17, 1997: Proceedings (Lecture Notes in Computer Science, 1284)
· Algorithms-Esa '98: 6th Annual European Symposium, Venice, Italy, August 24-26, 1998: Proceedings (Lecture Notes in Computer Science, 1461)
· An Introduction to Formal Languages and Automata
· Automata and Computability (Undergraduate Texts in Computer Science)
· Automata and Languages: Theory and Applications
· Automata Implementation: First International Workshop on Implementing Automata, Wia '96 London, Ontario, Canada, August 29-31, 1996: Revised Papers (Lecture Notes in Computer Science, 1260)
· Automata Implementation: Second International Workshop on Implementing Automata, Wia '97, London, Ontario, Canada, September 18-20, 1997: Revised Papers (Lecture Notes in Computer Science, 1436)
· Automata Theory
· Automata Theory and Its Applications
· Automated Theorem Proving: Theory and Practice
· Building a Pentium Server
· Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation, V. 2)
· Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science, 393)
· Category Theory and Computer Science: 7th International Conference, Ctcs '97 Santa Margherita Ligure Italy, September 4-6, 1997: Proceedings (Lecture Notes in Computer Science, 1290)
· Classical and Quantum Computation
· Code: The Hidden Language of Computer Hardware and Software
· Computability, Complexity, and Languages : Fundamentals of Theoretical Computer Science
· Computational Modeling and Problem Solving in the Networked World: Interfaces in Computer Science and Operations Research
· Computer Algebra: Symbolic and Algebraic Computation
· Computer Arithmetic: Algorithms and Hardware Designs
· Computer Science Logic: 10th International Workshop, Csl 96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996: Proceedings (Lecture Notes in Computer Science, 1258)
· Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science, Vol)
· Computer Science Logic: 8th Workshop, Csl '94 Kazimierz, Poland, September 25-30, 1994 Selected Papers (Lecture Notes in Computer Science No 933)
· Computers and Creativity
· Computing and Combinatorics: First Annual International Conference, Cocoon '95, Xi'an, China, August 24-26, 1995. Proceedings
· Concur 2000 Concurrency Theory (Lecture Notes in Computer Science, 1877)
· Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer S)
· Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Lecture Notes in Computer Science, Vol 440)
· Diccionario comentado de terminología informática: unificación racional de terminos, anglicismos y galicismos, pautas de traducción de semántica
· Discrete Mathematics
· Discrete Mathematics (5th Edition)
· Discrete Structures, Logic, and Computability
· Disordered Systems and Biological Organization (NATO Asi Series. Series F: Computer and Systems Sciences, Vol 20)
· Elements of the Theory of Computation (2nd Edition)
· Essential Discrete Mathematics
· Exploring RANDOMNESS
· Feynman Lectures on Computation
· Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5-9, 1990: Proceedings
· Graph-Theoretic Concepts in Computer Science: 17th International Workship, Wg '91 Fischbachau, Germany, June 17-19, 1991: Proceedings (Lecture Note)
· Improving Floating-Point Programming
· Information Algebras: Generic Structures for Inference
· Information and Randomness: An Algorithmic Perspective (Eatcs Monographs on Theoretical Computer Science.)
· Integrated Formal Methods
· Introduction to Automata Theory, Languages, and Computation (2nd Edition)
· Introduction to Languages, Machines, and Logic
· Introduction to Process Algebra
· Introduction to the Theory of Computation
· Introducton to 80X86 Assembly Language and Computer Architecture
· Introductory Computer Mathematics (2nd Edition)
· Languages and Machines: An Introduction to the Theory of Computer Science (2nd Edition)
· Logic and Machines: Decision Problems and Complexity
· Machinations : Computational Studies of Logic, Language, and Cognition
· Machine Beauty: Elegance and the Heart of Technology
· Machine Learning Proceedings 2000
· Machine Translation: From Research to Real Users
· Mathematical Foundations of Computer Science 2002: 27th International Symposium, Mfcs 2002, Warsaw, Poland, August 2002: Proceedings (Lecture Notes in Computer Science, 2420)
· Mathematical Structures for Computer Science
· Mechanical Desktop Release 6: A Process-Based Approach
· Numerical Computing with IEEE Floating Point Arithmetic
· Petri Nets for Systems Engineering
· Problem Solving in Automata, Languages, and Complexity
· Randomization and Approximation Techniques in Computer Science: International Workshop Random '97, Bologna, Italy, July 11-12,1997: Proceedings (Lecture Notes in Computer Science, 1269)
· Randomized Algorithms
· Randomness and Completeness in Computational Complexity (Lecture Notes in Computer Science, 1950)
· Relations and Graphs: Discrete Mathematics for Computer Scientists (Eatcs Monographs on Theoretical Computer Science)
· Rounding Errors in Algebraic Processes
· Scientific Computing : An Introduction with Parallel Computing
· Stacs 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
· The Dynamics of Concepts: A Connectionist Model (Lecture Notes in Artificial Intelligence, Vol 766)
· The Lanczos Method: Evolution and Application (Software, Environments, and Tools)
· The Most Complex Machine: A Survey of Computers and Computing
· The New Hacker's Dictionary - 3rd Edition
· The Unknowable (Springer Series in Discrete Mathematics and Theoretical Computer Science)
· Understanding Formal Methods