Your search returned 8988 results.

Not what you expected? Check for suggestions
E-BOOKS
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg.

by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | Leroy, Pascal [editor.] | Schonberg, Edmond [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8339Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8111Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8112Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Transactions on Computational Collective Intelligence XII [electronic resource] / edited by Ngoc Thanh Nguyen.

by Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8240Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Advanced Data Mining and Applications [electronic resource] : 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part I / edited by Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar Zaiane, Min Yao, Wei Wang.

by Motoda, Hiroshi [editor.] | Wu, Zhaohui [editor.] | Cao, Longbing [editor.] | Zaiane, Osmar [editor.] | Yao, Min [editor.] | Wang, Wei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8346Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Advanced Data Mining and Applications [electronic resource] : 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part II / edited by Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar Zaiane, Min Yao, Wei Wang.

by Motoda, Hiroshi [editor.] | Wu, Zhaohui [editor.] | Cao, Longbing [editor.] | Zaiane, Osmar [editor.] | Yao, Min [editor.] | Wang, Wei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8347Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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, Languages and Programming [electronic resource] : 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974 / edited by Jacques Loeckx.

by Loeckx, Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 14Source: 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
Compiler Construction [electronic resource] : An Advanced Course / by F. L. Bauer, F. L. Remer, M. Griffiths, U. Hill, J. J. Horning, C. H. A. Koster, W. M. McKeeman, P. C. Poole, W. M. Waite ; edited by F. L. Bauer, J. Eickel.

by Bauer, F. L [author.] | Remer, F. L [author.] | Griffiths, M [author.] | Hill, U [author.] | Horning, J. J [author.] | Koster, C. H. A [author.] | McKeeman, W. M [author.] | Poole, P. C [author.] | Waite, W. M [author.] | Bauer, F. L [editor.] | Eickel, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 21Source: 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
Rewriting Techniques and Applications [electronic resource] : 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings / edited by Claude Kirchner.

by Kirchner, Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993Online 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
PASCAL User Manual and Report [electronic resource] / by Kathleen Jensen, Niklaus Wirth.

by Jensen, Kathleen [author.] | Wirth, Niklaus [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 18Source: 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
Workflow Management Systems for Process Organisations [electronic resource] / by Thomas Schäl.

by Schäl, Thomas [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1096Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996Online 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
Parallel Computer Architectures [electronic resource] : Theory, Hardware, Software, Applications / edited by Arndt Bode, Mario Cin.

by Bode, Arndt [editor.] | Cin, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 732Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993Online 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
Parle ’91 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem.

by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

by Fomin, Fedor V. Kaski, Petteri Ed.

Series: Lecture Notes in Computer Science ; 07357Material type: Text Text Publication details: Berlin Springer 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Graph Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lubeck, Germany, June 2013. Revised Papers.

by Brandstadt, Andreas Jansen, Klaus Reischuk, Rudiger Eds.

Series: Lecture Notes in Computer Science ; 08165Edition: Advanced Research in computing and software scienceMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logic and Its Applications 7th Indian Conference, ICLA 2017 Kanpur, India, January 5-7, 2017

by Ghosh, Sujata | Prasad, Sanjiva Eds.

Series: Lecture Notes in Computer Science ; 10119Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Germany Springer 2017Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logic and Its Applications: 5th Indian Conference, ICKA 2013 Chennai, India, January 2013 Proceedings

by Kamal Lodaya Eds.

Series: Lecture notes in computer science ; 7750Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2013Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.
Lists:

Place hold Log in to add tags
BOOKS
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

by Sheng Yu, Paun Andrei Ed.

Series: Lecture notes in computer science | ; 2088Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York Springer 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logical foundations of Computer Science

by Artemov, Sergei | Nerode, Anil Eds.

Series: Lecture Notes in Computer Science ; 9537Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Springer 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Progress in cryptology - Indocrypt 2012 : 13th International conference on cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings / Ed. by Steven Galbraith and Mridul Nandi.

by Galbraith, Steven (Ed.) | Mridul Nandi.

Series: Lecture notes in computer science ; 7668Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: New York : Springer, 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha