Your search returned 1203 results.

Not what you expected? Check for suggestions
E-BOOKS
FME 2002:Formal Methods—Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Lars-Henrik Eriksson, Peter Alexander Lindsay.

by Eriksson, Lars-Henrik [editor.] | Lindsay, Peter Alexander [editor.] | SpringerLink (Online service).

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

E-BOOKS
SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings / edited by Leszek Pacholski, Peter Ružička.

by Pacholski, Leszek [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Software Product Lines [electronic resource] : Second International Conference, SPLC 2 San Diego, CA, USA, August 19–22, 2002 Proceedings / edited by Gary J. Chastek.

by Chastek, Gary J [editor.] | SpringerLink (Online service).

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

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): .

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): .

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): .

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): .

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): .

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): .

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): .

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): .

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): .

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): .

E-BOOKS
Performance Evaluation of Complex Systems: Techniques and Tools [electronic resource] : Performance 2002 Tutorial Lectures / edited by Maria Carla Calzarossa, Salvatore Tucci.

by Calzarossa, Maria Carla [editor.] | Tucci, Salvatore [editor.] | SpringerLink (Online service).

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

E-BOOKS
≪UML≫ 2002 — The Unified Modeling Language [electronic resource] : Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings / edited by Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook.

by Jézéquel, Jean-Marc [editor.] | Hussmann, Heinrich [editor.] | Cook, Stephen [editor.] | SpringerLink (Online service).

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

E-BOOKS
UbiComp 2002: Ubiquitous Computing [electronic resource] : 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings / edited by Gaetano Borriello, Lars Erik Holmquist.

by Borriello, Gaetano [editor.] | Holmquist, Lars Erik [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Security [electronic resource] : 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 – October 2, 2002 Proceedings / edited by Agnes Hui Chan, Virgil Gligor.

by Chan, Agnes Hui [editor.] | Gligor, Virgil [editor.] | SpringerLink (Online service).

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

E-BOOKS
Conceptual Modeling — ER 2002 [electronic resource] : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7–11, 2002 Proceedings / edited by Stefano Spaccapietra, Salvatore T. March, Yahiko Kambayashi.

by Spaccapietra, Stefano [editor.] | March, Salvatore T [editor.] | Kambayashi, Yahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2503Source: 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
Generative Programming and Component Engineering [electronic resource] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings / edited by Don Batory, Charles Consel, Walid Taha.

by Batory, Don [editor.] | Consel, Charles [editor.] | Taha, Walid [editor.] | SpringerLink (Online service).

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

E-BOOKS
Trends in Network and Pervasive Computing — ARCS 2002 [electronic resource] : International Conference on Architecture of Computing Systems Karlsruhe, Germany, April 8–12, 2002 Proceedings / edited by Hartmut Schmeck, Theo Ungerer, Lars Wolf.

by Schmeck, Hartmut [editor.] | Ungerer, Theo [editor.] | Wolf, Lars [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha