Your search returned 3740 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods and Software Engineering [electronic resource] : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings / edited by Chris George, Huaikou Miao.

by George, Chris [editor.] | Miao, Huaikou [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2495Source: 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
Mobile Agents [electronic resource] : 6th International Conference, MA 2002 Barcelona, Spain, October 22–25, 2002 Proceedings / edited by Niranjan Suri.

by Suri, Niranjan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2535Source: 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
On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE [electronic resource] : Confederated International Conferences CoopIS, DOA, and ODBASE 2002 Proceedings / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2519Source: 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
Formal Methods in Computer-Aided Design [electronic resource] : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings / edited by Mark D. Aagaard, John W. O’Leary.

by Aagaard, Mark D [editor.] | O’Leary, John W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2517Source: 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
Grid Computing — GRID 2002 [electronic resource] : Third International Workshop Baltimore, MD, USA, November 18, 2002 Proceedings / edited by Manish Parashar.

by Parashar, Manish [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2536Source: 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
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [electronic resource] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings / edited by Doron A. Peled, Moshe Y. Vardi.

by Peled, Doron A [editor.] | Vardi, Moshe Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2529Source: 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
SOFSEM 2002: Theory and Practice of Informatics [electronic resource] : 29th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 2002 Proceedings / edited by William I. Grosky, František Plášil.

by Grosky, William I [editor.] | Plášil, František [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2540Source: 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
Advanced Lectures on Networking [electronic resource] : NETWORKING 2002 Tutorials / edited by Enrico Gregori, Giuseppe Anastasi, Stefano Basagni.

by Gregori, Enrico [editor.] | Anastasi, Giuseppe [editor.] | Basagni, Stefano [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2497Source: 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
Advances in Computing Science — ASIAN 2002 [electronic resource] : Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference Hanoi, Vietnam, December 4–6, 2002 Proceedings / edited by Alain Jean-Marie.

by Jean-Marie, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2550Source: 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 and Hardware Design [electronic resource] : Advances in Petri Nets / edited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg.

by Cortadella, Jordi [editor.] | Yakovlev, Alex [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2549Source: 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
Active Networks [electronic resource] : IFIP-TC6 4th International Working Conference, IWAN 2002 Zurich, Switzerland, December 4–6, 2002 Proceedings / edited by James Sterbenz, Osamu Takada, Christian Tschudin, Bernhard Plattner.

by Sterbenz, James [editor.] | Takada, Osamu [editor.] | Tschudin, Christian [editor.] | Plattner, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2546Source: 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
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
Product Focused Software Process Improvement [electronic resource] : 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9–11, 2002 Proceedings / edited by Markku Oivo, Seija Komi-Sirviö.

by Oivo, Markku [editor.] | Komi-Sirviö, Seija [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2559Source: 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
Interactive Systems:Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers / edited by Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban.

by Forbrig, Peter [editor.] | Limbourg, Quentin [editor.] | Vanderdonckt, Jean [editor.] | Urban, Bodo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2545Source: 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
Developing an Infrastructure for Mobile and Wireless Systems [electronic resource] : NSF Workshop IMWS 2001 Scottsdale, AZ, October 15, 2001 Revised Papers / edited by Birgitta König-Ries, Kia Makki, Niki Pissinou, S.A.M. Makki, Peter Scheuermann.

by König-Ries, Birgitta [editor.] | Makki, Kia [editor.] | Pissinou, Niki [editor.] | Makki, S.A.M [editor.] | Scheuermann, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2538Source: 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
Distributed Communities on the Web [electronic resource] : 4th International Workshop, DCW 2002 Sydney, Australia, April 3–5, 2002 Revised Papers / edited by John Plaice, Peter G. Kropf, Peter Schulthess, Jacob Slonim.

by Plaice, John [editor.] | Kropf, Peter G [editor.] | Schulthess, Peter [editor.] | Slonim, Jacob [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2468Source: 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
High Performance Computing — HiPC 2002 [electronic resource] : 9th International Conference Bangalore, India, December 18–21, 2002 Proceedings / edited by Sartaj Sahni, Viktor K. Prasanna, Uday Shukla.

by Sahni, Sartaj [editor.] | Prasanna, Viktor K [editor.] | Shukla, Uday [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2552Source: 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
Relational Methods in Computer Science [electronic resource] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers / edited by Harrie C. M. Swart.

by Swart, Harrie C. M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2561Source: 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
Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

by Anderson, James H [editor.] | Prencipe, Giuseppe [editor.] | Wattenhofer, Roger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3974Source: 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 Essence of Computation [electronic resource] : Complexity, Analysis, Transformation / edited by Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough.

by Mogensen, Torben Æ [editor.] | Schmidt, David A [editor.] | Sudborough, I. Hal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2566Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha