Your search returned 18639 results.

Not what you expected? Check for suggestions
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
Advances in Databases and Information Systems [electronic resource] : 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006. Proceedings / edited by Yannis Manolopoulos, Jaroslav Pokorný, Timos K. Sellis.

by Manolopoulos, Yannis [editor.] | Pokorný, Jaroslav [editor.] | Sellis, Timos K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4152Source: 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
5th Conference on Optimization Techniques Part I [electronic resource] / edited by R. Conti, A. Ruberti.

by Conti, R [editor.] | Ruberti, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3Source: 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
5th Conference on Optimization Techniques Part II [electronic resource] / edited by R. Conti, A. Ruberti.

by Conti, R [editor.] | Ruberti, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4Source: 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
Exercises in Computer Systems Analysis [electronic resource] / by W. Everling.

by Everling, W [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 35Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975 [electronic resource] / edited by H. Brakhage.

by Brakhage, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 33Source: 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
Theory of Program Structures: Schemes, Semantics, Verification [electronic resource] / edited by Sheila A. Greibach.

by Greibach, Sheila A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 36Source: 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
λ-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
Artificial Neural Networks in Pattern Recognition [electronic resource] : Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006. Proceedings / edited by Friedhelm Schwenker, Simone Marinai.

by Schwenker, Friedhelm [editor.] | Marinai, Simone [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4087Source: 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
Language Hierarchies and Interfaces [electronic resource] : International Summer School / edited by Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Klaus Samelson.

by Bauer, Friedrich L [editor.] | Dijkstra, E. W [editor.] | Ershov, A [editor.] | Griffiths, M [editor.] | Hoare, C. A. R [editor.] | Wulf, W. A [editor.] | Samelson, Klaus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 46Source: 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
Matrix Eigensystem Routines — EISPACK Guide [electronic resource] / by Brian T. Smith, J. M. Boyle, B. S. Garbow, Y. Ikebe, V. C. Klema, C. B. Moler.

by Smith, Brian T [author.] | Boyle, J. M [author.] | Garbow, B. S [author.] | Ikebe, Y [author.] | Klema, V. C [author.] | Moler, C. B [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
International Symposium on Theoretical Programming [electronic resource] / edited by Andrei Ershov, Valery A. Nepomniaschy.

by Ershov, Andrei [editor.] | Nepomniaschy, Valery A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5Source: 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
Matrix Eigensystem Routines — EISPACK Guide [electronic resource] / by B. T. Smith, J. M. Boyle, J. J. Dongarra, B. S. Garbow, Y. Ikebe, V. C. Klema, C. B. Moler.

by Smith, B. T [author.] | Boyle, J. M [author.] | Dongarra, J. J [author.] | Garbow, B. S [author.] | Ikebe, Y [author.] | Klema, V. C [author.] | Moler, C. B [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6Source: 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
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings / edited by Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick.

by Díaz, Josep [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Zwick, Uri [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4110Source: 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 Informatics [electronic resource] : 8th Panhellenic Conference on Informatics, PCI 2001 Nicosia, Cyprus, November 8–10, 2001 Revised Selected Papers / edited by Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas.

by Manolopoulos, Yannis [editor.] | Evripidou, Skevos [editor.] | Kakas, Antonis C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2563Source: 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
Security and Cryptography for Networks [electronic resource] : 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings / edited by Roberto Prisco, Moti Yung.

by Prisco, Roberto [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4116Source: 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
An Optimized Translation Process and Its Application to ALGOL 68 [electronic resource] / by Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Vanbegin.

by Branquart, Paul [author.] | Cardinael, Jean-Pierre [author.] | Lewi, Johan [author.] | Delescaille, Jean-Paul [author.] | Vanbegin, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 38Source: 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
Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings / edited by Andrés Iglesias, Nobuki Takayama.

by Iglesias, Andrés [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service).

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

Powered by Koha