Your search returned 3740 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen.

by Brinksma, Ed [editor.] | Larsen, Kim Guldstrand [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2404Source: 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 Modeling with the OCL [electronic resource] : The Rationale behind the Object Constraint Language / edited by Tony Clark, Jos Warmer.

by Clark, Tony [editor.] | Warmer, Jos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2263Source: 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
Extreme Programming and Agile Methods — XP/Agile Universe 2002 [electronic resource] : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4–7, 2002 Proceedings / edited by Don Wells, Laurie Williams.

by Wells, Don [editor.] | Williams, Laurie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2418Source: 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
Intelligent Agents and Multi-Agent Systems [electronic resource] : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002 Tokyo, Japan, August 18–19, 2002 Proceedings / edited by Kazuhiro Kuwabara, Jaeho Lee.

by Kuwabara, Kazuhiro [editor.] | Lee, Jaeho [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2413Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings / edited by Victor A. Carreño, César A. Muñoz, Sofiène Tahar.

by Carreño, Victor A [editor.] | Muñoz, César A [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2410Source: 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 Web-Based Learning [electronic resource] : First International Conference, ICWL 2002 Hong Kong, China, August 17–19, 2002 Proceedings / edited by Joseph Fong, Chu Ting Cheung, Hong Va Leong, Qing Li.

by Fong, Joseph [editor.] | Cheung, Chu Ting [editor.] | Leong, Hong Va [editor.] | Li, Qing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2436Source: 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
Euro-Par 2002 Parallel Processing [electronic resource] : 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings / edited by Burkhard Monien, Rainer Feldmann.

by Monien, Burkhard [editor.] | Feldmann, Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2400Source: 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
Software Frameworks and Embedded Control Systems [electronic resource] / edited by Alessandro Pasetti.

by Pasetti, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2231Source: 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
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings / edited by Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido.

by Hochet, Bertrand [editor.] | Acosta, Antonio J [editor.] | Bellido, Manuel J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2451Source: 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
Computational Science - ICCS 2001 [electronic resource] : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II / edited by Vassil N. Alexandrov, Jack J. Dongarra, Benjoe A. Juliano, René S. Renner, C. J. Kenneth Tan.

by Alexandrov, Vassil N [editor.] | Dongarra, Jack J [editor.] | Juliano, Benjoe A [editor.] | Renner, René S [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings / edited by Hélène Kirchner, Christophe Ringeissen.

by Kirchner, Hélène [editor.] | Ringeissen, Christophe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2422Source: 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
Computer Safety, Reliability and Security [electronic resource] : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings / edited by Stuart Anderson, Massimo Felici, Sandro Bologna.

by Anderson, Stuart [editor.] | Felici, Massimo [editor.] | Bologna, Sandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2434Source: 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 in Real-Time and Fault-Tolerant Systems [electronic resource] : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings / edited by Werner Damm, Ernst -Rüdiger Olderog.

by Damm, Werner [editor.] | Olderog, Ernst -Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2469Source: 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
Applications and Theory of Petri Nets 2001 [electronic resource] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings / edited by José-Manuel Colom, Maciej Koutny.

by Colom, José-Manuel [editor.] | Koutny, Maciej [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings / edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow.

by Goré, Rajeev [editor.] | Leitsch, Alexander [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Web Engineering and Peer-to-Peer Computing [electronic resource] : NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised Papers / edited by Enrico Gregori, Ludmila Cherkasova, Gianpaolo Cugola, Fabio Panzieri, Gian Pietro Picco.

by Gregori, Enrico [editor.] | Cherkasova, Ludmila [editor.] | Cugola, Gianpaolo [editor.] | Panzieri, Fabio [editor.] | Picco, Gian Pietro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2376Source: 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
Peer-to-Peer Systems [electronic resource] : First InternationalWorkshop, IPTPS 2002 Cambridge, MA, USA, March 7–8, 2002 Revised Papers / edited by Peter Druschel, Frans Kaashoek, Antony Rowstron.

by Druschel, Peter [editor.] | Kaashoek, Frans [editor.] | Rowstron, Antony [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2429Source: 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
Software Process Technology [electronic resource] : 8th European Workshop, EWSPT 2001 Witten, Germany, June 19–21, 2001 Proceedings / edited by Vincenzo Ambriola.

by Ambriola, Vincenzo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings / edited by Janusz Górski.

by Górski, Janusz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4166Source: 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
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio.

by Nierstrasz, Oscar [editor.] | Whittle, Jon [editor.] | Harel, David [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service).

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

Powered by Koha