Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock.

by Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3167Source: 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
Financial Cryptography and Data Security [electronic resource] : 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers / edited by Giovanni Crescenzo, Avi Rubin.

by Crescenzo, Giovanni [editor.] | Rubin, Avi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4107Source: 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
Computer Vision Approaches to Medical Image Analysis [electronic resource] : Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers / edited by Reinhard R. Beichel, Milan Sonka.

by Beichel, Reinhard R [editor.] | Sonka, Milan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4241Source: 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
Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings / edited by Frédéric Benhamou.

by Benhamou, Frédéric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4204Source: 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
Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings / edited by Hee Yong Youn, Minkoo Kim, Hiroyuki Morikawa.

by Youn, Hee Yong [editor.] | Kim, Minkoo [editor.] | Morikawa, Hiroyuki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4239Source: 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 Information Systems [electronic resource] : 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20,2006. Proceedings / edited by Tatyana Yakhno, Erich J. Neuhold.

by Yakhno, Tatyana [editor.] | Neuhold, Erich J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4243Source: 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 Cryptology — AUSCRYPT '90 [electronic resource] : International Conference on Cryptology Sydney, Australia, January 8–11, 1990 Proceedings / edited by Jennifer Seberry, Josef Pieprzyk.

by Seberry, Jennifer [editor.] | Pieprzyk, Josef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 453Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: Proceedings.Online 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
Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings / edited by Pierre Deransart, Jan Maluszyński.

by Deransart, Pierre [editor.] | Maluszyński, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 456Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Provenance and Annotation of Data [electronic resource] : International Provenance and Annotation Workshop, IPAW 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected Papers / edited by Luc Moreau, Ian Foster.

by Moreau, Luc [editor.] | Foster, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4145Source: 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
Interactive Technologies and Sociotechnical Systems [electronic resource] : 12th International Conference, VSMM 2006, Xi’an, China, October 18-20, 2006. Proceedings / edited by Hongbin Zha, Zhigeng Pan, Hal Thwaites, Alonzo C. Addison, Maurizio Forte.

by Zha, Hongbin [editor.] | Pan, Zhigeng [editor.] | Thwaites, Hal [editor.] | Addison, Alonzo C [editor.] | Forte, Maurizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4270Source: 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
Machine Learning — EWSL-91 [electronic resource] : European Working Session on Learning Porto, Portugal, March 6–8, 1991 Proceedings / edited by Yves Kodratoff.

by Kodratoff, Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 482Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Graph-Theoretic Concepts in Computer Science [electronic resource] : 16th International Workshop WG '90 Berlin, Germany, June 20–22, 1990 Proceedings / edited by Rolf H. Möhring.

by Möhring, Rolf H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 484Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.Online 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / edited by Kesav V. Nori, C. E. Veni Madhavan.

by Nori, Kesav V [editor.] | Veni Madhavan, C. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 472Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Combinatorics on Traces [electronic resource] / by Volker Diekert.

by Diekert, Volker [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 454Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Journal on Data Semantics VII [electronic resource] / edited by Stefano Spaccapietra.

by Spaccapietra, Stefano [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4244Source: 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 Mining and Web Usage Analysis [electronic resource] : 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers / edited by Olfa Nasraoui, Osmar Zaïane, Myra Spiliopoulou, Bamshad Mobasher, Brij Masand, Philip S. Yu.

by Nasraoui, Olfa [editor.] | Zaïane, Osmar [editor.] | Spiliopoulou, Myra [editor.] | Mobasher, Bamshad [editor.] | Masand, Brij [editor.] | Yu, Philip S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4198Source: 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
Algebraic Methods II: Theory, Tools and Applications [electronic resource] / edited by J. A. Bergstra, L. M. G. Feijs.

by Bergstra, J. A [editor.] | Feijs, L. M. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 490Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Managing Knowledge in a World of Networks [electronic resource] : 15th International Conference, EKAW 2006, Poděbrady, Czech Republic, October 2-6, 2006. Proceedings / edited by Steffen Staab, Vojtěch Svátek.

by Staab, Steffen [editor.] | Svátek, Vojtěch [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4248Source: 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 Petri Nets 1990 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 483Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings / edited by Ronald V. Book.

by Book, Ronald V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 488Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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