Your search returned 16 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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.). by Series: Lecture notes in computer science ; 4497.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Third Conference on Computability in Europe
  • Conference on Computability in Europe
  • CiE 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings / Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.). by Series: Lecture notes in computer science ; 4484.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Models of computation
  • TAMC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
5.
Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings / Jianer Chen, S. Barry Cooper (eds.). by Series: Lecture notes in computer science ; 5532. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • Models of computation
  • TAMC 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / Manindra Agrawal, S. Barry Cooper, Angsheng Li (eds.). by Series: Lecture notes in computer science ; 7287. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • TAMC 2012
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Series: Lecture notes in computer science ; 7318. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • CiE 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
Computability, enumerability, unsolvability [electronic resource] : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. by Series: London Mathematical Society lecture note series ; 224.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge [England] ; New York : Cambridge University Press, 1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / edited by J.M. Larrazabal, D. LAscar, G. Mints. by Series: Lecture notes in logic ; 12.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]Copyright date: ©2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
The once and future turing : computing the world / [edited by] S. Barry Cooper, University of Leeds, Andrew Hodges, University of Oxford. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016Copyright date: ©2016
Other title:
  • Once & Future Turing
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Series: London Mathematical Society lecture note series ; 258.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge ; New York : Cambridge University Press, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Series: London Mathematical Society lecture note series ; 259.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
The selected works of A.M. Turing : his work and impact / S. Barry Cooper and J. van Leeuwen. by
Material type: Text Text; Format: available online remote; Nature of contents: biography; Literary form: Not fiction
Publication details: Waltham, MA : Elsevier, ©2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London : Hackensack, NJ : Imperial College Press ; Distributed by World Scientific, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Logic Colloquium 2006 [electronic resource] / edited by S. Barry Cooper ... [et al.]. by Series: Lecture notes in logic ; 32.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : [Poughkeepsie, N.Y.] : Cambridge University Press ; Association for Symbolic Logic, 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha