Your search returned 919 results.

Not what you expected? Check for suggestions
E-BOOKS
Logics in Artificial Intelligence [electronic resource] : 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings / edited by Sergio Flesca, Sergio Greco, Giovambattista Ianni, Nicola Leone.

by Flesca, Sergio [editor.] | Greco, Sergio [editor.] | Ianni, Giovambattista [editor.] | Leone, Nicola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2424Source: 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): .

E-BOOKS
Grammatical Inference: Algorithms and Applications [electronic resource] : 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings / edited by Pieter Adriaans, Henning Fernau, Menno Zaanen.

by Adriaans, Pieter [editor.] | Fernau, Henning [editor.] | Zaanen, Menno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2484Source: 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): .

E-BOOKS
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield.

by Bradfield, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Rough Sets and Current Trends in Computing [electronic resource] : Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings / edited by James J. Alpigini, James F. Peters, Andrzej Skowron, Ning Zhong.

by Alpigini, James J [editor.] | Peters, James F [editor.] | Skowron, Andrzej [editor.] | Zhong, Ning [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2475Source: 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): .

E-BOOKS
Machine Translation: From Research to Real Users [electronic resource] : 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 8 – 12, 2002 Proceedings / edited by Stephen D. Richardson.

by Richardson, Stephen D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2499Source: 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): .

E-BOOKS
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers / edited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack.

by Callaghan, Paul [editor.] | Luo, Zhaohui [editor.] | McKinna, James [editor.] | Pollack, Robert [editor.] | Pollack, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2277Source: 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): .

E-BOOKS
Current Topics in Artificial Intelligence [electronic resource] : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers / edited by Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos.

by Marín, Roque [editor.] | Onaindía, Eva [editor.] | Bugarín, Alberto [editor.] | Santos, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4177Source: 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): .

E-BOOKS
Fuzzy Systems and Knowledge Discovery [electronic resource] : Third International Conference, FSKD 2006, Xi’an, China, September 24-28, 2006. Proceedings / edited by Lipo Wang, Licheng Jiao, Guanming Shi, Xue Li, Jing Liu.

by Wang, Lipo [editor.] | Jiao, Licheng [editor.] | Shi, Guanming [editor.] | Li, Xue [editor.] | Liu, Jing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4223Source: 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): .

E-BOOKS
Compiler Construction [electronic resource] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by R. Nigel Horspool.

by Horspool, R. Nigel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2304Source: 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): .

E-BOOKS
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / edited by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson.

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2283Source: 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): .

E-BOOKS
Frontiers of Combining Systems [electronic resource] : 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings / edited by Alessandro Armando.

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

Series: Lecture Notes in Computer Science ; 2309Source: 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): .

E-BOOKS
MICAI 2002: Advances in Artificial Intelligence [electronic resource] : Second Mexican International Conference on Artificial Intelligence Mérida, Yucatán, Mexico, April 22–26, 2002 Proceedings / edited by Carlos A. Coello Coello, Alvaro Albornoz, Luis Enrique Sucar, Osvaldo Cairó Battistutti.

by Coello Coello, Carlos A [editor.] | Albornoz, Alvaro [editor.] | Sucar, Luis Enrique [editor.] | Battistutti, Osvaldo Cairó [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2313Source: 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): .

E-BOOKS
Knowledge Discovery in Databases: PKDD 2006 [electronic resource] : 10th European Conference on Principles and Practice of Knowledge Discovery in Databases Berlin, Germany, September 18-22, 2006 Proceedings / edited by Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou.

by Fürnkranz, Johannes [editor.] | Scheffer, Tobias [editor.] | Spiliopoulou, Myra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4213Source: 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): .

E-BOOKS
Machine Learning: ECML 2006 [electronic resource] : 17th European Conference on Machine Learning Berlin, Germany, September 18-22, 2006 Proceedings / edited by Johannes Fürnkranz, Tobias Scheffer, Myra Spiliopoulou.

by Fürnkranz, Johannes [editor.] | Scheffer, Tobias [editor.] | Spiliopoulou, Myra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4212Source: 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): .

E-BOOKS
Algebraic and Logic Programming [electronic resource] : International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings / edited by J. Grabowski, P. Lescanne, W. Wechler.

by Grabowski, J [editor.] | Lescanne, P [editor.] | Wechler, W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 343Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Advances in Case-Based Reasoning [electronic resource] : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4–7, 2002 Proceedings / edited by Susan Craw, Alun Preece.

by Craw, Susan [editor.] | Preece, Alun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2416Source: 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): .

E-BOOKS
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2470Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 355Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logic at Botik '89 [electronic resource] : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings / edited by Albert R. Meyer, Michael A. Taitslin.

by Meyer, Albert R [editor.] | Taitslin, Michael A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 363Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Compiler Compilers and High Speed Compilation [electronic resource] : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings / edited by Dieter Hammer.

by Hammer, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 371Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha