Your search returned 867 results.

Not what you expected? Check for suggestions
E-BOOKS
Programming Languages and Systems [electronic resource] : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Pierpaolo Degano.

by Degano, Pierpaolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2618Source: 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
Foundations of Software Science and Computation Structures [electronic resource] : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Andrew D. Gordon.

by Gordon, Andrew D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2620Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Mauro Pezzè.

by Pezzè, Mauro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2621Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Compiler Construction [electronic resource] : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Görel Hedin.

by Hedin, Görel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2622Source: 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
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.

by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4085Source: 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 Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt.

by Löwe, Welf [editor.] | Südholt, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4089Source: 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
Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings / edited by Kwangkeun Yi.

by Yi, Kwangkeun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4134Source: 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 Engineering and Middleware [electronic resource] : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20–21, 2002 Revised Papers / edited by Alberto Coen-Porisini, André Hoek.

by Coen-Porisini, Alberto [editor.] | Hoek, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2596Source: 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 Language Implementation and Logic Programming [electronic resource] : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings / edited by Jan Maluszyński, Martin Wirsing.

by Maluszyński, Jan [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 528Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Category Theory and Computer Science [electronic resource] : Paris, France, September 3–6, 1991 Proceedings / edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard.

by Pitt, David H [editor.] | Curien, Pierre-Louis [editor.] | Abramsky, Samson [editor.] | Pitts, Andrew M [editor.] | Poigné, Axel [editor.] | Rydeheard, David E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 530Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Recent Trends in Data Type Specification [electronic resource] : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings / edited by H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel.

by Ehrig, H [editor.] | Jantke, K. P [editor.] | Orejas, F [editor.] | Reichel, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 534Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Attribute Grammars, Applications and Systems [electronic resource] : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings / edited by Henk Alblas, Bořivoj Melichar.

by Alblas, Henk [editor.] | Melichar, Bořivoj [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 545Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense / edited by W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth.

by Brauer, W [editor.] | Hansen, P. Brinch [editor.] | Gries, D [editor.] | Moler, C [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 106Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980Online 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
International Symposium on Programming [electronic resource] : 6th Colloquium Toulouse, April 17–19, 1984 Proceedings / edited by M. Paul, B. Robinet.

by Paul, M [editor.] | Robinet, B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 167Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Ada Software Tools Interfaces [electronic resource] : Workshop, Bath, July 13–15, 1983 Proceedings / edited by Peter J. L. Wallis.

by Wallis, Peter J. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 180Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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 Munich Project CIP [electronic resource] / by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner.

by Brauer, F. L [author.] | Berghammer, R [author.] | Dosch, W [author.] | Gnatz, R [author.] | Hangel, E [author.] | Möller, B [author.] | Partsch, H [author.] | Pepper, P [author.] | Samelson, K [author.] | Wössner, H [author.] | Broy, M [author.] | Nickl, F [author.] | Wirsing, M [author.] | Geiselbrechtinger, F [author.] | Hesse, W [author.] | Krieg-Brückner, B [author.] | Laut, A [author.] | Matzner, T [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: By the CIP Language Group.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
Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

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