Your search returned 1605 results.

Not what you expected? Check for suggestions
E-BOOKS
Abstraction, Reformulation, and Approximation [electronic resource] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings / edited by Berthe Y. Choueiry, Toby Walsh.

by Choueiry, Berthe Y [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1864Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Applications and Theory of Petri Nets 2003 [electronic resource] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings / edited by Wil M. P. Aalst, Eike Best.

by Aalst, Wil M. P [editor.] | Best, Eike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2679Source: 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
Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1861Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Communication in Multiagent Systems [electronic resource] : Agent Communication Languages and Conversation Policies / edited by Marc-Philippe Huget.

by Huget, Marc-Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2650Source: 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
Implementation and Application of Automata [electronic resource] : 7th International Conference, CIAA 2002 Tours, France, July 3–5, 2002 Revised Papers / edited by Jean-Marc Champarnaud, Denis Maurel.

by Champarnaud, Jean-Marc [editor.] | Maurel, Denis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2608Source: 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
Programs as Data Objects [electronic resource] : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings / edited by Olivier Danvy, Andrzej Filinski.

by Danvy, Olivier [editor.] | Filinski, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2053Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings / edited by Leo Bachmair.

by Bachmair, Leo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1833Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Developments in Language Theory [electronic resource] : 6th International Conference, DLT 2002 Kyoto, Japan, September 18–21, 2002 Revised Papers / edited by Masami Ito, Masafumi Toyama.

by Ito, Masami [editor.] | Toyama, Masafumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2450Source: 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
Developments in Language Theory [electronic resource] : 7th International Conference, DLT 2003 Szeged, Hungary, July 7–11, 2003 Proceedings / edited by Zoltán Ésik, Zoltán Fülöp.

by Ésik, Zoltán [editor.] | Fülöp, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2710Source: 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
Logic Based Program Synthesis and Transformation [electronic resource] : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers / edited by Michael Leuschel.

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

Series: Lecture Notes in Computer Science ; 2664Source: 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
Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / edited by Roland Backhouse, José Nuno Oliveira.

by Backhouse, Roland [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1837Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4202Source: 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
Reflection and Software Engineering [electronic resource] / edited by Walter Cazzola, Robert J. Stroud, Francesco Tisato.

by Cazzola, Walter [editor.] | Stroud, Robert J [editor.] | Tisato, Francesco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1826Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla.

by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1855Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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: Implementations, Logics and Programs [electronic resource] : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Manuel Hermenegildo, S. Doaitse Swierstra.

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

Series: Lecture Notes in Computer Science ; 982Source: 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
Static Analysis [electronic resource] : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings / edited by Alan Mycroft.

by Mycroft, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 983Source: 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
Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi.

by Hunt, Warren A [editor.] | Somenzi, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2725Source: 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
ECOOP 2003 – Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / edited by Luca Cardelli.

by Cardelli, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2743Source: 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
SDL 2003: System Design [electronic resource] : 11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 Proceedings / edited by Rick Reed, Jeanne Reed.

by Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2708Source: 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
Automated Deduction – CADE-19 [electronic resource] : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings / edited by Franz Baader.

by Baader, Franz [editor.] | SpringerLink (Online service).

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

Powered by Koha