Research Catalog

  • Computability and decidability; an introduction for students of computer science [by] J. Loeckx.

    • Text
    • Berlin, New York, Springer, 1972.
    • 1972
    • 1 Item
    FormatCall NumberItem Location
    Text JLM 72-289 no. 68-74Offsite
  • Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen.

    • Text
    • Berlin ; New York : Springer-Verlag, 1976.
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 80-639Offsite
  • Komplexität über Turingmaschinen/ von Karl Heinz Böhling und Burchardt von Braunmühl.

    • Text
    • Mannheim: Bibliographisches Institut, 1974.
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text JSC 80-124Offsite
  • Studien zur Theorie der Automaten = Automata studies / C.E. Shannon, J. McCarthy (Hrsg.).

    • Text
    • München : Rogner & Bernhard, [1974].
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 84-154Offsite
  • The Universal turing machine : a half-century survey / edited by Rolf Herken.

    • Text
    • Oxford ; New York : Oxford University Press, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-852Offsite
  • Turing machines with sublogarithmic space / Andrzej Szepietowski.

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-2093Offsite
  • Turing and the computer / Paul Strathern.

    • Text
    • New York : Anchor Books, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSC 00-11Offsite
  • 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
    FormatCall NumberItem Location
    Text JSE 02-135Offsite
  • Turing's cathedral : the origins of the digital universe / George Dyson.

    • Text
    • London : Allen Lane, 2012.
    • 2012
    • 1 Item
    FormatCall NumberItem Location
    Text JFE 14-6684Schwarzman 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

    FormatCall NumberItem Location
    Text JFE 15-3550Schwarzman 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
    FormatCall NumberItem Location
    Text JBE 18-964Schwarzman 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
    FormatCall NumberItem Location
    Text QA248.5 .D293Off-site
  • Turing machines with sublogarithmic space / Andrzej Szepietowski.

    • Text
    • Berlin ; New York : Springer-Verlag, [1994], ©1994.
    • 1994-1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .S987 1994Off-site
  • Computability and decidability ; an introduction for students of computer science / [by] J. Loeckx.

    • Text
    • Berlin ; New York : Springer, 1972.
    • 1972
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4 L58Off-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
    FormatCall NumberItem Location
    Text QA248.5 .D39Off-site
  • Computability theory: an introduction / [by] Neil D. Jones.

    • Text
    • New York : Academic Press, 1973.
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA248.5 .J66Off-site
  • The universal Turing machine : a half-century survey / Rolf Herken (ed.).

    • Text
    • Wien ; New York : Springer-Verlag, [1995], ©1995.
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .U55 1995Off-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
    FormatCall NumberItem Location
    Text QA267 .P48 2008Off-site
    Not available - Please for assistance.
  • The undecidability of the domino problem, by Robert Berger.

    • Text
    • Providence, American Mathematical Society, 1966.
    • 1966
    • 1 Item
    FormatCall NumberItem Location
    Text ThesisOff-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
    FormatCall NumberItem Location
    Text QA267 .W54 1998Off-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
  • 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
    FormatCall NumberItem Location
    Text P107 .S457 2011Off-site
  • Turing's cathedral : the origins of the digital universe / George Dyson.

    • Text
    • New York : Pantheon Books, c2012.
    • 2012
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.17 .D97 2012Off-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
    FormatCall NumberItem Location
    Text QA29.T8 L48 2016Off-site
  • The universal Turing machine : a half-century survey / Rolf Herken (ed.).

    • Text
    • Wien ; New York : Springer-Verlag, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .U55 1995Off-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
    FormatCall NumberItem Location
    Text QA9.59 .D38Off-site
  • Introduction to computability / Fred Hennie.

    • Text
    • Reading, Mass. : Addison-Wesley Pub. Co., c1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .H46Off-site
  • Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen.

    • Text
    • Berlin ; New York : Springer-Verlag, 1976.
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.65.K65Off-site
  • On the modular decomposition of autonomous sequential machines.

    • Text
    • 1970.
    • 1970
    • 1 Item
    FormatCall NumberItem Location
    Text PRIN 685 1970 .522Off-site
  • Computability theory: an introduction [by] Neil D. Jones.

    • Text
    • New York, Academic Press, 1973.
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA248.5 .J66Off-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
    FormatCall NumberItem Location
    Text QA1.G34 Nr.127Off-site
  • Algorithmen, rekursive Funktionen und formale Sprachen, von Wilfried Brauer und Klaus Indermark.

    • Text
    • Mannheim, Bibliographisches Institut [1968]
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text 81075.207Off-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
    FormatCall NumberItem Location
    Text QA76.5 .K6 1970Off-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
    FormatCall NumberItem Location
    Text QC792 .B53 2005Off-site
  • Turing machines with sublogarithmic space / Andrzej Szepietowski.

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .S987 1994Off-site
  • The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions.

    • Text
    • 1965
    • 1 Item
    FormatCall NumberItem Location
    Text QA248.5 .D33Off-site
  • The universal Turing machine : a half-century survey / Rolf Herken (ed.).

    • Text
    • Wien ; New York : Springer-Verlag, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .U55 1995Off-site
  • Photography from the Turin Shroud to the Turing machine / Yanai Toister.

    • Text
    • Bristol, UK ; Chicago, IL : Intellect, 2020.
    • 2020
    • 1 Item
    FormatCall NumberItem Location
    Text TR183 .T65 2020Off-site
  • Introduction to computability / Fred Hennie.

    • Text
    • Reading, Mass. : Addison-Wesley Pub. Co., c1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .H46Off-site
  • Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen.

    • Text
    • Berlin ; New York : Springer-Verlag, 1976.
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.65.K65Off-site
  • Computability theory: an introduction [by] Neil D. Jones.

    • Text
    • New York, Academic Press, 1973.
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA248.5 .J66Off-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
    FormatCall NumberItem Location
    Text QA1 .G34 Nr.127Off-site
  • Algorithmen, rekursive Funktionen und formale Sprachen, von Wilfried Brauer und Klaus Indermark.

    • Text
    • Mannheim, Bibliographisches Institut [1968]
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text 81075.207Off-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
    FormatCall NumberItem Location
    Text QC792 .B53 2005Off-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
    FormatCall NumberItem Location
    Text QA248.5 .D33Off-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.

digital-research-book
Explore Digital Research Books Beta