Your search returned 123 results.

Not what you expected? Check for suggestions
E-BOOKS
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart.

by Dunne, Steve [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4010Source: 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
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.

by Gorrieri, Roberto [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4037Source: 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
Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Frank Eliassen, Alberto Montresor.

by Eliassen, Frank [editor.] | Montresor, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4025Source: 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
Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.

by Reussner, Ralf H [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3938Source: 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 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
Advanced Symbolic Analysis for Compilers [electronic resource] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization / edited by Thomas Fahringer, Bernhard Scholz.

by Fahringer, Thomas [editor.] | Scholz, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2628Source: 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 Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4111Source: 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
Advanced Topics in Exception Handling Techniques [electronic resource] / edited by Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi.

by Dony, Christophe [editor.] | Knudsen, Jørgen Lindskov [editor.] | Romanovsky, Alexander [editor.] | Tripathi, Anand [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4119Source: 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 Security - Theories and Systems [electronic resource] : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers / edited by Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki.

by Futatsugi, Kokichi [editor.] | Mizoguchi, Fumio [editor.] | Yonezaki, Naoki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3233Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2852Source: 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
Software and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003. Proceedings / edited by Andreas Krall.

by Krall, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2826Source: 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
Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings / edited by Atsushi Ohori.

by Ohori, Atsushi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2895Source: 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
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers / edited by Corrado Priami.

by Priami, Corrado [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2874Source: 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
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25–27, 2000 Selected Papers / edited by Sandhya Dwarkadas.

by Dwarkadas, Sandhya [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1915Source: 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
E-BOOKS
Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / edited by David E. Lightfoot, Clemens Szyperski.

by Lightfoot, David E [editor.] | Szyperski, Clemens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4228Source: 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
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings / edited by Wolfgang Weck, Jürg Gutknecht.

by Weck, Wolfgang [editor.] | Gutknecht, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1897Source: 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
E-BOOKS
Middleware 2003 [electronic resource] : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003 Proceedings / edited by Markus Endler, Douglas Schmidt.

by Endler, Markus [editor.] | Schmidt, Douglas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2672Source: 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
Embedded Software [electronic resource] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings / edited by Rajeev Alur, Insup Lee.

by Alur, Rajeev [editor.] | Lee, Insup [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2855Source: 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
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings / edited by László Böszörményi, Peter Schojer.

by Böszörményi, László [editor.] | Schojer, Peter [editor.] | SpringerLink (Online service).

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

Powered by Koha