Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-46 of 46 results
Computability and decidability; an introduction for students of computer science [by] J. Loeckx.
- Text
- Berlin, New York, Springer, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JLM 72-289 no. 68-74 Offsite Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen.
- Text
- Berlin ; New York : Springer-Verlag, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 80-639 Offsite Komplexität über Turingmaschinen/ von Karl Heinz Böhling und Burchardt von Braunmühl.
- Text
- Mannheim: Bibliographisches Institut, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSC 80-124 Offsite Studien zur Theorie der Automaten = Automata studies / C.E. Shannon, J. McCarthy (Hrsg.).
- Text
- München : Rogner & Bernhard, [1974].
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 84-154 Offsite The Universal turing machine : a half-century survey / edited by Rolf Herken.
- Text
- Oxford ; New York : Oxford University Press, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 90-852 Offsite Turing machines with sublogarithmic space / Andrzej Szepietowski.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-2093 Offsite Turing and the computer / Paul Strathern.
- Text
- New York : Anchor Books, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSC 00-11 Offsite Consequences of nonclassical measurement for the algorithmic description of continuous dynamical systems [microform] / Chris Fields.
- Text
- [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989]
- 1989
Turing's connectionism : an investigation of neural network architectures / Christof Teuscher.
- Text
- London : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-135 Offsite Turing's cathedral : the origins of the digital universe / George Dyson.
- Text
- London : Allen Lane, 2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text JFE 14-6684 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / Charles Petzold.
- Text
- Indianapolis, IN : Wiley Pub., c2008.
- 2008
- 1 Item
Available Online
See All Available Online Resources
Item details Format Call Number Item Location Text JFE 15-3550 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Turing's cathedral : the origins of the digital universe / George Dyson.
- Text
- New York : Pantheon Books, c2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text JBE 18-964 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.
- Text
- Hewlett, N.Y. : Raven Press, [1965]
- 1965
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .D293 Off-site Turing machines with sublogarithmic space / Andrzej Szepietowski.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA267 .S987 1994 Off-site Computability and decidability ; an introduction for students of computer science / [by] J. Loeckx.
- Text
- Berlin ; New York : Springer, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA267.5.S4 L58 Off-site Computability, 1973-1974 / Martin Davis ; notes by Barry Jacobs.
- Text
- New York : Courant Institute of Mathematical Sciences, New York University, [1974], ©1974.
- 1974-1974
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .D39 Off-site Computability theory: an introduction / [by] Neil D. Jones.
- Text
- New York : Academic Press, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .J66 Off-site The universal Turing machine : a half-century survey / Rolf Herken (ed.).
- Text
- Wien ; New York : Springer-Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA267 .U55 1995 Off-site The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / Charles Petzold.
- Text
- Indianapolis, IN : Wiley Pub., [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Text QA267 .P48 2008 Off-site Not available - Please for assistance.The undecidability of the domino problem, by Robert Berger.
- Text
- Providence, American Mathematical Society, 1966.
- 1966
- 1 Item
Item details Format Call Number Item Location Text Thesis Off-site Eine elementare Einführung in die Theorie der Turing-Maschinen / Oswald Wiener, Manuel Bonik, Robert Hödicke.
- Text
- Wien ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA267 .W54 1998 Off-site The gene machine : an analysis of a Universal Turing machine / author, Robin Bloor ; edited by Richard Stockdale.
- Text
- Milton Keynes : Bloor Research, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text Off-site Denn der Mensch ist mehr als sein Computer : warum die Turing-Maschine das Wittgenstein'sche Sprachspiel nicht bewältigen kann / Edgar Selzer.
- Text
- Linz : Trauner, c2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Text P107 .S457 2011 Off-site Turing's cathedral : the origins of the digital universe / George Dyson.
- Text
- New York : Pantheon Books, c2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text QA76.17 .D97 2012 Off-site Lettres à Alan Turing / réunies et présentées par Jean-Marc Lévy-Leblond ; [par] Henri Atlan ... [and twenty-two others].
- Text
- Vincennes : Éditions Thierry Marchaisse, [2016]
- 2016
- 1 Item
Item details Format Call Number Item Location Text QA29.T8 L48 2016 Off-site The universal Turing machine : a half-century survey / Rolf Herken (ed.).
- Text
- Wien ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA267 .U55 1995 Off-site Computability, 1973-1974 / Martin Davis ; notes by Barry Jacobs.
- Text
- New York : Courant Institute of Mathematical Sciences, New York University, c1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .D38 Off-site Introduction to computability / Fred Hennie.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text QA267 .H46 Off-site Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen.
- Text
- Berlin ; New York : Springer-Verlag, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA9.65.K65 Off-site On the modular decomposition of autonomous sequential machines.
- Text
- 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text PRIN 685 1970 .522 Off-site Computability theory: an introduction [by] Neil D. Jones.
- Text
- New York, Academic Press, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .J66 Off-site Eine einfache Basis für die Berechenbarkeit : die Konstruktion der universellen Turingmaschine mit einem Zustand, zwei Symbolen und drei Bändern / Dimitrios Christodoulakis.
- Text
- München : Oldenbourg, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA1.G34 Nr.127 Off-site Algorithmen, rekursive Funktionen und formale Sprachen, von Wilfried Brauer und Klaus Indermark.
- Text
- Mannheim, Bibliographisches Institut [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text 81075.207 Off-site Problemy matematicheskoĭ logiki : slozhnostʹ algoritmov i klassy vychislimykh funkt︠s︡iĭ : sbornik perevodov / pod redakt︠s︡ieĭ V.A. Kozmidiadi i A.A. Muchnika .
- Text
- Moskva : Izd-vo "Mir," 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text QA76.5 .K6 1970 Off-site The equivalence of elementary particle theories and computer languages : quantum computers, Turing machines, standard model, superstring theory and a proof that Gödel's theorem implies nature must be quantum / Stephen Blaha.
- Text
- Auburn, N.H. : Pingree-Hill Press, c2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QC792 .B53 2005 Off-site Turing machines with sublogarithmic space / Andrzej Szepietowski.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA267 .S987 1994 Off-site The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions.
- Text
- 1965
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .D33 Off-site The universal Turing machine : a half-century survey / Rolf Herken (ed.).
- Text
- Wien ; New York : Springer-Verlag, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA267 .U55 1995 Off-site Photography from the Turin Shroud to the Turing machine / Yanai Toister.
- Text
- Bristol, UK ; Chicago, IL : Intellect, 2020.
- 2020
- 1 Item
Item details Format Call Number Item Location Text TR183 .T65 2020 Off-site Introduction to computability / Fred Hennie.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text QA267 .H46 Off-site Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen.
- Text
- Berlin ; New York : Springer-Verlag, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA9.65.K65 Off-site Computability theory: an introduction [by] Neil D. Jones.
- Text
- New York, Academic Press, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .J66 Off-site Eine einfache Basis für die Berechenbarkeit : die Konstruktion der universellen Turingmaschine mit einem Zustand, zwei Symbolen und drei Bändern / Dimitrios Christodoulakis.
- Text
- München : R. Oldenbourg, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA1 .G34 Nr.127 Off-site Algorithmen, rekursive Funktionen und formale Sprachen, von Wilfried Brauer und Klaus Indermark.
- Text
- Mannheim, Bibliographisches Institut [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text 81075.207 Off-site The equivalence of elementary particle theories and computer languages : quantum computers, Turing machines, standard model, superstring theory and a proof that Gödel's theorem implies nature must be quantum / Stephen Blaha.
- Text
- Auburn, N.H. : Pingree-Hill Press, c2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QC792 .B53 2005 Off-site The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis.
- Text
- Hewlett, N.Y. : Raven Press, [1965]
- 1965
- 1 Item
Item details Format Call Number Item Location Text QA248.5 .D33 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta