Your search returned 731 results.

Not what you expected? Check for suggestions
E-BOOKS
List Decoding of Error-Correcting Codes [electronic resource] : Winning Thesis of the 2002 ACM Doctoral Dissertation Competition / by Venkatesan Guruswami.

by Guruswami, Venkatesan [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3282Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 and Communications Security [electronic resource] : 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings / edited by Javier Lopez, Sihan Qing, Eiji Okamoto.

by Lopez, Javier [editor.] | Qing, Sihan [editor.] | Okamoto, Eiji [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3269Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu.

by Domaratzki, Michael [editor.] | Okhotin, Alexander [editor.] | Salomaa, Kai [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings / edited by Joanna Jȩdrzejowicz, Andrzej Szepietowski.

by Jȩdrzejowicz, Joanna [editor.] | Szepietowski, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3618Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 Computer Science – ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings / edited by Stéphane Grumbach, Liying Sui, Victor Vianu.

by Grumbach, Stéphane [editor.] | Sui, Liying [editor.] | Vianu, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3818Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet.

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Torenvliet, Leen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3526Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers / edited by Matthew Robshaw.

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

Series: Lecture Notes in Computer Science ; 4047Source: 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 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 [electronic resource] / edited by Jíří Bečvář.

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

Series: Lecture Notes in Computer Science ; 32Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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
Optimization Techniques Modeling and Optimization in the Service of Man Part 2 [electronic resource] : Proceedings, 7th IFIP Conference Nice, September 8–12, 1975 / edited by Jean Cea.

by Cea, Jean [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 41Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1976Online 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
Methods of Programming [electronic resource] : Selected Papers on the CIP-Project / edited by Manfred Broy, Martin Wirsing.

by Broy, Manfred [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 544Source: 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
Foundations of Computation Theory [electronic resource] : Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983 / edited by Marek Karpinski.

by Karpinski, Marek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 158Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
Logics of Programs [electronic resource] : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983 / edited by Edmund Clarke, Dexter Kozen.

by Clarke, Edmund [editor.] | Kozen, Dexter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 164Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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] : 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings / edited by Timo Lepistö, Arto Salomaa.

by Lepistö, Timo [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 317Source: 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 Computing Science — ASIAN 2000 [electronic resource] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings / edited by He Jifeng, Masahiko Sato.

by Jifeng, He [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1961Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Intelligent Agents: Specification, Modeling, and Applications [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings / edited by Soe -Tsyr Yuan, Makoto Yokoo.

by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2132Source: 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] : 7th Annual International Conference, COCOON 2001 Guilin, China, August 20–23, 2001 Proceedings / edited by Jie Wang.

by Wang, Jie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2108Source: 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
ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 967Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
CONPAR 86 [electronic resource] : Conference on Algorithms and Hardware for Parallel Processing Aachen, September 17–19, 1986 Proceedings / edited by Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange.

by Händler, Wolfgang [editor.] | Haupt, Dieter [editor.] | Jeltsch, Rolf [editor.] | Juling, Wilfried [editor.] | Lange, Otto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 237Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 Languages: Implementations, Logics and Programs [electronic resource] : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Manuel Hermenegildo, S. Doaitse Swierstra.

by Hermenegildo, Manuel [editor.] | Swierstra, S. Doaitse [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 982Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
CONCUR 2003 - Concurrency Theory [electronic resource] : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings / edited by Roberto Amadio, Denis Lugiez.

by Amadio, Roberto [editor.] | Lugiez, Denis [editor.] | SpringerLink (Online service).

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

Powered by Koha