Computation Finite and infinite machines

Computation Finite and infinite machines

Show other versions (1)

Bibliographic Details
Main Author:	Minsky, Marvin L. 1927-2016 (Author)
Format:	Book
Language:	English
Published:	London Prentice-Hall c1972
Series:	Prentice-Hall Series in Automatic Computation
Subjects:	Υπολογισμός COMPUTER SCIENCE

Similar Items

Computation Finite and infinite machines
by: Minsky, Marvin L. 1927-2016
Published: (1967)

Equations, models, and programs A mathematical introduction to computer science
by: Myers, Thomas J.
Published: (1988)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
by: Gramss, Tino
Published: (1998)

Introduction to automata theory, languages, and computation
by: Hopcroft, John E., et al.
Published: (1979)

Semantics and Logic of Computation

Journal of Sympolic Computation
Published: (1985)

Information and Computation
Published: (1987)

Theory of computation formal languages, automata, and complexity
by: Brookshear, J. Glenn
Published: (1989)

Handbook of proof theory
Published: (1998)

Communications, computation, control and signal processing A tribute to Thomas Kailath
Published: (1997)

Parallel and distributed computation Numerical methods
by: Μπερτσέκας, Δημήτρης Π., et al.
Published: (1989)

Numerical Methods for Ordinary Differential Equations Initial Value Problems
by: Griffiths, David F
Published: (2010)

High Performance Computing in Science and Engineering, Munich 2004 Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2β3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany
by: Wagner, Siegfried
Published: (2005)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
by: Cotta, Carlos
Published: (2007)

Notes on Introductory Combinatorics
by: PΓ³lya, George
Published: (2010)

Transactions on Computational Science VII
by: Gavrilova, Marina L
Published: (2010)

Algorithmic Game Theory Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings
by: Kontogiannis, Spyros
Published: (2010)

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22β27, 2004, Toulouse, France
by: Ng, Michael K. 1967-
Published: (2005)

The Linear Algebra a Beginning Graduate Student Ought to Know
by: Golan, Jonathan S.
Published: (2007)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
by: Cheong, Otfried
Published: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I
by: Cheong, Otfried
Published: (2010)

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
by: Gerdt, Vladimir P
Published: (2010)

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
by: Tomassini, Marco
Published: (2005)

Developing Statistical Software in Fortran 95
by: Lemmon, David R.
Published: (2005)

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
by: Lirkov, Ivan
Published: (2010)

Continuous System Simulation
by: Cellier, FranΓois E.
Published: (2006)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
by: Lodi, Andrea
Published: (2010)

Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
by: Bampis, Evripidis
Published: (2010)

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
by: DβAmbra, Pasqua
Published: (2010)

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I
by: DβAmbra, Pasqua
Published: (2010)

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
by: MΓΌller-Hannemann, Matthias
Published: (2010)

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings
by: Eisenbrand, Friedrich
Published: (2010)

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
by: Calamoneri, Tiziana
Published: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I
by: Berg, Mark de Mark Theodor, 1966-
Published: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II
by: Berg, Mark de Mark Theodor, 1966-
Published: (2010)

Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings
by: Dorigo, Marco
Published: (2010)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
by: Fukuda, Komei
Published: (2010)

Differential Evolution A Practical Approach to Global Optimization
by: Price, Kenneth V.
Published: (2005)

Nonlinear Optimization with Financial Applications
by: Bartholomew-Biggs, Michael
Published: (2005)

Computers and computing
by: Morris, J. L. (John Lionel), et al.
Published: (1973)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών