Your search returned 531 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata, Languages and Programming [electronic resource] : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings / edited by Serge Abiteboul, Eli Shamir.

by Abiteboul, Serge [editor.] | Shamir, Eli [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 820Source: 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
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
Constraints in Computational Logics [electronic resource] : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings / edited by Jean-Pierre Jouannaud.

by Jouannaud, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 845Source: 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
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / edited by Naoki Kobayashi.

by Kobayashi, Naoki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4279Source: 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
Logic-Based Program Synthesis and Transformation [electronic resource] : 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers / edited by Pierre Flener.

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

Series: Lecture Notes in Computer Science ; 1559Source: 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
Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings / edited by Jean-Yves Girard.

by Girard, Jean-Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1581Source: 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
Static Analysis [electronic resource] : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings / edited by Baudouin Charlier.

by Charlier, Baudouin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 864Source: 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
FME '94: Industrial Benefit of Formal Methods [electronic resource] : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran.

by Naftalin, Maurice [editor.] | Denvir, Tim [editor.] | Bertran, Miquel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 873Source: 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
Programming Languages and Systems [electronic resource] : 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings / edited by S. Doaitse Swierstra.

by Swierstra, S. Doaitse [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1576Source: 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
STACS 95 [electronic resource] : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings / edited by Ernst W. Mayr, Claude Puech.

by Mayr, Ernst W [editor.] | Puech, Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 900Source: 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
Typed Lambda Calculi and Applications [electronic resource] : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.

by Dezani-Ciancaglini, Mariangiola [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 902Source: 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
Extensions of the UNITY Methodology [electronic resource] : Compositionality, Fairness and Probability in Parallelism / edited by Josyula Ramachandra Rao.

by Rao, Josyula Ramachandra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 908Source: 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
Funtional Programming Languages in Education [electronic resource] : First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings / edited by Pieter H. Hartel, Rinus Plasmeijer.

by Hartel, Pieter H [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1022Source: 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
Constraint Processing [electronic resource] : Selected Papers / edited by Manfred Meyer.

by Meyer, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 923Source: 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
Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / edited by Bernhard Möller.

by Möller, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 947Source: 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
Principles and Practice of Constraint Programming — CP98 [electronic resource] : 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings / edited by Michael Maher, Jean-Francois Puget.

by Maher, Michael [editor.] | Puget, Jean-Francois [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1520Source: 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
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
Concurrency and Parallelism, Programming, Networking, and Security [electronic resource] : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings / edited by Joxan Jaffar, Roland H. C. Yap.

by Jaffar, Joxan [editor.] | Yap, Roland H. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1179Source: 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
Logic Program Synthesis and Transformation [electronic resource] : 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings / edited by Norbert E. Fuchs.

by Fuchs, Norbert E [editor.] | SpringerLink (Online service).

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

Powered by Koha