Your search returned 1338 results.

Not what you expected? Check for suggestions
E-BOOKS
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings Volume II: Networking and Tools / edited by Wolfgang Gentzsch, Uwe Harms.

by Gentzsch, Wolfgang [editor.] | Harms, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 797Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt.

by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 802Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
A Decade of Concurrency Reflections and Perspectives [electronic resource] : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 803Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Meta-Level Architectures and Reflection [electronic resource] : Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings / edited by Pierre Cointe.

by Cointe, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1616Source: 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
SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.

by Bartosek, Miroslav [editor.] | Staudek, Jan [editor.] | Wiedermann, Jirí [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1012Source: 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
The Unified Modeling Language. «UML»’98: Beyond the Notation [electronic resource] : First International Workshop, Mulhouse, France, June 3-4, 1998. Selected Papers / edited by Jean Bézivin, Pierre-Alain Muller.

by Bézivin, Jean [editor.] | Muller, Pierre-Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1618Source: 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
Recent Trends in Algebraic Development Techniques [electronic resource] : 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers / edited by José Luiz Fiadeiro.

by Fiadeiro, José Luiz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1589Source: 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
Advanced Functional Programming [electronic resource] : Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures / edited by S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques.

by Swierstra, S. Doaitse [editor.] | Oliveira, José N [editor.] | Henriques, Pedro R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1608Source: 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
Implementation of Functional Languages [electronic resource] : 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers / edited by Kevin Hammond, Tony Davie, Chris Clack.

by Hammond, Kevin [editor.] | Davie, Tony [editor.] | Clack, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1595Source: 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
OOER '95: Object-Oriented and Entity-Relationship Modeling [electronic resource] : 14th International Conference Gold Coast, Australia, December 13–15, 1995 Proceedings / edited by Michael P. Papazoglou.

by Papazoglou, Michael P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1021Source: 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
Object-Oriented Programming [electronic resource] : 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings / edited by Mario Tokoro, Remo Pareschi.

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

Series: Lecture Notes in Computer Science ; 821Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 ’94: Concurrency Theory [electronic resource] : 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings / edited by Bengt Jonsson, Joachim Parrow.

by Jonsson, Bengt [editor.] | Parrow, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 836Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994Online 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 Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička.

by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 841Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings / edited by Paliath Narendran, Michael Rusinowitch.

by Narendran, Paliath [editor.] | Rusinowitch, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1631Source: 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
Programming Language Implementation and Logic Programming [electronic resource] : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Manuel Hermenegildo, Jaan Penjam.

by Hermenegildo, Manuel [editor.] | Penjam, Jaan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 844Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 Syntax and Semantics of Java [electronic resource] / edited by Jim Alves-Foss.

by Alves-Foss, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1523Source: 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
ECOOP’ 99 — Object-Oriented Programming [electronic resource] : 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings / edited by Rachid Guerraoui.

by Guerraoui, Rachid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1628Source: 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
Formal Methods for Real-Time and Probabilistic Systems [electronic resource] : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings / edited by Joost-Pieter Katoen.

by Katoen, Joost-Pieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1601Source: 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
Algebraic and Logic Programming [electronic resource] : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Giorgio Levi, Mario Rodríguez-Artalejo.

by Levi, Giorgio [editor.] | Rodríguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 850Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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-Oriented Methodologies and Systems [electronic resource] : International Symposium, ISOOMS '94 Palermo, Italy, September 21–22, 1994 Proceedings / edited by Elisa Bertino, Susan Urban.

by Bertino, Elisa [editor.] | Urban, Susan [editor.] | SpringerLink (Online service).

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