Refine your search

Your search returned 5 results. Subscribe to this search

|
1. Theory and Applications of Models of Computation [Recurso electrónico] / 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Log in to add tags. Add to cart
2. Computation and Logic in the Real World [Recurso electrónico] / 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

3. Theory and Applications of Models of Computation [Recurso electrónico] : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings / edited by Manindra Agrawal, S. Barry Cooper, Angsheng Li. by Agrawal, Manindra. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

4. How the World Computes [Recurso electrónico] : 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 Cooper, S. Barry. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

5. New Computational Paradigms [Recurso electrónico] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. Barry. Material type Libro; Format: impreso Publication: New York, NY : Springer Science+Business Media, LLC, 2008 Availability: No items available:

Powered by Koha