Your search returned 18639 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Computer Aided Design Modelling, Systems Engineering, CAD-Systems [electronic resource] : CREST Advanced Course Darmstadt, 8.–19. September 1980 / edited by Jose Encarnacao.

by Encarnacao, Jose [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 89Source: 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
E-BOOKS
The Semantic Web – ASWC 2006 [electronic resource] : First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings / edited by Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia.

by Mizoguchi, Riichiro [editor.] | Shi, Zhongzhi [editor.] | Giunchiglia, Fausto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4185Source: 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
Semantics-Directed Compiler Generation [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, January 1980 / edited by Neil D. Jones.

by Jones, Neil D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 94Source: 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
Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel.

by Katsikas, Sokratis K [editor.] | López, Javier [editor.] | Backes, Michael [editor.] | Gritzalis, Stefanos [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4176Source: 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
CONCUR '91 [electronic resource] : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings / edited by Jos C. M. Baeten, Jan Frisco Groote.

by Baeten, Jos C. M [editor.] | Groote, Jan Frisco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 527Source: 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
Programming Language Implementation and Logic Programming [electronic resource] : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings / edited by Jan Maluszyński, Martin Wirsing.

by Maluszyński, Jan [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

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

Powered by Koha