Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.

by Degano, Pierpaolo [editor.] | Nicola, Rocco [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel.

by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

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

E-BOOKS
Artificial Neural Networks — ICANN 96 [electronic resource] : 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings / edited by Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff.

by Malsburg, Christoph [editor.] | Seelen, Werner [editor.] | Vorbrüggen, Jan C [editor.] | Sendhoff, Bernhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Virtual Worlds [electronic resource] : First International Conference, VW’98 Paris, France, July 1–3, 1998 Proceedings / edited by Jean-Claude Heudin.

by Heudin, Jean-Claude [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney.

by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mobile Agents [electronic resource] : First International Workshop, MA '97 Berlin, Germany, April 7–8, 1997 Proceedings / edited by Kurt Rothermel, Radu Popescu-Zeletin.

by Rothermel, Kurt [editor.] | Popescu-Zeletin, Radu [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Cryptology — CRYPTO ’96 [electronic resource] : 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18–22, 1996 Proceedings / edited by Neal Koblitz.

by Koblitz, Neal [editor.] | SpringerLink (Online service).

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

E-BOOKS
Vector and Parallel Processing — VECPAR'96 [electronic resource] : Second International Conference on Vector and Parallel Processing — Systems and Application Porto, Portugal, September 25–27, 1996 Selected Papers / edited by José M. L. M. Palma, Jack Dongarra.

by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

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

E-BOOKS
Input/Output Intensive Massively Parallel Computing [electronic resource] : Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems / by Peter Brezany.

by Brezany, Peter [author.] | SpringerLink (Online service).

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

E-BOOKS
Non-Monotonic Extensions of Logic Programming [electronic resource] : Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski.

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service).

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

E-BOOKS
New Trends in Formal Languages [electronic resource] : Control, Cooperation, and Combinatorics / edited by Gheorghe Păun, Arto Salomaa.

by Păun, Gheorghe [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mobile Object Systems Towards the Programmable Internet [electronic resource] : Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers / edited by Jan Vitek, Christian Tschudin.

by Vitek, Jan [editor.] | Tschudin, Christian [editor.] | SpringerLink (Online service).

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

E-BOOKS
Grammatical Inference [electronic resource] : 4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12–14, 1998 Proceedings / edited by Vasant Honavar, Giora Slutzki.

by Honavar, Vasant [editor.] | Slutzki, Giora [editor.] | SpringerLink (Online service).

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

E-BOOKS
Machine Learning: ECML-97 [electronic resource] : 9th European Conference on Machine Learning Prague, Czech Republic, April 23–25, 1997 Proceedings / edited by Maarten Someren, Gerhard Widmer.

by Someren, Maarten [editor.] | Widmer, Gerhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Digital Signature Schemes [electronic resource] : General Framework and Fail-Stop Signatures / by Birgit Pfitzmann.

by Pfitzmann, Birgit [author.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Tutoring Systems [electronic resource] : 4th International Conference, ITS’ 98 San Antonio, Texas, USA, August 16–19, 1998 Proceedings / edited by Barry P. Goettl, Henry M. Halff, Carol L. Redfield, Valerie J. Shute.

by Goettl, Barry P [editor.] | Halff, Henry M [editor.] | Redfield, Carol L [editor.] | Shute, Valerie J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications [electronic resource] : Based on the AI'97 Workshop on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence Perth, Australia, December 1, 1997 / edited by Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang.

by Wobcke, Wayne [editor.] | Pagnucco, Maurice [editor.] | Zhang, Chengqi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Collective Robotics [electronic resource] : First International Workshop, CRW'98 Paris, France, July 4–5, 1998 Proceeedings / edited by Alexis Drogoul, Milind Tambe, Toshio Fukuda.

by Drogoul, Alexis [editor.] | Tambe, Milind [editor.] | Fukuda, Toshio [editor.] | SpringerLink (Online service).

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

E-BOOKS
Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers / edited by Dave Penkler, Manfred Reitenspiess, Francis Tam.

by Penkler, Dave [editor.] | Reitenspiess, Manfred [editor.] | Tam, Francis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4328Source: 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
PRICAI'96: Topics in Artificial Intelligence [electronic resource] : 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings / edited by Norman Foo, Randy Goebel.

by Foo, Norman [editor.] | Goebel, Randy [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha