Your search returned 14 results.

Not what you expected? Check for suggestions
BOOKS
Classical and new paradigms of computation and their complexity hierarchiespapers of the conference "Foundations of the Formal Sciences III"

by Lowe, Benedikt | Piwinger, Boris | Rasch, Thoralf Eds.

Series: Trends in Logic: studia logica library; v.23Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Dordrecht ; Kluwer academic ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 LOWE.

Place hold Log in to add tags
BOOKS
New computational paradigms changing conceptions of what is computable

by Cooper, S. Barry, Ed | Lowe, Benedikt, Ed | Sorbi, Andrea, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 COO.

Place hold Log in to add tags
BOOKS
Mathematical theory and computational practice 5th conference on computability in Europe, CiE2009, Heldelberg, Germany, july 19-24, 2009 proceedings

by Ambos-spies, Klaus, Ed | Lowe, Benedikt, Ed | Merkle, Wolfgang, Ed.

Series: Lecture notes in computer science ; 05635Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer - Verlag ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet.

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Torenvliet, Leen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3526Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker.

by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3988Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe.

by Beckmann, Arnold [editor.] | Dimitracopoulos, Costas [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5028Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4497Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle.

by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5635Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe.

by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5489Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.

by Ferreira, Fernando [editor.] | Löwe, Benedikt [editor.] | Mayordomo, Elvira [editor.] | Mendes Gomes, Luís [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6158Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek.

by Bonanno, Giacomo [editor.] | Löwe, Benedikt [editor.] | Hoek, Wiebe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6006Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova.

by Löwe, Benedikt [editor.] | Normann, Dag [editor.] | Soskov, Ivan [editor.] | Soskova, Alexandra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6735Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
How the World Computes [electronic resource] : 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 [editor.] | Dawar, Anuj [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7318Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.

by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7921Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha