Your search returned 257 results.

Not what you expected? Check for suggestions
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings / edited by Armando M. Haeberer.

by Haeberer, Armando M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1548Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings / edited by V. S. Alagar, Maurice Nivat.

by Alagar, V. S [editor.] | Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 936Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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] : 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings / edited by Zoltán Fülöp, Ferenc Gécseg.

by Fülöp, Zoltán [editor.] | Gécseg, Ferenc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 944Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz.

by Hodges, Wilfrid [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5110Source: 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
Mathematical Foundations of Computer Science 1996 [electronic resource] : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings / edited by Wojciech Penczek, Andrzej Szałas.

by Penczek, Wojciech [editor.] | Szałas, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1113Source: 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
CONCUR '96: Concurrency Theory [electronic resource] : 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings / edited by Ugo Montanari, Vladimiro Sassone.

by Montanari, Ugo [editor.] | Sassone, Vladimiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1119Source: 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
Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Rocco Nicola.

by Nicola, Rocco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4421Source: 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
Public Key Cryptography – PKC 2007 [electronic resource] : 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings / edited by Tatsuaki Okamoto, Xiaoyun Wang.

by Okamoto, Tatsuaki [editor.] | Wang, Xiaoyun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4450Source: 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
CONCUR 2007 – Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by Luís Caires, Vasco T. Vasconcelos.

by Caires, Luís [editor.] | Vasconcelos, Vasco T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4703Source: 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
Computer Security – ESORICS 2007 [electronic resource] : 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings / edited by Joachim Biskup, Javier López.

by Biskup, Joachim [editor.] | López, Javier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4734Source: 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
Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun.

by Fitzgerald, John S [editor.] | Haxthausen, Anne E [editor.] | Yenigun, Husnu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5160Source: 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
Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer.

by Wirsing, Martin [editor.] | Banâtre, Jean-Pierre [editor.] | Hölzl, Matthias [editor.] | Rauschmayer, Axel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5380Source: 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
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.

by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7998Source: 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
E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.

by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8123Source: 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
E-BOOKS
Singularities : [electronic resource] proceedings of the IMA Participating Institutions Conference held July 28-August 1, 1986, with support from the participating institutions of the Institute for Mathematics and Its Applications and the University of Iowa / Richard Randell, editor.

by IMA Participating Institutions Conference (1986 : University of Iowa) | Randell, Richard | University of Minnesota. Institute for Mathematics and Its Applications | University of Iowa.

Series: Contemporary mathematics (American Mathematical Society) ; 90.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic and computation : [electronic resource] proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor.

by Workshop on Logic and Computation (1987 : Carnegie Mellon University) | Sieg, Wilfried, 1945-.

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

Place hold Log in to add tags
E-BOOKS
Groups '93 Galway/St Andrews Volume 2 / C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. J. Ward.

by Campbell, C. M [author.] | Robertson, E. F [author.] | Hurley, T. C [author.] | Tobin, S. J [author.] | Ward, J. J [author.].

Series: London Mathematical Society Lecture Note Series ; no. 212Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1995Online 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
Groups '93 Galway/St Andrews Volume 1 / C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. Ward.

by Campbell, C. M [author.] | Robertson, E. F [author.] | Hurley, T. C [author.] | Tobin, S. J [author.] | Ward, J [author.].

Series: London Mathematical Society Lecture Note Series ; no. 211Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1995Online 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
Symbolic dynamics and its applications : [electronic resource] American Mathematical Society, Short Course, January 4-5, 2002, San Diego, California / Susan G. Wiliams, editor.

by American Mathematical Society Short Course on Symbolic Dynamics and its Applications (2002 : San Diego, Calif.) | Williams, Susan G, 1953-.

Series: Proceedings of symposia in applied mathematics ; v. 60Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9206 | Lecture Notes in Computer Science ; 9206Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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