Cover Image

Computability and Decidability : An Introduction for Students of Computer Science /

Show other versions (1)

Bibliographic Details
Main Author:	Loeckx, Jacques
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1972.
Series:	Lecture Notes in Economics and Mathematical Systems, Operations Research, Computer Science, Social Science. 68.
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Automata, Languages and Programming : 2nd Colloquium, University of Saarbrücken July 29-August 2, 1974 /
by: Loeckx, J.
Published: (1974)

Design of Digital Computers : An Introduction /
by: Gschwind, Hans W.
Published: (1975)

SN computer science.
Published: (2020)

Computer Science Project Work : Principles and Pragmatics /
by: Fincher, Sally
Published: (2001)

Vectorization of Computer Programs with Applications to Computational Fluid Dynamics /
by: Gentzsch, Wolfgang
Published: (1984)

A Computer Science Reader : Selections from ABACUS /
by: Weiss, Eric A.
Published: (1988)

Computer Science Education in the 21st Century /
by: Greening, Tony
Published: (2000)

Computer Animation '90 /
by: Magnenat-Thalmann, Nadia
Published: (1990)

Computer Games I /
by: Levy, David N. L.
Published: (1988)

Computer-Based Automation /
by: Tou, Julius T.
Published: (1985)

Study and Research Guide in Computer Science : Profiles of Universities in the USA /
by: Tölle, Wolfgang
Published: (1993)

Computer science.

The Origins of Digital Computers : Selected Papers /
by: Randell, Brian
Published: (1973)

The Origins of Digital Computers : Selected Papers /
by: Randell, Brian
Published: (1975)

The SIMD Model of Parallel Computation /
by: Cypher, Robert
Published: (1994)

What Computing Is All About /
by: Snepscheut, Jan L. A.
Published: (1993)

Advanced Computer Graphics : Economics Techniques and Applications /
by: Parslow, R. D.
Published: (1971)

State of the Art in Computer Graphics : Aspects of Visualization /
by: Rogers, David-F
Published: (1994)

Supercomputers and Their Performance in Computational Fluid Dynamics /
by: Fujii, Kozo
Published: (1993)

Computer-Based Instruction in Military Environments /
by: Seidel, Robert J.
Published: (1988)

Computers, Chess and Long-Range Planning /
by: Botvinnik, M. M.
Published: (1970)

Computer Vision and Sensor-Based Robots /
by: Dodd, George G.
Published: (1979)

Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedings /
Published: (2000)

Computer Architecture : Workshop of the Gesellschaft für Informatik Erlangen, May 22-23, 1975 /
by: Händler, W.
Published: (1976)

Applied and Computational Control, Signals, and Circuits : Volume 1 /
by: Datta, Biswa Nath
Published: (1999)

Reflexive Structures : an Introduction to Computability Theory /
by: Sanchis, Luis E.
Published: (1988)

Geometric Computing for Perception Action Systems : Concepts, Algorithms, and Scientific Applications /
by: Bayro Corrochano, Eduardo
Published: (2001)

Planning and Implementing your Final Year Project - with Success! : A Guide for Students in Computer Science and Information Systems /
by: Berndtsson, M.
Published: (2002)

Control Theory, Numerical Methods and Computer Systems Modelling : International Symposium, Rocquencourt, June 17-21, 1974 /
by: Bensoussan, A.
Published: (1975)

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings /
Published: (2000)

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings /
Published: (1994)

Probabilistic Analysis of Algorithms : On Computing Methodologies for Computer Algorithms Performance Evaluation /
by: Hofri, Micha
Published: (1987)

Computability and Complexity Theory /
by: Homer, S. (Steven)
Published: (2001)

Fundamentals of computation theory : 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings /
Published: (1997)

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings /
Published: (2001)

Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings /
Published: (2003)

Fundamentals of computation theory : 12th international symposium, FCT'99, Iași, Romania, August 30-September 3, 1999 : proceedings /
Published: (1999)

Beyond Calculation : the Next Fifty Years of Computing /
by: Denning, Peter J.
Published: (1997)

Computer Vision for Electronics Manufacturing /
by: Pau, L. F.
Published: (1990)

The Planiverse : Computer Contact with a Two-Dimensional World /
by: Dewdney, A. K.
Published: (2000)