Your search returned 1709 results.

Not what you expected? Check for suggestions
E-BOOKS
Geometric Modeling and Processing - GMP 2006 [electronic resource] : 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings / edited by Myung-Soo Kim, Kenji Shimada.

by Kim, Myung-Soo [editor.] | Shimada, Kenji [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4077Source: 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
Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar.

by Furbach, Ulrich [editor.] | Shankar, Natarajan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4130Source: 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
Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes.

by Biere, Armin [editor.] | Gomes, Carla P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4121Source: 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
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen.

by Ibarra, Oscar H [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4094Source: 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
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.

by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4085Source: 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
Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II / edited by De-Shuang Huang, Kang Li, George William Irwin.

by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4114Source: 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 Natural Language Processing [electronic resource] : 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings / edited by Tapio Salakoski, Filip Ginter, Sampo Pyysalo, Tapio Pahikkala.

by Salakoski, Tapio [editor.] | Ginter, Filip [editor.] | Pyysalo, Sampo [editor.] | Pahikkala, Tapio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4139Source: 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 Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones.

by Ball, Thomas [editor.] | Jones, Robert B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4144Source: 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
Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings / edited by Kwangkeun Yi.

by Yi, Kwangkeun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4134Source: 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
L Systems [electronic resource] / edited by Grzegorz Rozenberg, Arto Salomaa.

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

Series: Lecture Notes in Computer Science ; 15Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Online 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
GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen [electronic resource] : Bonn, 9.–12. Juli 1973.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973Online 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
Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings / edited by Renate A. Schmidt.

by Schmidt, Renate A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4136Source: 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
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase.

by Kohlhase, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4180Source: 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
Reasoning, Action and Interaction in AI Theories and Systems [electronic resource] : Essays Dedicated to Luigia Carlucci Aiello / edited by Oliviero Stock, Marco Schaerf.

by Stock, Oliviero [editor.] | Schaerf, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4155Source: 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
λ-Calculus and Computer Science Theory [electronic resource] : Proceedings of the Symposium Held in Rome March 25–27, 1975 / edited by C. Böhm.

by Böhm, C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 37Source: 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
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [electronic resource] / edited by Wolfgang Bibel, Robert Kowalski.

by Bibel, Wolfgang [editor.] | Kowalski, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 87Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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 1980 [electronic resource] : Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980 / edited by P. Dembiński.

by Dembiński, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 88Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Using Sophisticated Models in Resolution Theorem Proving [electronic resource] / edited by David M. Sandford.

by Sandford, David M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 90Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Grammar and L forms: An introduction [electronic resource] / edited by Derick Wood.

by Wood, Derick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 91Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Context-free grammars: Covers, normal forms, and parsing [electronic resource] / edited by Anton Nijholt.

by Nijholt, Anton [editor.] | SpringerLink (Online service).

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