Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Nonmonotonic Logics [electronic resource] : Basic Concepts, Results, and Techniques / edited by Karl Schlechta.

by Schlechta, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1187Source: 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
Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing [electronic resource] / edited by Stefan Wermter, Ellen Riloff, Gabriele Scheler.

by Wermter, Stefan [editor.] | Riloff, Ellen [editor.] | Scheler, Gabriele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1040Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Other title: IJCAI '95 Workshop, Montreal, Canada, August 21, 1995 Proceedings..Online 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 Distributed Multimedia Systems and Services [electronic resource] : European Workshop IDMS'96 Berlin, Germany, March 4–6, 1996 Proceedings / edited by Berthold Butscher, Eckhard Moeller, Herwart Pusch.

by Butscher, Berthold [editor.] | Moeller, Eckhard [editor.] | Pusch, Herwart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1045Source: 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
Logic Program Synthesis and Transformation [electronic resource] : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Maurizio Proietti.

by Proietti, Maurizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1048Source: 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
Time Structures [electronic resource] : Formal Description and Algorithmic Representation / edited by Elżbieta Hajnicz.

by Hajnicz, Elżbieta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1047Source: 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
Object Technologies for Advanced Software [electronic resource] : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings / edited by Kokichi Futatsugi, Satoshi Matsuoka.

by Futatsugi, Kokichi [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1049Source: 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
FME'96: Industrial Benefit and Advances in Formal Methods [electronic resource] : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings / edited by Marie-Claude Gaudel, James Woodcock.

by Gaudel, Marie-Claude [editor.] | Woodcock, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1051Source: 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
Extensions of Logic Programming [electronic resource] : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings / edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister.

by Dyckhoff, Roy [editor.] | Herre, Heinrich [editor.] | Schroeder-Heister, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050Source: 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
Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings / edited by Catuscia Palamidessi, Hugh Glaser, Karl Meinke.

by Palamidessi, Catuscia [editor.] | Glaser, Hugh [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1490Source: 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
Progress in Cryptology - INDOCRYPT 2006 [electronic resource] : 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings / edited by Rana Barua, Tanja Lange.

by Barua, Rana [editor.] | Lange, Tanja [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4329Source: 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
Advances in Artificial Reality and Tele-Existence [electronic resource] : 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006. Proceedings / edited by Zhigeng Pan, Adrian Cheok, Michael Haller, Rynson W. H. Lau, Hideo Saito, Ronghua Liang.

by Pan, Zhigeng [editor.] | Cheok, Adrian [editor.] | Haller, Michael [editor.] | Lau, Rynson W. H [editor.] | Saito, Hideo [editor.] | Liang, Ronghua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4282Source: 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
Computer Security — ESORICS 98 [electronic resource] : 5th European Symposium on Research in Computer Security Louvain-la-Neuve, Belgium September 16–18, 1998 Proceedings / edited by Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann.

by Quisquater, Jean-Jacques [editor.] | Deswarte, Yves [editor.] | Meadows, Catherine [editor.] | Gollmann, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1485Source: 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
AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings / edited by Abdul Sattar, Byeong-ho Kang.

by Sattar, Abdul [editor.] | Kang, Byeong-ho [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4304Source: 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
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings / edited by Anders P. Ravn, Hans Rischel.

by Ravn, Anders P [editor.] | Rischel, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1486Source: 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
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 8th International Conference, AIMSA’98 Sozopol, Bulgaria, September 21–23, 1998 Proceedings / edited by Fausto Giunchiglia.

by Giunchiglia, Fausto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1480Source: 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
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
Advances in Case-Based Reasoning [electronic resource] : 4th European Workshop, EWCBR-98 Dublin, Ireland, September 23–25, 1998 Proceedings / edited by Barry Smyth, Pádraig Cunningham.

by Smyth, Barry [editor.] | Cunningham, Pádraig [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1488Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings / edited by Jim Grundy, Malcolm Newey.

by Grundy, Jim [editor.] | Newey, Malcolm [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1479Source: 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
Practice and Theory of Automated Timetabling II [electronic resource] : Second International Conference, PATAT’97 Toronto, Canada, August 20–22, 1997 Selected Papers / edited by Edmund Burke, Michael Carter.

by Burke, Edmund [editor.] | Carter, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1408Source: 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
Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings / edited by Jacques Calmet, Jan Plaza.

by Calmet, Jacques [editor.] | Plaza, Jan [editor.] | SpringerLink (Online service).

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

Powered by Koha