Your search returned 742 results.

Not what you expected? Check for suggestions
E-BOOKS
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 [electronic resource] / edited by Mario Tokoro, Remo Pareschi.

by Tokoro, Mario [editor.] | Pareschi, Remo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 952Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 Industrial Applications [electronic resource] : Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond [editor.] | Börger, Egon [editor.] | Langmaack, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1165Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Fett, Andreas [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1493Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Static Analysis [electronic resource] : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings / edited by Giorgio Levi.

by Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1503Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Technologies for Advanced Software [electronic resource] : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings / edited by Kokichi Futatsugi, Satoshi Matsuoka.

by Futatsugi, Kokichi [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1049Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
FME'96: Industrial Benefit and Advances in Formal Methods [electronic resource] : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings / edited by Marie-Claude Gaudel, James Woodcock.

by Gaudel, Marie-Claude [editor.] | Woodcock, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1051Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Programming Languages and Systems — ESOP '96 [electronic resource] : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings / edited by Hanne Riis Nielson.

by Nielson, Hanne Riis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1058Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 and Networking [electronic resource] : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings / edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot.

by Liddell, Heather [editor.] | Colbrook, Adrian [editor.] | Hertzberger, Bob [editor.] | Sloot, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1067Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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] : 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings / edited by Mariam Momenzadeh Alexander A. Shvartsman.

by Shvartsman, Mariam Momenzadeh Alexander A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4305Source: 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
High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings / edited by Hong Mei.

by Mei, Hong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5030Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Computing and Networking [electronic resource] : 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings / edited by Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura.

by Chaudhuri, Soma [editor.] | Das, Samir R [editor.] | Paul, Himadri S [editor.] | Tirthapura, Srikanta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4308Source: 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
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere.

by Cuellar, Jorge [editor.] | Maibaum, Tom [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5014Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Middleware 2006 [electronic resource] : ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings / edited by Maarten Steen, Michi Henning.

by Steen, Maarten [editor.] | Henning, Michi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4290Source: 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
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro.

by Lea, Doug [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5052Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings / edited by Hanspeter Mössenböck.

by Mössenböck, Hanspeter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1204Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Parallel Symbolic Languages and Systems [electronic resource] : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings / edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec.

by Ito, Takayasu [editor.] | Halstead, Robert H [editor.] | Queinnec, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1068Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Computing and Internet Technology [electronic resource] : Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings / edited by Sanjay K. Madria, Kajal T. Claypool, Rajgopal Kannan, Prem Uppuluri, Manoj Madhava Gore.

by Madria, Sanjay K [editor.] | Claypool, Kajal T [editor.] | Kannan, Rajgopal [editor.] | Uppuluri, Prem [editor.] | Gore, Manoj Madhava [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4317Source: 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
Reliable Software Technologies — Ada-Europe '96 [electronic resource] : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings / edited by Alfred Strohmeier.

by Strohmeier, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1088Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
ZUM '97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | Till, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1212Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings / edited by Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss.

by Mueller, Matthias S [editor.] | Chapman, Barbara M [editor.] | Supinski, Bronis R [editor.] | Malony, Allen D [editor.] | Voss, Michael [editor.] | SpringerLink (Online service).

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