Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Semantics of Concurrent Computation [electronic resource] : Proceedings of the International Symposium, Evian, France, July 2–4, 1979 / edited by Gilles Kahn.

by Kahn, Gilles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 70Source: 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
Automata, Languages and Programming [electronic resource] : Sixth Colloquium, Graz, Austria, July 16–20, 1979 / edited by Hermann A. Maurer.

by Maurer, Hermann A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 71Source: 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
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda.

by Boissier, Olivier [editor.] | Padget, Julian [editor.] | Dignum, Virginia [editor.] | Lindemann, Gabriela [editor.] | Matson, Eric [editor.] | Ossowski, Sascha [editor.] | Sichman, Jaime Simão [editor.] | Vázquez-Salceda, Javier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3913Source: 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 Web-Age Information Management [electronic resource] : 7th International Conference, WAIM 2006, Hong Kong, China, June 17-19, 2006. Proceedings / edited by Jeffrey Xu Yu, Masaru Kitsuregawa, Hong Va Leong.

by Yu, Jeffrey Xu [editor.] | Kitsuregawa, Masaru [editor.] | Leong, Hong Va [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4016Source: 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
Distributed Computing in Sensor Systems [electronic resource] : Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings / edited by Phillip B. Gibbons, Tarek Abdelzaher, James Aspnes, Ramesh Rao.

by Gibbons, Phillip B [editor.] | Abdelzaher, Tarek [editor.] | Aspnes, James [editor.] | Rao, Ramesh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4026Source: 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
Learning Theory [electronic resource] : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings / edited by Gábor Lugosi, Hans Ulrich Simon.

by Lugosi, Gábor [editor.] | Simon, Hans Ulrich [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4005Source: 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
Program Construction [electronic resource] : International Summer School / edited by Friedrich L. Bauer, Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.

by Bauer, Friedrich L [editor.] | Broy, Manfred [editor.] | Dijkstra, E. W [editor.] | Gerhart, S. L [editor.] | Gries, D [editor.] | Griffiths, M [editor.] | Guttag, J. V [editor.] | Horning, J. J [editor.] | Owicki, S. S [editor.] | Pair, C [editor.] | Partsch, H [editor.] | Pepper, P [editor.] | Wirsing, M [editor.] | Wössner, H [editor.] | SpringerLink (Online service).

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

Powered by Koha