Research Catalog

  • Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.

    • Text
    • Cambridge [England] ; New York : Cambridge University Press, 1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 99-723Offsite
  • New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings / S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.).

    • Text
    • Berlin ; New York : Springer, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Book/Text QA9.59 .C67 2005gOff-site
  • Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings / Jin-Yi Cai, S. Barry Cooper, Angsheng Li (eds.).

    • Text
    • Berlin : Springer, 2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Book/Text QA267.7 .T36 2006gOff-site
  • Theory and applications of models of computation : fourth International conference, TAMC 2007, Shanghei, China, May 22-25, 2007 : proceedings / Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.).

    • Text
    • Berlin ; New York : Springer, 2007.
    • 2007
    • 2 Items
    FormatCall NumberItem Location
    Book/Text Off-site
    Not available - Please for assistance.
    FormatCall NumberItem Location
    Book/Text QA267.7 .T36 2007gOff-site
  • Computation and logic in the real world : third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.).

    • Text
    • Berlin ; New York : Springer, 2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Book/Text QA9.59 .C67 2007gOff-site
  • Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsa, China, May 18-22, 2009 ; proceedings / Jianer Chen, S. Barry Cooper [and others] (eds.).

    • Text
    • Berlin ; New York : Springer, [2009], ©2009.
    • 2009-2009
    • 1 Item
    FormatCall NumberItem Location
    Book/Text QA267.7 .T36 2009gOff-site
  • Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.

    • Text
    • New York : Cambridge University Press, 1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.6 .C66 1996Off-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