Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere.

by Cuellar, Jorge [editor.] | Maibaum, Tom [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5014Source: 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
E-BOOKS
Middleware 2006 [electronic resource] : ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings / edited by Maarten Steen, Michi Henning.

by Steen, Maarten [editor.] | Henning, Michi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4290Source: 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
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro.

by Lea, Doug [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5052Source: 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
E-BOOKS
Advances in Image and Video Technology [electronic resource] : First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006. Proceedings / edited by Long-Wen Chang, Wen-Nung Lie.

by Chang, Long-Wen [editor.] | Lie, Wen-Nung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4319Source: 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, Graphics and Image Processing [electronic resource] : 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings / edited by Prem K. Kalra, Shmuel Peleg.

by Kalra, Prem K [editor.] | Peleg, Shmuel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4338Source: 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
Types in Compilation [electronic resource] : Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings / edited by Xavier Leroy, Atsushi Ohori.

by Leroy, Xavier [editor.] | Ohori, Atsushi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1473Source: 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
Advances in Databases and Information Systems [electronic resource] : Second East European Symposium, ADBIS’98 Poznań, Poland, September 7–10, 1998 Proceedings / edited by Witold Litwin, Tadeusz Morzy, Gottfried Vossen.

by Litwin, Witold [editor.] | Morzy, Tadeusz [editor.] | Vossen, Gottfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1475Source: 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
Online Algorithms [electronic resource] : The State of the Art / edited by Amos Fiat, Gerhard J. Woeginger.

by Fiat, Amos [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1442Source: 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
Cooperative Information Agents [electronic resource] : First International Workshop, CIA'97 Kiel, Germany, February 26–28, 1997 Proceedings / edited by Peter Kandzia, Matthias Klusch.

by Kandzia, Peter [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1202Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 and Complexity [electronic resource] : Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings / edited by Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Battista.

by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1203Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Numerical Analysis and Its Applications [electronic resource] : First International Workshop, WNAA'96 Rousse, Bulgaria, June 24–26, 1996 Proceedings / edited by Lubin Vulkov, Jerzy Waśniewski, Plamen Yalamov.

by Vulkov, Lubin [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1196Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings / edited by Hanspeter Mössenböck.

by Mössenböck, Hanspeter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1204Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings / edited by Oded Maler.

by Maler, Oded [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1201Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Parallel Symbolic Languages and Systems [electronic resource] : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings / edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec.

by Ito, Takayasu [editor.] | Halstead, Robert H [editor.] | Queinnec, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1068Source: 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
Hybrid Systems III [electronic resource] : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.

by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | Sontag, Eduardo D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1066Source: 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
Distributed Software Agents and Applications [electronic resource] : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings / edited by John W. Perram, Jean-Pierre Müller.

by Perram, John W [editor.] | Müller, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069Source: 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
Advances in Cryptology — EUROCRYPT ’96 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12–16, 1996 Proceedings / edited by Ueli Maurer.

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

Series: Lecture Notes in Computer Science ; 1070Source: 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
Evolution of Parallel Cellular Machines [electronic resource] : The Cellular Programming Approach / edited by Moshe Sipper.

by Sipper, Moshe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1194Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
STACS 97 [electronic resource] : 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings / edited by Rüdiger Reischuk, Michel Morvan.

by Reischuk, Rüdiger [editor.] | Morvan, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1200Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 Stream Cipher Designs [electronic resource] : The eSTREAM Finalists / edited by Matthew Robshaw, Olivier Billet.

by Robshaw, Matthew [editor.] | Billet, Olivier [editor.] | SpringerLink (Online service).

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