Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Natural Computation [electronic resource] : Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part I / edited by Licheng Jiao, Lipo Wang, Xin-bo Gao, Jing Liu, Feng Wu.

by Jiao, Licheng [editor.] | Wang, Lipo [editor.] | Gao, Xin-bo [editor.] | Liu, Jing [editor.] | Wu, Feng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4221Source: 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
Advances in Natural Computation [electronic resource] : Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part II / edited by Licheng Jiao, Lipo Wang, Xinbo Gao, Jing Liu, Feng Wu.

by Jiao, Licheng [editor.] | Wang, Lipo [editor.] | Gao, Xinbo [editor.] | Liu, Jing [editor.] | Wu, Feng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4222Source: 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
ECOOP ’88 European Conference on Object-Oriented Programming [electronic resource] : Oslo, Norway, August 15–17, 1988 Proceedings / edited by Stein Gjessing, Kristen Nygaard.

by Gjessing, Stein [editor.] | Nygaard, Kristen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 322Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Attribute Grammars [electronic resource] : Definitions, Systems and Bibliography / by Pierre Deransart, Martin Jourdan, Bernard Lorho.

by Deransart, Pierre [author.] | Jourdan, Martin [author.] | Lorho, Bernard [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 323Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Current Topics in Artificial Intelligence [electronic resource] : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers / edited by Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos.

by Marín, Roque [editor.] | Onaindía, Eva [editor.] | Bugarín, Alberto [editor.] | Santos, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4177Source: 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
Fuzzy Systems and Knowledge Discovery [electronic resource] : Third International Conference, FSKD 2006, Xi’an, China, September 24-28, 2006. Proceedings / edited by Lipo Wang, Licheng Jiao, Guanming Shi, Xue Li, Jing Liu.

by Wang, Lipo [editor.] | Jiao, Licheng [editor.] | Shi, Guanming [editor.] | Li, Xue [editor.] | Liu, Jing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4223Source: 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
Quality-Driven Query Answering for Integrated Information Systems [electronic resource] / edited by Felix Naumann.

by Naumann, Felix [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Fundamental Approaches to Software Engineering [electronic resource] : 5th International Conference, FASE 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 Ralf-Detlef Kutsche, Herbert Weber.

by Kutsche, Ralf-Detlef [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Recent Advances in Visual Information Systems [electronic resource] : 5th International Conference, VISUAL 2002 Hsin Chu, Taiwan, March 11–13, 2002 Proceedings / edited by Shi-Kuo Chang, Zen Chen, Suh-Yin Lee.

by Chang, Shi-Kuo [editor.] | Chen, Zen [editor.] | Lee, Suh-Yin [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 1988 [electronic resource] : Proceedings of the 13th Symposium Carlsbad, Czechoslovakia, August 29 – September 2, 1988 / edited by Michal P. Chytil, Václav Koubek, Ladislav Janiga.

by Chytil, Michal P [editor.] | Koubek, Václav [editor.] | Janiga, Ladislav [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : 5th International Conference, FOSSACS 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 Mogens Nielsen, Uffe Engberg.

by Nielsen, Mogens [editor.] | Engberg, Uffe [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Index Structures for Data Warehouses [electronic resource] / by Marcus Jürgens.

by Jürgens, Marcus [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Compiler Construction [electronic resource] : 11th International Conference, CC 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 R. Nigel Horspool.

by Horspool, R. Nigel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
From Theory to Practice in Multi-Agent Systems [electronic resource] : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26–29, 2001 Revised Papers / edited by Barbara Dunin-Keplicz, Edward Nawarecki.

by Dunin-Keplicz, Barbara [editor.] | Nawarecki, Edward [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
ICDT '88 [electronic resource] : 2nd International Conference on Database Theory Bruges, Belgium, August 31 – September 2, 1988 Proceedings / edited by Marc Gyssens, Jan Paredaens, Dirk Gucht.

by Gyssens, Marc [editor.] | Paredaens, Jan [editor.] | Gucht, Dirk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 326Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Constraint Services [electronic resource] : High-Level Programming of Standard and New Constraint Services / edited by Christian Schulte.

by Schulte, Christian [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / edited by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson.

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
VDM '88 VDM — The Way Ahead [electronic resource] : 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings / edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones.

by Bloomfield, Robin E [editor.] | Marshall, Lynn S [editor.] | Jones, Roger B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 328Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

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