Your search returned 1207 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Case-Based Reasoning [electronic resource] : 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings / edited by Enrico Blanzieri, Luigi Portinale.

by Blanzieri, Enrico [editor.] | Portinale, Luigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1898Source: 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
Practice and Theory of Automated Timetabling III [electronic resource] : Third International Conference, PATAT 2000 Konstanz, Germany, August 16–18, 2000 Selected Papers / edited by Edmund Burke, Wilhelm Erben.

by Burke, Edmund [editor.] | Erben, Wilhelm [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2079Source: 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
Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers / edited by Shen Yu, Andrei Păun.

by Yu, Shen [editor.] | Păun, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2088Source: 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
Algorithm Engineering [electronic resource] : 5th International Workshop, WAE 2001 Århus, Denmark, August 28–31, 2001 Proceedings / edited by Gerth Stølting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela.

by Brodal, Gerth Stølting [editor.] | Frigioni, Daniele [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2141Source: 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
Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Bruce Schneier.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Schneier, Bruce [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1978Source: 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
Parallel Computing Technologies [electronic resource] : 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3–7, 2001 Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2127Source: 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
Product Focused Software Process Improvement [electronic resource] : Third International Conference, PROFES 2001 Kaiserslautern, Germany, September 10–13, 2001 Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö.

by Bomarius, Frank [editor.] | Komi-Sirviö, Seija [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2188Source: 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
Algorithmic Number Theory [electronic resource] : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000. Proceedings / edited by Wieb Bosma.

by Bosma, Wieb [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1838Source: 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
Computing and Combinatorics [electronic resource] : 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25–28, 2003 Proceedings / edited by Tandy Warnow, Binhai Zhu.

by Warnow, Tandy [editor.] | Zhu, Binhai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2697Source: 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
FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dino Mandrioli.

by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms - ESA 2000 [electronic resource] : 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings / edited by Mike S. Paterson.

by Paterson, Mike S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1879Source: 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
Stochastic Algorithms: Foundations and Applications [electronic resource] : International Symposium, SAGA 2001 Berlin, Germany, December 13–14, 2001 Proceedings / edited by Kathleen Steinhöfel.

by Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2264Source: 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
Principles and Practice of Constraint Programming – CP 2000 [electronic resource] : 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings / edited by Rina Dechter.

by Dechter, Rina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1894Source: 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
A Generative Theory of Shape [electronic resource].

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2145Source: 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 Programming [electronic resource] : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio.

by Nierstrasz, Oscar [editor.] | Whittle, Jon [editor.] | Harel, David [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service).

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

E-BOOKS
STACS 2002 [electronic resource] : 19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, France, March 14–16, 2002 Proceedings / edited by Helmut Alt, Afonso Ferreira.

by Alt, Helmut [editor.] | Ferreira, Afonso [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Security and Cryptology — ICISC 2001 [electronic resource] : 4th International Conference Seoul, Korea, December 6–7,2001 Proceedings / edited by Kwangjo Kim.

by Kim, Kwangjo [editor.] | SpringerLink (Online service).

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

E-BOOKS
Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Daniel Métayer.

by Métayer, Daniel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Frontiers of Combining Systems [electronic resource] : 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings / edited by Alessandro Armando.

by Armando, Alessandro [editor.] | SpringerLink (Online service).

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