Your search returned 8979 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Ubiquitous Intelligence and Computing [electronic resource] : Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Jianhua Ma, Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai.

by Ma, Jianhua [editor.] | Jin, Hai [editor.] | Yang, Laurence T [editor.] | Tsai, Jeffrey J.-P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4159Source: 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
Software Engineering and Middleware [electronic resource] : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20–21, 2002 Revised Papers / edited by Alberto Coen-Porisini, André Hoek.

by Coen-Porisini, Alberto [editor.] | Hoek, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2596Source: 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
Abstract Software Specifications [electronic resource] : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings / edited by Dines Bjøorner.

by Bjøorner, Dines [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 86Source: 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
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
Optimization Techniques Modeling and Optimization in the Service of Man Part 1 [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 ; 40Source: 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
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
Complementary Definitions of Programming Language Semantics [electronic resource] / by James E. Donahue.

by Donahue, James E [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 42Source: 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 Foundations of Computer Science 1976 [electronic resource] : Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976 / edited by Antoni Mazurkiewicz.

by Mazurkiewicz, Antoni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 45Source: 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 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
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / edited by K. Samelson.

by Samelson, K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 44Source: 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
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
A Calculus of Communicating Systems [electronic resource] / edited by Robin Milner.

by Milner, Robin [editor.] | SpringerLink (Online service).

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