Your search returned 187 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn.

by Liu, Zhiming [editor.] | Ravn, Anders P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5799Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 2009. Information Security and Privacy [electronic resource] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings / edited by Anupam Datta.

by Datta, Anupam [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5913Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Computation [electronic resource] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings / edited by Yingfei Dong, Ding-Zhu Du, Oscar Ibarra.

by Dong, Yingfei [editor.] | Du, Ding-Zhu [editor.] | Ibarra, Oscar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5878Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.

by Dams, Dennis [editor.] | Hannemann, Ulrich [editor.] | Steffen, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5930Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves.

by Frappier, Marc [editor.] | Glässer, Uwe [editor.] | Khurshid, Sarfraz [editor.] | Laleau, Régine [editor.] | Reeves, Steve [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5977Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade.

by Link, Sebastian [editor.] | Prade, Henri [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5956Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online 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 for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis.

by Puppis, Gabriele [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5955Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings / edited by Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide.

by Dediu, Adrian-Horia [editor.] | Fernau, Henning [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6031Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Science – Theory and Applications [electronic resource] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings / edited by Farid Ablayev, Ernst W. Mayr.

by Ablayev, Farid [editor.] | Mayr, Ernst W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6072Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Unconventional Computation [electronic resource] : 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis.

by Calude, Cristian S [editor.] | Hagiya, Masami [editor.] | Morita, Kenichi [editor.] | Rozenberg, Grzegorz [editor.] | Timmis, Jon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6079Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman.

by Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiří [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6108Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz.

by Dawar, Anuj [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6188Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Inductive Logic Programming [electronic resource] : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers / edited by Luc Raedt.

by Raedt, Luc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5989Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini.

by Fraser, Gordon [editor.] | Gargantini, Angelo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6143Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider.

by Strichman, Ofer [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6175Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu.

by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6224Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson.

by Yli-Jyrä, Anssi [editor.] | Kornai, András [editor.] | Sakarovitch, Jacques [editor.] | Watson, Bruce [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6062Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.

by Blass, Andreas [editor.] | Dershowitz, Nachum [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6300Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hliněný, Antonín Kučera.

by Hliněný, Petr [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6281Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.

by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

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