Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / edited by Michel Bidoit, Peter D. Mosses.

by Bidoit, Michel [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Discrete and Computational Geometry [electronic resource] : Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002. Revised Papers / edited by Jin Akiyama, Mikio Kano.

by Akiyama, Jin [editor.] | Kano, Mikio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Databases in Networked Information Systems [electronic resource] : International Workshop DNIS 2000 Aizu, Japan, December 4–6, 2000 Proceedings / edited by Subhash Bhalla.

by Bhalla, Subhash [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Approximation Algorithms for Combinatorial Optimization [electronic resource] : Third International Workshop, APPROX 2000 Saarbrücken, Germany, September 5–8, 2000 Proceedings / edited by Klaus Jansen, Samir Khuller.

by Jansen, Klaus [editor.] | Khuller, Samir [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Discrete Geometry for Computer Imagery [electronic resource] : 9th InternationalConference,DGCI 2000 Uppsala,Sweden,December 13–15,2000 Proceedings / edited by Gunilla Borgefors, Ingela Nyström, Gabriella Sanniti Baja.

by Borgefors, Gunilla [editor.] | Nyström, Ingela [editor.] | Baja, Gabriella Sanniti [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Grid Computing — GRID 2000 [electronic resource] : First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings / edited by Rajkumar Buyya, Mark Baker.

by Buyya, Rajkumar [editor.] | Baker, Mark [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — ASIACRYPT 2000 [electronic resource] : 6th International Conference on the Theory and Application of Cryptology and Information Security Kyoto, Japan, December 3–7, 2000 Proceedings / edited by Tatsuaki Okamoto.

by Okamoto, Tatsuaki [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings / edited by Sanjiv Kapoor, Sanjiva Prasad.

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security [electronic resource] : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Josef Pieprzyk, Jennifer Seberry, Eiji Okamoto.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Pieprzyk, Josef [editor.] | Seberry, Jennifer [editor.] | Okamoto, Eiji [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Services Management in Intelligent Networks [electronic resource] : 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4–6, 2000 Proceedings / edited by Anthony Ambler, Seraphin B. Calo, Gautam Kar.

by Ambler, Anthony [editor.] | Calo, Seraphin B [editor.] | Kar, Gautam [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Electronic Commerce and Web Technologies [electronic resource] : First International Conference, EC-Web 2000 London, UK, September 4–6, 2000 Proceedings / edited by Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul.

by Bauknecht, Kurt [editor.] | Madria, Sanjay Kumar [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Data Warehousing and Knowledge Discovery [electronic resource] : Second International Conference, DaWaK 2000 London, UK, September 4–6, 2000 Proceedings / edited by Yahiko Kambayashi, Mukesh Mohania, A. Min Tjoa.

by Kambayashi, Yahiko [editor.] | Mohania, Mukesh [editor.] | Tjoa, A. Min [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
High Performance Computing — HiPC 2000 [electronic resource] : 7th International Conference Bangalore, India, December 17–20, 2000 Proceedings / edited by Mateo Valero, Viktor K. Prasanna, Sriram Vajapeyam.

by Valero, Mateo [editor.] | Prasanna, Viktor K [editor.] | Vajapeyam, Sriram [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha