Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings / edited by Martin Hofmann.

by Hofmann, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2701Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 12th International Workshop, LCPC’99 La Jolla, CA, USA, August 4–6, 1999 Proceedings / edited by Larry Carter, Jeanne Ferrante.

by Carter, Larry [editor.] | Ferrante, Jeanne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1863Source: 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
Artificial Evolution [electronic resource] : 4th European Conference, AE’99, Dunkerque, France, November 3-5, 1999. Selected Papers / edited by Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Marc Schoenauer, Edmund Ronald.

by Fonlupt, Cyril [editor.] | Hao, Jin-Kao [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | Ronald, Edmund [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1829Source: 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
Algorithms — ESA '95 [electronic resource] : Third Annual European Symposium Corfu, Greece, September 25–27, 1995 Proceedings / edited by Paul Spirakis.

by Spirakis, Paul [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parallel Algorithms for Irregularly Structured Problems [electronic resource] : Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings / edited by Afonso Ferreira, José Rolim.

by Ferreira, Afonso [editor.] | Rolim, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 980Source: 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
Intelligent Systems and Soft Computing [electronic resource] : Prospects, Tools and Applications / edited by Benham Azvine, Detlef D. Nauck, Nader Azarmi.

by Azvine, Benham [editor.] | Nauck, Detlef D [editor.] | Azarmi, Nader [editor.] | SpringerLink (Online service).

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

E-BOOKS
SEMPER - Secure Electronic Marketplace for Europe [electronic resource] / by Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, Michael Waidner.

by Lacoste, Gérard [author.] | Pfitzmann, Birgit [author.] | Steiner, Michael [author.] | Waidner, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1854Source: 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
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito.

by Leeuwen, Jan [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1872Source: 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
Computer Aided Systems Theory - EUROCAST’99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 Proceedings / edited by Peter Kopacek, Roberto Moreno-Díaz, Franz Pichler.

by Kopacek, Peter [editor.] | Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1798Source: 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
Objective Coordination in Multi-Agent System Engineering [electronic resource] : Design and Implementation / by Michael Schumacher.

by Schumacher, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2039Source: 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
Web Usage Analysis and User Profiling [electronic resource] : International WEBKDD’99 Workshop San Diego, CA, USA, August 15, 1999 Revised Papers / edited by Brij Masand, Myra Spiliopoulou.

by Masand, Brij [editor.] | Spiliopoulou, Myra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1836Source: 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
Scale Space Methods in Computer Vision [electronic resource] : 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings / edited by Lewis D. Griffin, Martin Lillholm.

by Griffin, Lewis D [editor.] | Lillholm, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2695Source: 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
Problem-Solving Methods [electronic resource] : Understanding, Description, Development, and Reuse / by Dieter Fensel.

by Fensel, Dieter [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1791Source: 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
Multiple Classifier Systems [electronic resource] : 4th International Workshop, MCS 2003 Guildford, UK, June 11–13, 2003 Proceedings / edited by Terry Windeatt, Fabio Roli.

by Windeatt, Terry [editor.] | Roli, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2709Source: 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
Vector and Parallel Processing — VECPAR 2000 [electronic resource] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks / edited by José M. L. M. Palma, Jack Dongarra, Vicente Hernández.

by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1981Source: 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
KI-95: Advances in Artificial Intelligence [electronic resource] : 19th Annual German Conference on Artificial Intelligence Bielefeld, Germany, September 11–13, 1995 Proceedings / edited by Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer.

by Wachsmuth, Ipke [editor.] | Rollinger, Claus-Rainer [editor.] | Brauer, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 981Source: 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 2003 [electronic resource] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings / edited by Jean-Pierre Rosen, Alfred Strohmeier.

by Rosen, Jean-Pierre [editor.] | Strohmeier, Alfred [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha