Your search returned 573 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundation of Software Technology and Theoretical Computer Science [electronic resource] : 14th Conference Madras, India, December 15–17, 1994 Proceedings / edited by P. S. Thiagarajan.

by Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 880Source: 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
Term Rewriting [electronic resource] : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course / edited by Hubert Comon, Jean-Pierre Jounnaud.

by Comon, Hubert [editor.] | Jounnaud, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 909Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings / edited by P. S. Thiagarajan.

by Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1026Source: 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
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
Computer Aided Verification [electronic resource] : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings / edited by Pierre Wolper.

by Wolper, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 939Source: 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
Principles and Practice of Constraint Programming — CP98 [electronic resource] : 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings / edited by Michael Maher, Jean-Francois Puget.

by Maher, Michael [editor.] | Puget, Jean-Francois [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1520Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
KI-98: Advances in Artificial Intelligence [electronic resource] : 22nd Annual German Conference on Artificial Intelligence Bremen, Germany, September 15–17, 1998 Proceedings / edited by Otthein Herzog, Andreas Günter.

by Herzog, Otthein [editor.] | Günter, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1504Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems [electronic resource] : IJCAI '95 Workshop Montréal, Canada, August 19–21, 1995 Selected Papers / edited by Trevor P. Martin, Anca L. Ralescu.

by Martin, Trevor P [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1188Source: 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
Progress in Artificial Intelligence — IBERAMIA 98 [electronic resource] : 6th Ibero-American Conference on AI Lisbon, Portugal, October 5–9, 1998 Proceedings / edited by Helder Coelho.

by Coelho, Helder [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1484Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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-14 [electronic resource] : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings / edited by William McCune.

by McCune, William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1249Source: 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
Spatial Cognition [electronic resource] : An Interdisciplinary Approach to Representing and Processing Spatial Knowledge / edited by Christian Freksa, Christopher Habel, Karl F. Wender.

by Freksa, Christian [editor.] | Habel, Christopher [editor.] | Wender, Karl F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1404Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Advances in Artificial Intelligence [electronic resource] : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98 Vancouver, BC, Canada, June 18–20, 1998 Proceedings / edited by Robert E. Mercer, Eric Neufeld.

by Mercer, Robert E [editor.] | Neufeld, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1418Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Computer Science [electronic resource] : Potential — Theory — Cognition / edited by Christian Freksa, Matthias Jantzen, Rüdiger Valk.

by Freksa, Christian [editor.] | Jantzen, Matthias [editor.] | Valk, Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1337Source: 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
Advanced Topics in Artificial Intelligence [electronic resource] : 10th Australian Joint Conference on Artificial Intelligence, AI'97 Perth, Australia, November 30 – December 4, 1997 Proceedings / edited by Abdul Sattar.

by Sattar, Abdul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1342Source: 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
Advances in Computing Science — ASIAN'97 [electronic resource] : Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings / edited by R. K. Shyamasundar, K. Ueda.

by Shyamasundar, R. K [editor.] | Ueda, K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1345Source: 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
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
Evolutionary Computing [electronic resource] : AISB Workshop Brighton, U.K., April 1–2, 1996 Selected Papers / edited by Terence C. Fogarty.

by Fogarty, Terence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1143Source: 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
Practice and Theory of Automated Timetabling [electronic resource] : First International Conference Edinburgh, U.K., August 29–September 1, 1995 Selected Papers / edited by Edmund Burke, Peter Ross.

by Burke, Edmund [editor.] | Ross, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1153Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / edited by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.

by Mohamed, Otmane Ait [editor.] | Muñoz, César [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5170Source: 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
Object-Oriented Technology. ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel.

by Südholt, Mario [editor.] | Consel, Charles [editor.] | SpringerLink (Online service).

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

Powered by Koha