Your search returned 3388 results.

Not what you expected? Check for suggestions
E-BOOKS
Programming Constraint Services [electronic resource] : High-Level Programming of Standard and New Constraint Services / edited by Christian Schulte.

by Schulte, Christian [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Multi-Agent Systems and Applications II [electronic resource] : 9th ECCAI-ACAI / EASSS 2001, AEMAS 2001, HoloMAS 2001 Selected Revised Papers / edited by Vladimír Mařík, Olga Štěpánková, Hana Krautwurmová, Michael Luck.

by Mařík, Vladimír [editor.] | Štěpánková, Olga [editor.] | Krautwurmová, Hana [editor.] | Luck, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2322Source: 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
Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002 Kinsale, Ireland, April 3–5, 2002 Proceedings / edited by James A. Foster, Evelyne Lutton, Julian Miller, Conor Ryan, Andrea Tettamanzi.

by Foster, James A [editor.] | Lutton, Evelyne [editor.] | Miller, Julian [editor.] | Ryan, Conor [editor.] | Tettamanzi, Andrea [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Sensor Based Intelligent Robots [electronic resource] : International Workshop Dagstuhl Castle, Germany, October 15–20, 2000 Selected Revised Papers / edited by Gregory D. Hager, Henrik Iskov Christensen, Horst Bunke, Rolf Klein.

by Hager, Gregory D [editor.] | Christensen, Henrik Iskov [editor.] | Bunke, Horst [editor.] | Klein, Rolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2238Source: 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
CONCURRENCY 88 [electronic resource] : International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings / edited by Frederich H. Vogt.

by Vogt, Frederich H [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings / edited by Farhad Arbab, Carolyn Talcott.

by Arbab, Farhad [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2315Source: 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
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3–4, 2002 Proceedings / edited by Stefano Cagnoni, Jens Gottlieb, Emma Hart, Martin Middendorf, Günther R. Raidl.

by Cagnoni, Stefano [editor.] | Gottlieb, Jens [editor.] | Hart, Emma [editor.] | Middendorf, Martin [editor.] | Raidl, Günther R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2279Source: 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
Efficient Structures for Geometric Data Management [electronic resource] / edited by Oliver Günther.

by Günther, Oliver [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Methods and Applications of Artificial Intelligence [electronic resource] : Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11–12, 2002 Proceedings / edited by Ioannis P. Vlahavas, Constantine D. Spyropoulos.

by Vlahavas, Ioannis P [editor.] | Spyropoulos, Constantine D [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings / edited by David Bustard, Weiru Liu, Roy Sterritt.

by Bustard, David [editor.] | Liu, Weiru [editor.] | Sterritt, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2311Source: 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
Association Rule Mining [electronic resource] : Models and Algorithms / edited by Chengqi Zhang, Shichao Zhang.

by Zhang, Chengqi [editor.] | Zhang, Shichao [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2307Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / edited by Kesav V. Nori, Sanjeev Kumar.

by Nori, Kesav V [editor.] | Kumar, Sanjeev [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Artificial Evolution [electronic resource] : 5th International Conference, Evolution Artificielle, EA 2001 Le Creusot, France, October 29–31, 2001 Selected Papers / edited by Pierre Collet, Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Marc Schoenauer.

by Collet, Pierre [editor.] | Fonlupt, Cyril [editor.] | Hao, Jin-Kao [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2310Source: 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
Diagrammatic Representation and Inference [electronic resource] : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan.

by Hegarty, Mary [editor.] | Meyer, Bernd [editor.] | Narayanan, N. Hari [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2317Source: 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
Statistical and Scientific Database Management [electronic resource] : Fourth International Working Conference SSDBM Rome, Italy, June 21–23, 1988 Proceedings / edited by Maurizio Rafanelli, John C. Klensin, Per Svensson.

by Rafanelli, Maurizio [editor.] | Klensin, John C [editor.] | Svensson, Per [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha