Carregant...

Codi QR

Enumerability.Decidability Computability

Dades bibliogràfiques
Autor principal:	Hermes,Hans
Format:	Printed Book
Idioma:	English
Publicat:	New York: Springer-Verlag, 1965.
Edició:	1965.
Matèries:	Mathematics,Turning Machines,Historical Remarks.

Ítems similars

Enumerability, decidability computability: an introduction to the theory of recursive functions /
per: Hermes, Hans
Publicat: (1969)

Univariate Discrete Distributions
per: Johnson,Norman L and Kotz,Samuel and Kemp,Adrienne W.
Publicat: (1993)

Distributions in Statistics : Continuous Multivariate Distributions
per: Johnson,Norman L and Kotz,Samuel
Publicat: (1972)

AT THE TURN OF THE TIDE
per: LEKSHMI REGHU NANDAN

Engine laithe
per: Xavier Varghese
Publicat: (1982)

Recurrence quantification analysis of system signals for detecting tool wear and chatter in turning (Thesis)
per: Rajesh V.G
Publicat: (2008)

Turning point of socialism
per: Garaudy Roger

Turning point of socialism
per: Garaudy Roger

India's turn understanding the economic transformation
per: Subramanian,Arvind
Publicat: (2008)

Vazhithiruvukal
per: APJ Abdul Kalam
Publicat: (2013)

Great turning points in history
per: Snyder., Louis L.
Publicat: (1971)

Solvable Cases of The Decision Problem
per: Ackermann W.
Publicat: (1954)

Twists And Turns In Finanvial Reforms
per: S S Tarapore

Some Commercial Autocodes
per: Willey E.L and A.d Agapeyeff and Tribe, Marion and Gibbens B.J and Clark, Michelle
Publicat: (1961)

Economic Policy: Principles and Design
per: Tinbergen.J
Publicat: (1956)

Introduction to enumeration
per: Camina, Alan
Publicat: (2011)

Mastering access 2000
per: Robinson, Celeste
Publicat: (1999)

Simple working models of historic machines
per: Burstall, Aubrey F
Publicat: (1968)

Turning the tide a strategy to conquer hunger and poverty
per: Sen,Sudhir
Publicat: (1978)

The Story of Law Teacher Turning Point
per: Madhava Menon,N.R
Publicat: (2009)

Deducibility and decidability /
per: Gill, R. R. Rockingham
Publicat: (1990)

EXPERIMENTAL PHYSIOLOGY
per: SIDDIQI, ATHER H
Publicat: (1982)

Theory of Computation

Structured computer organisation
per: Tanenbaum, Andrew S
Publicat: (1993)

Automata and computability /
Publicat: (1997)

Combinatorial enumeration /
per: Goulden, Ian P.
Publicat: (2004)

Graphical enumeration /
per: Harary, Frank
Publicat: (1973)

Graphical enumeration
per: Harary, Frank
Publicat: (1973)

Computer Applications in Management
per: Sadhana Rana
Publicat: (2009)

Second turn: ( Randamoozham)
per: Ravindranath, P K, et al.

Turning tide : a strategy to conquer hunger and poverty
per: Sudhir, Sen

Geometric computing for perception action systems
per: Corrochano, Eduardo Bayro
Publicat: (2001)

Information, computers, machines and man
per: Information
Publicat: (1971)

Computers And Their Uses
per: Desmonde,William H.
Publicat: (1965)

Punched Card Methods in Scientific Computation
per: Eckert W.J
Publicat: (1940)

Theory of computation /
per: Kulkarni, Vivek
Publicat: (2013)

Theory of machines
per: Sadhu Singh
Publicat: (2006)

Machine tool and manufacturing technology
per: Krar, Steve F
Publicat: (2010)

Machining technology :
per: Youssef, Helmi A.
Publicat: (2008)

DESIGNING AND DEVELOPMENT OF STATIC SYSTEM FOR CONTROLLING TEMPERATURE USING NNPID
per: NISHA JHA; UDAIBIR SINGH AND AVINASHI KAPOOR
Publicat: (2010)