Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
Inductive Logic Programming [electronic resource] : 10th International Conference, ILP 2000 London, UK, July 24–27, 2000 Proceedings / edited by James Cussens, Alan Frisch.

by Cussens, James [editor.] | Frisch, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1866Source: 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): .

E-BOOKS
Software Reuse: Advances in Software Reusability [electronic resource] : 6th International Conference, ICSR-6, Vienna, Austria, June 27-29, 2000. Proceedings / edited by William B. Frakes.

by Frakes, William B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1844Source: 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): .

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): .

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): .

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): .

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): .

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): .

E-BOOKS
Reliable Software Technologies Ada-Europe 2000 [electronic resource] : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings / edited by Hubert B. Keller, Erhard Plödereder.

by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1845Source: 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): .

E-BOOKS
Static Analysis [electronic resource] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings / edited by Jens Palsberg.

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

Series: Lecture Notes in Computer Science ; 1824Source: 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): .

E-BOOKS
ECOOP 2000 — Object-Oriented Programming [electronic resource] : 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings / edited by Elisa Bertino.

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

Series: Lecture Notes in Computer Science ; 1850Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Other title: Windows-Version.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part I / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller.

by Cantú-Paz, Erick [editor.] | Foster, James A [editor.] | Deb, Kalyanmoy [editor.] | Davis, Lawrence David [editor.] | Roy, Rajkumar [editor.] | O’Reilly, Una-May [editor.] | Beyer, Hans-Georg [editor.] | Standish, Russell [editor.] | Kendall, Graham [editor.] | Wilson, Stewart [editor.] | Harman, Mark [editor.] | Wegener, Joachim [editor.] | Dasgupta, Dipankar [editor.] | Potter, Mitch A [editor.] | Schultz, Alan C [editor.] | Dowsland, Kathryn A [editor.] | Jonoska, Natasha [editor.] | Miller, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2723Source: 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): .

E-BOOKS
Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller.

by Cantú-Paz, Erick [editor.] | Foster, James A [editor.] | Deb, Kalyanmoy [editor.] | Davis, Lawrence David [editor.] | Roy, Rajkumar [editor.] | O’Reilly, Una-May [editor.] | Beyer, Hans-Georg [editor.] | Standish, Russell [editor.] | Kendall, Graham [editor.] | Wilson, Stewart [editor.] | Harman, Mark [editor.] | Wegener, Joachim [editor.] | Dasgupta, Dipankar [editor.] | Potter, Mitch A [editor.] | Schultz, Alan C [editor.] | Dowsland, Kathryn A [editor.] | Jonoska, Natasha [editor.] | Miller, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2724Source: 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): .

E-BOOKS
Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings / edited by Frank Maurer, Don Wells.

by Maurer, Frank [editor.] | Wells, Don [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2753Source: 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): .

E-BOOKS
Reliable SoftwareTechnologies — Ada-Europe 2001 [electronic resource] : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings / edited by Dirk Craeynest, Alfred Strohmeier.

by Craeynest, Dirk [editor.] | Strohmeier, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2043Source: 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): .

E-BOOKS
Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / by Kung-Kiu Lau.

by Lau, Kung-Kiu [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2042Source: 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): .

E-BOOKS
Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers / edited by Annalisa Bossi.

by Bossi, Annalisa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1817Source: 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): .

E-BOOKS
Iterative Software Engineering for Multiagent Systems [electronic resource] : The MASSIVE Method / edited by Jürgen Lind.

by Lind, Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1994Source: 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): .

E-BOOKS
CONCUR 2003 - Concurrency Theory [electronic resource] : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings / edited by Roberto Amadio, Denis Lugiez.

by Amadio, Roberto [editor.] | Lugiez, Denis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2761Source: 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): .

E-BOOKS
Generic Programming [electronic resource] : Advanced Lectures / edited by Roland Backhouse, Jeremy Gibbons.

by Backhouse, Roland [editor.] | Gibbons, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2793Source: 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): .

E-BOOKS
Principles and Practice of Constraint Programming – CP 2003 [electronic resource] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings / edited by Francesca Rossi.

by Rossi, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2833Source: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha