Your search returned 4 results.

1.
Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li.

by Cai, Jin-Yi | Cooper, S. Barry | Li, Angsheng | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267.7 C35 2006 (1).

2.
Theory and Applications of Models of Computation [electronic resource] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Hong Zhu.

by Cai, Jin-Yi | Cooper, S. Barry | Zhu, Hong | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267.7 C35 2007 (1).

3.
New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.

by Cooper, S. Barry | Löwe, Benedikt | Sorbi, Andrea | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: New York, NY : Springer-Verlag New York, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.59 N49 2008 (1).

4.
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.

by Cooper, S. Barry | Löwe, Benedikt | Sorbi, Andrea | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.59 C66 2007 (1).

Powered by Koha