Your search returned 77 results.

Not what you expected? Check for suggestions
E-BOOKS
Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4342Source: 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
The Semantic Web: Research and Applications [electronic resource] : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings / edited by Enrico Franconi, Michael Kifer, Wolfgang May.

by Franconi, Enrico [editor.] | Kifer, Michael [editor.] | May, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4519Source: 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
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.

by Ábrahám, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9660 | Lecture Notes in Computer Science ; 9660Edition: 1st ed. 2016.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, 2016Online 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 Aided Systems Theory - EUROCAST 2003 [electronic resource] : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2809Source: 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
Adaptive and Adaptable Learning [electronic resource] : 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, Lyon, France, September 13-16, 2016, Proceedings / edited by Katrien Verbert, Mike Sharples, Tomaž Klobučar.

by Verbert, Katrien [editor.] | Sharples, Mike [editor.] | Klobučar, Tomaž [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9891 | Lecture Notes in Computer Science ; 9891Edition: 1st ed. 2016.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, 2016Online 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
Methods of Programming [electronic resource] : Selected Papers on the CIP-Project / edited by Manfred Broy, Martin Wirsing.

by Broy, Manfred [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 544Source: 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
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
Conceptual Structures: Theory and Implementation [electronic resource] : 7th Annual Workshop Las Cruces, NM, USA, July 8–10, 1992 Proceedings / edited by Heather D. Pfeiffer, Timothy E. Nagle.

by Pfeiffer, Heather D [editor.] | Nagle, Timothy E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 754Source: 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
Logics in Artificial Intelligence [electronic resource] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings / edited by Jóse Júlio Alferes, João Leite.

by Alferes, Jóse Júlio [editor.] | Leite, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3229Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Applications of Declarative Programming and Knowledge Management [electronic resource] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein.

by Seipel, Dietmar [editor.] | Hanus, Michael [editor.] | Geske, Ulrich [editor.] | Bartenstein, Oskar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3392Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2031Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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 Programming [electronic resource] : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2401Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Nonmonotonic and Inductive Logic [electronic resource] : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings / edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt.

by Brewka, Gerhard [editor.] | Jantke, Klaus P [editor.] | Schmitt, Peter H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 659Source: 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
Object-Oriented Programming [electronic resource] : 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings / edited by Mario Tokoro, Remo Pareschi.

by Tokoro, Mario [editor.] | Pareschi, Remo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 821Source: 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
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička.

by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 841Source: 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
Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94 Charlotte, North Carolina, USA, October 16–19, 1994 Proceedings / edited by Zbigniew W. Raś, Maria Zemankova.

by Raś, Zbigniew W [editor.] | Zemankova, Maria [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 869Source: 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
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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1055Source: 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
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney.

by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: 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
PRICAI'96: Topics in Artificial Intelligence [electronic resource] : 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings / edited by Norman Foo, Randy Goebel.

by Foo, Norman [editor.] | Goebel, Randy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1114Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha