Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
Internet Programming Languages [electronic resource] : ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings / edited by Henri E. Bal, Boumediene Belkhouche, Luca Cardelli.

by Bal, Henri E [editor.] | Belkhouche, Boumediene [editor.] | Cardelli, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1686Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Mathematical Models for the Semantics of Parallelism [electronic resource] : Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings / edited by Marisa Venturini Zilli.

by Zilli, Marisa Venturini [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 280Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Graph Reduction [electronic resource] : Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986 / edited by Joseph H. Fasel, Robert M. Keller.

by Fasel, Joseph H [editor.] | Keller, Robert M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 279Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
CONCUR'93 [electronic resource] : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings / edited by Eike Best.

by Best, Eike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 715Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings / edited by Alfonso Miola.

by Miola, Alfonso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 722Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
ECOOP 2002 — Object-Oriented Programming [electronic resource] : 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings / edited by Boris Magnusson.

by Magnusson, Boris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2374Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Semantics of Digital Circuits [electronic resource] / by Carlos Delgado Kloos.

by Delgado Kloos, Carlos [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 285Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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 Systems [electronic resource] : New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986 / edited by A. Kündig, R. E. Bührer, J. Dähler.

by Kündig, A [editor.] | Bührer, R. E [editor.] | Dähler, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 284Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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] : Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings / edited by Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy.

by Cousot, Patrick [editor.] | Falaschi, Moreno [editor.] | Filé, Gilberto [editor.] | Rauzy, Antoine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 724Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Algorithms [electronic resource] : 7th International Workshop, WDAG'93 Lausanne, Switzerland, September 27–29, 1993 Proceedings / edited by André Schiper.

by Schiper, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 725Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings / edited by John Fitch.

by Fitch, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 721Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Technology and Theoretical Computer Science [electronic resource] : Seventh Conference, Pune, India December 17–19, 1987 Proceedings / edited by Kesav V. Nori.

by Nori, Kesav V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 287Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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 2002 [electronic resource] : 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings / edited by Johann Blieberger, Alfred Strohmeier.

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

Series: Lecture Notes in Computer Science ; 2361Source: 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
DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond [electronic resource] : International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 Proceedings / edited by Alexander Schill.

by Schill, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 731Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Computation [electronic resource] : Second International ACPC Conference Gmunden, Austria, October 4–6, 1993 Proceedings / edited by Jens Volkert.

by Volkert, Jens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 734Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Generic Development Language Deva [electronic resource] : Presentation and Case Studies / by Matthias Weber, Martin Simons, Christine Lafontaine.

by Weber, Matthias [author.] | Simons, Martin [author.] | Lafontaine, Christine [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 738Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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] : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings / edited by Shojiro Nishio, Akinori Yonezawa.

by Nishio, Shojiro [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 742Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 and Practice of Constraint Programming – CP’99 [electronic resource] : 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings / edited by Joxan Jaffar.

by Jaffar, Joxan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1713Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Active Technologies for Network and Service Management [electronic resource] : 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM’99 Zurich, Switzerland, October 11–13, 1999 Proceedings / edited by Rolf Stadler, Burkhard Stiller.

by Stadler, Rolf [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1700Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Computing: Languages, Systems, and Applications [electronic resource] : US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings / edited by Robert H. Halstead, Takayasu Ito.

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

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