Your search returned 44 results.

Not what you expected? Check for suggestions
E-BOOKS
Mathematical Foundations of Computer Science 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M [editor.] | Sokołowski, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 711Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / edited by Pierre-Louis Curien.

by Curien, Pierre-Louis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5608Source: 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
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.

by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online 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
Cohomology for quantum groups via the geometry of the nullcone / [electronic resource] Christopher P. Bendel, Daniel K. Nakano, Brian J. Parshall, Cornelius Pillen.

by Bendel, Christopher P, 1969- | Nakano, Daniel K. (Daniel Ken), 1964- | Parshall, Brian, 1945- | Pillen, Cornelius, 1959- | American Mathematical Society.

Series: Memoirs of the American Mathematical Society ; v. 1077Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 2014Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Category Theory [electronic resource] : Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / edited by Aurelio Carboni, Maria Cristina Pedicchio, Guiseppe Rosolini.

by Carboni, Aurelio [editor.] | Pedicchio, Maria Cristina [editor.] | Rosolini, Guiseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1488Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings / edited by Jürgen Giesl.

by Giesl, Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3467Source: 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
Rewriting Techniques and Applications [electronic resource] : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings / edited by Harald Ganzinger.

by Ganzinger, Harald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975 [electronic resource] / edited by H. Brakhage.

by Brakhage, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 33Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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 Foundations of Computer Science 2003 [electronic resource] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings / edited by Branislav Rovan, Peter Vojtáš.

by Rovan, Branislav [editor.] | Vojtáš, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2747Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 Foundations of Computer Science 1990 [electronic resource] : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings / edited by Branislav Rovan.

by Rovan, Branislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 452Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Computer Science Logic [electronic resource] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings / edited by Jörg Flum, Mario Rodriguez-Artalejo.

by Flum, Jörg [editor.] | Rodriguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1683Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger.

by Joyce, Jeffrey J [editor.] | Seger, Carl-Johan H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 780Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1181Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela.

by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1256Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Representation theory and numerical AF-invariants : [electronic resource] the representations and centralizers of certain states on Od / Ola Bratteli, Palle E.T. Jorgensen, Vasyl� Ostrovs�ky�i.

by Bratteli, Ola | J�rgensen, Palle E. T, 1947- | Ostrovs�ky�i, Vasyl�.

Series: Memoirs of the American Mathematical Society ; v. 797Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings / edited by Leo Bachmair.

by Bachmair, Leo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1833Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 440Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Programming Languages and Systems [electronic resource] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings / edited by Zhenjiang Hu.

by Hu, Zhenjiang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5904Source: 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
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings / edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger.

by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2719Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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