Your search returned 1061 results.

Not what you expected? Check for suggestions
E-BOOKS
Multi-Agent Systems and Applications III [electronic resource] : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16–18, 2003 Proceedings / edited by Vladimír Mařík, Michal Pěchouček, Jörg Müller.

by Mařík, Vladimír [editor.] | Pěchouček, Michal [editor.] | Müller, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2691Source: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4202Source: 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 2001 Workshop Post-Proceedings / edited by Takao Terano, Yukio Ohsawa, Toyoaki Nishida, Akira Namatame, Syusaku Tsumoto, Takashi Washio.

by Terano, Takao [editor.] | Ohsawa, Yukio [editor.] | Nishida, Toyoaki [editor.] | Namatame, Akira [editor.] | Tsumoto, Syusaku [editor.] | Washio, Takashi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2253Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Computing and Combinatorics [electronic resource] : 8th Annual International Conference, COCOON 2002 Singapore, August 15–17, 2002 Proceedings / edited by Oscar H. Ibarra, Louxin Zhang.

by Ibarra, Oscar H [editor.] | Zhang, Louxin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2387Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen.

by Brinksma, Ed [editor.] | Larsen, Kim Guldstrand [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2404Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 with Support Vector Machines [electronic resource] : First International Workshop, SVM 2002 Niagara Falls, Canada, August 10, 2002 Proceedings / edited by Seong-Whan Lee, Alessandro Verri.

by Lee, Seong-Whan [editor.] | Verri, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2388Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Algorithms in Bioinformatics [electronic resource] : Second International Workshop, WABI 2002 Rome, Italy, September 17–21, 2002 Proceedings / edited by Roderic Guigó, Dan Gusfield.

by Guigó, Roderic [editor.] | Gusfield, Dan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2452Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings / edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther.

by Barstow, D [editor.] | Brauer, W [editor.] | Brinch Hansen, P [editor.] | Gries, D [editor.] | Luckham, D [editor.] | Moler, C [editor.] | Pnueli, A [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | Günther, Christoph G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 330Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 — EUROCRYPT ’91 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings / edited by Donald W. Davies.

by Davies, Donald W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 547Source: 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
Advances in Computing and Information — ICCI '90 [electronic resource] : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings / edited by S. G. Akl, F. Fiala, W. W. Koczkodaj.

by Akl, S. G [editor.] | Fiala, F [editor.] | Koczkodaj, W. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 468Source: 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
Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram.

by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4215Source: 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
Mathematical Foundations of Computer Science 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M [editor.] | Sokołowski, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 711Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 — ECCV 2002 [electronic resource] : 7th European Conference on Computer Vision Copenhagen, Denmark, May 28–31, 2002 Proceedings, Part IV / edited by Anders Heyden, Gunnar Sparr, Mads Nielsen, Peter Johansen.

by Heyden, Anders [editor.] | Sparr, Gunnar [editor.] | Nielsen, Mads [editor.] | Johansen, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2353Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online 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
ESEC '87 [electronic resource] : 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings / edited by Howard Nichols, Dan Simpson.

by Nichols, Howard [editor.] | Simpson, Dan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 289Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Software Engineering — ESEC/FSE ’99 [electronic resource] : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6–10, 1999 Proceedings / edited by Oscar Nierstrasz, Michel Lemoine.

by Nierstrasz, Oscar [editor.] | Lemoine, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1687Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Advanced Information Systems Engineering [electronic resource] : 6th International Conference, CAiSE'94 Utrecht, The Netherlands, June 6–10, 1994 Proceedings / edited by Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman.

by Wijers, Gerard [editor.] | Brinkkemper, Sjaak [editor.] | Wasserman, Tony [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 811Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička.

by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 841Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Modelling and Motion Capture Techniques for Virtual Environments [electronic resource] : International Workshop, CAPTECH’98 Geneva, Switzerland, November 26–27, 1998 Proceedings / edited by Nadia Magnenat-Thalmann, Daniel Thalmann.

by Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1537Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1181Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Progress in Cryptology – AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings / edited by Serge Vaudenay.

by Vaudenay, Serge [editor.] | SpringerLink (Online service).

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