Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Knowledge Engineering and Knowledge Management Methods, Models, and Tools [electronic resource] : 12th International Conference, EKAW 2000 Juan-les-Pins, France, October 2–6, 2000 Proceedings / edited by Rose Dieng, Olivier Corby.

by Dieng, Rose [editor.] | Corby, Olivier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1937Source: 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
Formal Techniques for Networked and Distributed Systems - FORTE 2003 [electronic resource] : 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings / edited by Hartmut König, Monika Heiner, Adam Wolisz.

by König, Hartmut [editor.] | Heiner, Monika [editor.] | Wolisz, Adam [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003. Proceedings / edited by Colin Boyd, Wenbo Mao.

by Boyd, Colin [editor.] | Mao, Wenbo [editor.] | SpringerLink (Online service).

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

E-BOOKS
String Processing and Information Retrieval [electronic resource] : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003. Proceedings / edited by Mario A. Nascimento, Edleno S. Moura, Arlindo L. Oliveira.

by Nascimento, Mario A [editor.] | Moura, Edleno S [editor.] | Oliveira, Arlindo L [editor.] | SpringerLink (Online service).

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

E-BOOKS
Distributed Computing [electronic resource] : 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003. Proceedings / edited by Faith Ellen Fich.

by Fich, Faith Ellen [editor.] | SpringerLink (Online service).

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

E-BOOKS
From Object-Orientation to Formal Methods [electronic resource] : Essays in Memory of Ole-Johan Dahl / edited by Olaf Owe, Stein Krogdahl, Tom Lyche.

by Owe, Olaf [editor.] | Krogdahl, Stein [editor.] | Lyche, Tom [editor.] | SpringerLink (Online service).

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

E-BOOKS
Matchmaking in Electronic Markets [electronic resource] : An Agent-Based Approach towards Matchmaking in Electronic Negotiations / by Daniel J. Veit.

by Veit, Daniel J [author.] | SpringerLink (Online service).

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

E-BOOKS
Job Scheduling Strategies for Parallel Processing [electronic resource] : IPDPS 2000 Workshop, JSSPP 2000 Cancun, Mexico, May 1, 2000 Proceedings / edited by Dror G. Feitelson, Larry Rudolph.

by Feitelson, Dror G [editor.] | Rudolph, Larry [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1911Source: 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
High Performance Computing [electronic resource] : Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16–18, 2000 Proceedings / edited by Mateo Valero, Kazuki Joe, Masaru Kitsuregawa, Hidehiko Tanaka.

by Valero, Mateo [editor.] | Joe, Kazuki [editor.] | Kitsuregawa, Masaru [editor.] | Tanaka, Hidehiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1940Source: 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
Interactive Distributed Multimedia Systems and Telecommunication Services [electronic resource] : 7th International Workshop, IDMS 2000 Enschede, The Netherlands, October 17–20, 2000 Proceedings.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1905Source: 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
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / edited by Manuel Ojeda-Aciego, Inma P. Guzmán, Gerhard Brewka, Luís Pereira.

by Ojeda-Aciego, Manuel [editor.] | Guzmán, Inma P [editor.] | Brewka, Gerhard [editor.] | Pereira, Luís [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1919Source: 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
Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers / edited by Bernhard K. Aichernig, Tom Maibaum.

by Aichernig, Bernhard K [editor.] | Maibaum, Tom [editor.] | SpringerLink (Online service).

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

E-BOOKS
Distributed Applications and Interoperable Systems [electronic resource] : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003. Proceedings / edited by Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont.

by Stefani, Jean-Bernard [editor.] | Demeure, Isabelle [editor.] | Hagimont, Daniel [editor.] | SpringerLink (Online service).

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

E-BOOKS
≪UML≫ 2000 — The Unified Modeling Language [electronic resource] : Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings / edited by Andy Evans, Stuart Kent, Bran Selic.

by Evans, Andy [editor.] | Kent, Stuart [editor.] | Selic, Bran [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1939Source: 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
Interactive Multimedia on Next Generation Networks [electronic resource] : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 18-21, 2003. Proceedings / edited by Giorgio Ventre, Roberto Canonico.

by Ventre, Giorgio [editor.] | Canonico, Roberto [editor.] | SpringerLink (Online service).

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

E-BOOKS
Virtual Storytelling. Using Virtual RealityTechnologies for Storytelling [electronic resource] : Second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003. Proceedings / edited by Olivier Balet, Gérard Subsol, Patrice Torguet.

by Balet, Olivier [editor.] | Subsol, Gérard [editor.] | Torguet, Patrice [editor.] | SpringerLink (Online service).

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

E-BOOKS
Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / edited by Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski.

by Deransart, Pierre [editor.] | Hermenegildo, Manuel V [editor.] | Małuszynski, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1870Source: 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
Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings / edited by Atsushi Ohori.

by Ohori, Atsushi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Next Generation Networks. Networks and Services for the Information Society [electronic resource] : 5th IFIP TC6 International Symposium, INTERWORKING 2000 Bergen, Norway, October 3–6, 2000 Proceedings / edited by Sathya Rao, Kaare Ingar Sletta.

by Rao, Sathya [editor.] | Sletta, Kaare Ingar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1938Source: 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 Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker.

by Wirsing, Martin [editor.] | Pattinson, Dirk [editor.] | Hennicker, Rolf [editor.] | SpringerLink (Online service).

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