Your search returned 531 results.

Not what you expected? Check for suggestions
E-BOOKS
STACS 96 [electronic resource] : 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings / edited by Claude Puech, Rüdiger Reischuk.

by Puech, Claude [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1046Source: 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
Static Analysis [electronic resource] : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings / edited by Giorgio Levi.

by Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1503Source: 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
Logic Program Synthesis and Transformation [electronic resource] : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Maurizio Proietti.

by Proietti, Maurizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1048Source: 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
FME'96: Industrial Benefit and Advances in Formal Methods [electronic resource] : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings / edited by Marie-Claude Gaudel, James Woodcock.

by Gaudel, Marie-Claude [editor.] | Woodcock, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1051Source: 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
Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings / edited by Catuscia Palamidessi, Hugh Glaser, Karl Meinke.

by Palamidessi, Catuscia [editor.] | Glaser, Hugh [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1490Source: 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
Programming Languages and Systems — ESOP '96 [electronic resource] : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings / edited by Hanne Riis Nielson.

by Nielson, Hanne Riis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1058Source: 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
Trees in Algebra and Programming — CAAP '96 [electronic resource] : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings / edited by Hélène Kirchner.

by Kirchner, Hélène [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1059Source: 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
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere.

by Cuellar, Jorge [editor.] | Maibaum, Tom [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5014Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings / edited by Philippe Groote, J. Roger Hindley.

by Groote, Philippe [editor.] | Roger Hindley, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1210Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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'98 Concurrency Theory [electronic resource] : 9th International Conference Nice, France, September 8–11, 1998 Proceedings / edited by Davide Sangiorgi, Robert Simone.

by Sangiorgi, Davide [editor.] | Simone, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1466Source: 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
Logic Program Synthesis and Transformation [electronic resource] : 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings / edited by John Gallagher.

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

Series: Lecture Notes in Computer Science ; 1207Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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] : 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers / edited by Chris Clack, Kevin Hammond, Tony Davie.

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

Series: Lecture Notes in Computer Science ; 1467Source: 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
Over-Constrained Systems [electronic resource] / edited by Michael Jampel, Eugene Freuder, Michael Maher.

by Jampel, Michael [editor.] | Freuder, Eugene [editor.] | Maher, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1106Source: 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
Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by René Meier, Sotirios Terzis.

by Meier, René [editor.] | Terzis, Sotirios [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5053Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Reasoning with Logic Programming [electronic resource] / edited by José Júlio Alferes, Luís Moniz Pereira.

by Alferes, José Júlio [editor.] | Moniz Pereira, Luís [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111Source: 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
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe, Frank S. Boer.

by Barthe, Gilles [editor.] | Boer, Frank S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5051Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings / edited by Miquel Bertran, Teodor Rus.

by Bertran, Miquel [editor.] | Rus, Teodor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1231Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.

by Meyer, Bertrand [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4171Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal.

by Alpuente, María [editor.] | Vidal, Germán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5079Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / edited by Andrew Butterfield, Clemens Grelck, Frank Huch.

by Butterfield, Andrew [editor.] | Grelck, Clemens [editor.] | Huch, Frank [editor.] | SpringerLink (Online service).

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

Powered by Koha