Your search returned 379 results.

Not what you expected? Check for suggestions
E-BOOKS
Object-Oriented Technology ECOOP 2002 Workshop Reader [electronic resource] : ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings / edited by Juan Hernández, Ana Moreira.

by Hernández, Juan [editor.] | Moreira, Ana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2548Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: ECOOP 2002 Workshop Reader.Online 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
Software Security — Theories and Systems [electronic resource] : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers / edited by Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa.

by Okada, Mitsuhiro [editor.] | Pierce, Benjamin C [editor.] | Scedrov, Andre [editor.] | Tokuda, Hideyuki [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Agent-Oriented Software Engineering III [electronic resource] : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß.

by Giunchiglia, Fausto [editor.] | Odell, James [editor.] | Weiß, Gerhard [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Self-Adaptive Software: Applications [electronic resource] : Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised Papers / edited by Robert Laddaga, Howie Shrobe, Paul Robertson.

by Laddaga, Robert [editor.] | Shrobe, Howie [editor.] | Robertson, Paul [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Telecommunications and beyond: The BroaderApplicability of SDL and MSC [electronic resource] : Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers / edited by Edel Sherratt.

by Sherratt, Edel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff.

by Garavel, Hubert [editor.] | Hatcliff, John [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings / edited by Zhong-Zhi Shi, Ramakoti Sadananda.

by Shi, Zhong-Zhi [editor.] | Sadananda, Ramakoti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4088Source: 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
CONCUR 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns.

by Baier, Christel [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4137Source: 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
Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt.

by Löwe, Welf [editor.] | Südholt, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4089Source: 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
The Semantic Web – ASWC 2006 [electronic resource] : First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings / edited by Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia.

by Mizoguchi, Riichiro [editor.] | Shi, Zhongzhi [editor.] | Giunchiglia, Fausto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4185Source: 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
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan.

by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro.

by Bravetti, Mario [editor.] | Núñez, Manuel [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4184Source: 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
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Proceedings / edited by Michael Schröder, Gerd Wagner.

by Schröder, Michael [editor.] | Wagner, Gerd [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
The Semantic Web - ISWC 2003 [electronic resource] : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003. Proceedings / edited by Dieter Fensel, Katia Sycara, John Mylopoulos.

by Fensel, Dieter [editor.] | Sycara, Katia [editor.] | Mylopoulos, John [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Intelligent Agents and Multi-Agent Systems [electronic resource] : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003. Proceedings / edited by Jaeho Lee, Mike Barley.

by Lee, Jaeho [editor.] | Barley, Mike [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers / edited by Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha.

by Jorge, Joaquim A [editor.] | Jardim Nunes, Nuno [editor.] | Falcão e Cunha, João [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens.

by Najm, Elie [editor.] | Nestmann, Uwe [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service).

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

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

Place hold Log in to add tags
E-BOOKS
Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber.

by Ehrig, Hartmut [editor.] | Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Issues in Agent Communication [electronic resource] / edited by Frank Dignum, Mark Greaves.

by Dignum, Frank [editor.] | Greaves, Mark [editor.] | SpringerLink (Online service).

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

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

Powered by Koha