Your search returned 3421 results.

Not what you expected? Check for suggestions
E-BOOKS
The Logic System of Concept Graphs with Negation [electronic resource] : And Its Relationship to Predicate Logic / by Frithjof Dau.

by Dau, Frithjof [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2892Source: 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
Advances in Multimodal Interfaces — ICMI 2000 [electronic resource] : Third International Conference Beijing, China, October 14–16, 2000 Proceedings / edited by Tieniu Tan, Yuanchun Shi, Wen Gao.

by Tan, Tieniu [editor.] | Shi, Yuanchun [editor.] | Gao, Wen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1948Source: 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
Formal Methods in Computer-Aided Design [electronic resource] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson.

by Hunt, Warren A [editor.] | Johnson, Steven D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1954Source: 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 Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings / edited by Jérôme Euzenat, John Domingue.

by Euzenat, Jérôme [editor.] | Domingue, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4183Source: 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
Graphics Recognition Recent Advances [electronic resource] : Third International Workshop, GREC’ 99 Jaipur, India, September 26–27, 1999 Selected Papers / edited by Atul K. Chhabra, Dov Dori.

by Chhabra, Atul K [editor.] | Dori, Dov [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1941Source: 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
Algorithmic Learning Theory [electronic resource] : 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings / edited by Hiroki Arimura, Sanjay Jain, Arun Sharma.

by Arimura, Hiroki [editor.] | Jain, Sanjay [editor.] | Sharma, Arun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1968Source: 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
Developing Industrial Case-Based Reasoning Applications [electronic resource] : The INRECA Methodology / by Ralph Bergmann, Klaus-Dieter Althoff, Sean Breen, Mehmet Göker, Michel Manago, Ralph Traphöner, Stefan Wess.

by Bergmann, Ralph [author.] | Althoff, Klaus-Dieter [author.] | Breen, Sean [author.] | Göker, Mehmet [author.] | Manago, Michel [author.] | Traphöner, Ralph [author.] | Wess, Stefan [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1612Source: 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
Advances in Artificial Intelligence [electronic resource] : International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI IBERAMIA-SBIA 2000 Atibaia, SP, Brazil, November 19–22, 2000 Proceedings / edited by Maria Carolina Monard, Jaime Simão Sichman.

by Monard, Maria Carolina [editor.] | Sichman, Jaime Simão [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1952Source: 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 for Programming and Automated Reasoning [electronic resource] : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings / edited by Michel Parigot, Andrei Voronkov.

by Parigot, Michel [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 1955Source: 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
SOFSEM 2000: Theory and Practice of Informatics [electronic resource] : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings / edited by Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann.

by Hlaváč, Václav [editor.] | Jeffery, Keith G [editor.] | Wiedermann, Jiří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1963Source: 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
Pattern Recognition [electronic resource] : 28th DAGM Symposium, Berlin, Germany, September 12-14, 2006. Proceedings / edited by Katrin Franke, Klaus-Robert Müller, Bertram Nickolay, Ralf Schäfer.

by Franke, Katrin [editor.] | Müller, Klaus-Robert [editor.] | Nickolay, Bertram [editor.] | Schäfer, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4174Source: 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
Discovery Science [electronic resource] : Third International Conference, DS 2000 Kyoto, Japan, December 4–6, 2000 Proceedings / edited by Setsuo Arikawa, Shinichi Morishita.

by Arikawa, Setsuo [editor.] | Morishita, Shinichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1967Source: 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
Advances in Computing Science — ASIAN 2000 [electronic resource] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings / edited by He Jifeng, Masahiko Sato.

by Jifeng, He [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1961Source: 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
Database and Expert Systems Applications [electronic resource] : 11th International Conference, DEXA 2000 London, UK, September 4–8, 2000 Proceedings / edited by Mohamed Ibrahim, Josef Küng, Norman Revell.

by Ibrahim, Mohamed [editor.] | Küng, Josef [editor.] | Revell, Norman [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1873Source: 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
Learning Software Organizations [electronic resource] : Methodology and Applications. 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99 Kaiserslautern, Germany, June 16–19, 1999 Proceedings / edited by Günther Ruhe, Frank Bomarius.

by Ruhe, Günther [editor.] | Bomarius, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1756Source: 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
Intelligent Data Engineering and Automated Learning — IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents [electronic resource] : Second International Conference Shatin, N.T., Hong Kong, China, December 13–15, 2000 Proceedings / edited by Kwong Sak Leung, Lai-Wan Chan, Helen Meng.

by Leung, Kwong Sak [editor.] | Chan, Lai-Wan [editor.] | Meng, Helen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1983Source: 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
Database Support for Data Mining Applications [electronic resource] : Discovering Knowledge with Inductive Queries / edited by Rosa Meo, Pier Luca Lanzi, Mika Klemettinen.

by Meo, Rosa [editor.] | Lanzi, Pier Luca [editor.] | Klemettinen, Mika [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Pattern Recognition [electronic resource] : Joint IAPR International Workshops SSPR 2000 and SPR 2000 Alicante, Spain, August 30 – September 1, 2000 Proceedings / edited by Francesc J. Ferri, José M. Iñesta, Adnan Amin, Pavel Pudil.

by Ferri, Francesc J [editor.] | Iñesta, José M [editor.] | Amin, Adnan [editor.] | Pudil, Pavel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1876Source: 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
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
PRICAI 2000 Topics in Artificial Intelligence [electronic resource] : 6th Pacific Rim International Conference on Artificial Intelligence Melbourne, Australia, August 28 – September 1, 2000 Proceedings / edited by Riichiro Mizoguchi, John Slaney.

by Mizoguchi, Riichiro [editor.] | Slaney, John [editor.] | SpringerLink (Online service).

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