Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Cognitive Technology: Instruments of Mind [electronic resource] : 4th International Conference, CT 2001 Coventry, UK, August 6–9, 2001 Proceedings / edited by Meurig Beynon, Chrystopher L. Nehaniv, Kerstin Dautenhahn.

by Beynon, Meurig [editor.] | Nehaniv, Chrystopher L [editor.] | Dautenhahn, Kerstin [editor.] | SpringerLink (Online service).

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

E-BOOKS
CONCUR 2000 — Concurrency Theory [electronic resource] : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings / edited by Catuscia Palamidessi.

by Palamidessi, Catuscia [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings / edited by Peter G. Clote, Helmut Schwichtenberg.

by Clote, Peter G [editor.] | Schwichtenberg, Helmut [editor.] | SpringerLink (Online service).

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

E-BOOKS
Distributed Computing [electronic resource] : 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings / edited by Shlomi Dolev.

by Dolev, Shlomi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4167Source: 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
Practice and Theory of Automated Timetabling III [electronic resource] : Third International Conference, PATAT 2000 Konstanz, Germany, August 16–18, 2000 Selected Papers / edited by Edmund Burke, Wilhelm Erben.

by Burke, Edmund [editor.] | Erben, Wilhelm [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings / edited by Cristiano Castelfranchi, Yves Lespérance.

by Castelfranchi, Cristiano [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders.

by Blanc-Talon, Jacques [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4179Source: 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
Algorithms and Data Structures [electronic resource] : 7th International Workshop, WADS 2001 Providence, RI, USA, August 8–10, 2001 Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia.

by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Tamassia, Roberto [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Agents: Specification, Modeling, and Applications [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings / edited by Soe -Tsyr Yuan, Makoto Yokoo.

by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2132Source: 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): .

E-BOOKS
Research and Advanced Technology for Digital Libraries [electronic resource] : 10th European Conference, ECDL 2006, Alicante, Spain, September 17-22, 2006. Proceedings / edited by Julio Gonzalo, Costantino Thanos, M. Felisa Verdejo, Rafael C. Carrasco.

by Gonzalo, Julio [editor.] | Thanos, Costantino [editor.] | Verdejo, M. Felisa [editor.] | Carrasco, Rafael C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4172Source: 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
Advances in Learning Classifier Systems [electronic resource] : Third International Workshop, IWLCS 2000 Paris, France, September 15–16, 2000 Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson.

by Luca Lanzi, Pier [editor.] | Stolzmann, Wolfgang [editor.] | Wilson, Stewart W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Cross-Language Information Retrieval and Evaluation [electronic resource] : Workshop of the Cross-Language Evaluation Forum, CLEF 2000 Lisbon, Portugal, September 21–22, 2000 Revised Papers / edited by Carol Peters.

by Peters, Carol [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Cryptology — CRYPTO 2001 [electronic resource] : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19–23, 2001 Proceedings / edited by Joe Kilian.

by Kilian, Joe [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mobile Agents for Telecommunication Applications [electronic resource] : Third International Workshop, MATA 2001 Montreal, Canada, August 14–16, 2001 Proceedings / edited by Samuel Pierre, Roch Glitho.

by Pierre, Samuel [editor.] | Glitho, Roch [editor.] | SpringerLink (Online service).

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

E-BOOKS
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 6th European Conference, ECSQARU 2001 Toulouse, France, September 19–21, 2001 Proceedings / edited by Salem Benferhat, Philippe Besnard.

by Benferhat, Salem [editor.] | Besnard, Philippe [editor.] | SpringerLink (Online service).

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

E-BOOKS
New Trends in Constraints [electronic resource] : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers / edited by Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi.

by Apt, Krzysztof R [editor.] | Monfroy, Eric [editor.] | Kakas, Antonis C [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

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

E-BOOKS
Network-Based Parallel Computing. Communication, Architecture, and Applications [electronic resource] : 4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000. Proceedings / edited by Babak Falsafi, Mario Lauria.

by Falsafi, Babak [editor.] | Lauria, Mario [editor.] | SpringerLink (Online service).

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

E-BOOKS
Recent Advances in AI Planning [electronic resource] : 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings / edited by Susanne Biundo, Maria Fox.

by Biundo, Susanne [editor.] | Fox, Maria [editor.] | SpringerLink (Online service).

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

E-BOOKS
Implementation of Functional Languages [electronic resource] : 11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers / edited by Pieter Koopman, Chris Clack.

by Koopman, Pieter [editor.] | Clack, Chris [editor.] | SpringerLink (Online service).

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

E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison.

by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1869Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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