Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart.

by Dunne, Steve [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4010Source: 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
Codes for Boundary-Value Problems in Ordinary Differential Equations [electronic resource] : Proceedings of a Working Conference May 14–17, 1978 / edited by B. Childs, M. Scott, J. W. Daniel, E. Denman, P. Nelson.

by Childs, B [editor.] | Scott, M [editor.] | Daniel, J. W [editor.] | Denman, E [editor.] | Nelson, P [editor.] | SpringerLink (Online service).

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

E-BOOKS
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.

by Gorrieri, Roberto [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4037Source: 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
Advances in XML Information Retrieval and Evaluation [electronic resource] : 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005. Revised Selected Papers / edited by Norbert Fuhr, Mounia Lalmas, Saadia Malik, Gabriella Kazai.

by Fuhr, Norbert [editor.] | Lalmas, Mounia [editor.] | Malik, Saadia [editor.] | Kazai, Gabriella [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3977Source: 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
Mathematical Studies of Information Processing [electronic resource] : Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978 / edited by E. K. Blum, M. Paul, S. Takasu.

by Blum, E. K [editor.] | Paul, M [editor.] | Takasu, S [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Foundations of Computer Science 1979 [electronic resource] : Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979 / edited by Jiří Bečvář.

by Bečvář, Jiří [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graph-Grammars and Their Application to Computer Science and Biology [electronic resource] : International Workshop Bad Honnef, October 30 – November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg.

by Claus, Volker [editor.] | Ehrig, Hartmut [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

E-BOOKS
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi.

by Abrahamsson, Pekka [editor.] | Marchesi, Michele [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4044Source: 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
Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Frank Eliassen, Alberto Montresor.

by Eliassen, Frank [editor.] | Montresor, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4025Source: 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
Symbolic and Algebraic Computation [electronic resource] : EUROSM '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / edited by Edward W. Ng.

by Ng, Edward W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Public Key Infrastructure [electronic resource] : Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedings / edited by Andrea S. Atzeni, Antonio Lioy.

by Atzeni, Andrea S [editor.] | Lioy, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4043Source: 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
Combinatorial Image Analysis [electronic resource] : 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings / edited by Ralf Reulke, Ulrich Eckardt, Boris Flach, Uwe Knauer, Konrad Polthier.

by Reulke, Ralf [editor.] | Eckardt, Ulrich [editor.] | Flach, Boris [editor.] | Knauer, Uwe [editor.] | Polthier, Konrad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4040Source: 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
Algorithmic Aspects in Information and Management [electronic resource] : Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings / edited by Siu-Wing Cheng, Chung Keung Poon.

by Cheng, Siu-Wing [editor.] | Poon, Chung Keung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4041Source: 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
Intelligent Tutoring Systems [electronic resource] : 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006. Proceedings / edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.

by Ikeda, Mitsuru [editor.] | Ashley, Kevin D [editor.] | Chan, Tak-Wai [editor.] | SpringerLink (Online service).

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

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): .

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): .

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): .

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): .

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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha