Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
First-Order Dynamic Logic [electronic resource] / edited by David Harel.

by Harel, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 68Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online 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
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / edited by András Horváth, Miklós Telek.

by Horváth, András [editor.] | Telek, Miklós [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4054Source: 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
Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings / edited by Oscar H. Ibarra, Zhe Dang.

by Ibarra, Oscar H [editor.] | Dang, Zhe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4036Source: 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
RoboCup 2005: Robot Soccer World Cup IX [electronic resource] / edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi.

by Bredenfeld, Ansgar [editor.] | Jacoff, Adam [editor.] | Noda, Itsuki [editor.] | Takahashi, Yasutake [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4020Source: 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
Data Engineering Issues in E-Commerce and Services [electronic resource] : Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006. Proceedings / edited by Juhnyoung Lee, Junho Shim, Sang-goo Lee, Christoph Bussler, Simon Shim.

by Lee, Juhnyoung [editor.] | Shim, Junho [editor.] | Lee, Sang-goo [editor.] | Bussler, Christoph [editor.] | Shim, Simon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4055Source: 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 Applied Artificial Intelligence [electronic resource] : 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings / edited by Moonis Ali, Richard Dapoigny.

by Ali, Moonis [editor.] | Dapoigny, Richard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4031Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Performability Has its Price [electronic resource] : 5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006, St. Malo, France, June 27, 2006. Proceedings / edited by Burkhard Stiller, Peter Reichl, Bruno Tuffin.

by Stiller, Burkhard [editor.] | Reichl, Peter [editor.] | Tuffin, Bruno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4033Source: 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
Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings / edited by Lynn Margaret Batten, Reihaneh Safavi-Naini.

by Batten, Lynn Margaret [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4058Source: 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
Combinatorial Pattern Matching [electronic resource] : 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings / edited by Moshe Lewenstein, Gabriel Valiente.

by Lewenstein, Moshe [editor.] | Valiente, Gabriel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4009Source: 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
Algebra, Meaning, and Computation [electronic resource] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.

by Futatsugi, Kokichi [editor.] | Jouannaud, Jean-Pierre [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4060Source: 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
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker.

by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3988Source: 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
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki.

by Yli-Jyrä, Anssi [editor.] | Karttunen, Lauri [editor.] | Karhumäki, Juhani [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4002Source: 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
New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2005 Workshop Post-Proceedings / edited by Takashi Washio, Akito Sakurai, Katsuto Nakajima, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo.

by Washio, Takashi [editor.] | Sakurai, Akito [editor.] | Nakajima, Katsuto [editor.] | Takeda, Hideaki [editor.] | Tojo, Satoshi [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4012Source: 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
Next Generation Information Technologies and Systems [electronic resource] : 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings / edited by Opher Etzion, Tsvi Kuflik, Amihai Motro.

by Etzion, Opher [editor.] | Kuflik, Tsvi [editor.] | Motro, Amihai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4032Source: 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
Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings / edited by Paola Flocchini, Leszek Gąsieniec.

by Flocchini, Paola [editor.] | Gąsieniec, Leszek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4056Source: 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
Coding and Cryptography [electronic resource] : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005. Revised Selected Papers / edited by Øyvind Ytrehus.

by Ytrehus, Øyvind [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3969Source: 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
Theoretical Computer Science 4th GI Conference [electronic resource] : Aachen, March 26–28, 1979 / edited by K. Weihrauch.

by Weihrauch, K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 67Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online 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
Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda.

by Barker-Plummer, Dave [editor.] | Cox, Richard [editor.] | Swoboda, Nik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4045Source: 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
Digital Mammography [electronic resource] : 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006. Proceedings / edited by Susan M. Astley, Michael Brady, Chris Rose, Reyer Zwiggelaar.

by Astley, Susan M [editor.] | Brady, Michael [editor.] | Rose, Chris [editor.] | Zwiggelaar, Reyer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4046Source: 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
Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings / edited by Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau.

by Gorton, Ian [editor.] | Heineman, George T [editor.] | Crnković, Ivica [editor.] | Schmidt, Heinz W [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens [editor.] | Wallnau, Kurt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4063Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha