Your search returned 8978 results.

Not what you expected? Check for suggestions
BOOKS
FST TCS 1993: Foundations of Software Technology and Theoretical Computer Science 13th Conference Bombay, India, December 15–17, 1993 Proceedings

by Rudrapatna K. Shyamasundar (Ed.) | Goos, Gerhard | Hartmanis, Juris.

Series: Lecture Notes in Computer Science ; 761Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer- Verlag 1993Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Manindra Agrawal | Agrawal, Manindra | Seth, Anil.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

BOOKS
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund.

by Ramesh Hariharan | Hariharan, Ramesh | Vinay, V | Mukund, Madhavan.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.

BOOKS
Algorithms and computation : ISAAC 2008 19th international symposium, Gold Coast, Australia, December 15-17, 2008. proceedings / [edited by] Hiroshi Nagamochi, Takuro Fukunaga.

by Seok-Hee Hong | Hong, Seok-Hee | Nagamochi, Hiroshi | Fukunaga, Takuro.

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

BOOKS
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner.

by Anna Frid | Frid, Anna | Morozov, Andrey | Rybalchenko, Andrey | Wagner, Klaus W.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: 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.

BOOKS
Security Aspects in Information Technology First International Conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011. Proceedings edited by ,Debdeep Mukhopadhyay, Michael Tunstall.

by Marc Joye | Joye, Marc | Mukhopadhyay, Debdeep | Tunstall, Michael.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: 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.

BOOKS
Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings / [edited by]Manindra Agrawal, Angsheng Li.

by Gopal, T. V.

Series: Lecture notes in computer science ; 8402Edition: 1st edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Switzerland Springer 2014Online access: Click here to access online Availability: 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.

BOOKS
Algorithmic learning theory : 7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Arun K. Sharma (eds.)

by Setsuo Arikawa | Arikawa, S | Sharma, Arun K.

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

E-BOOKS
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 8987 | Lecture Notes in Computer Science ; 8987Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers / edited by Ion Bica, Reza Reyhanitabar.

by Bica, Ion [editor.] | Reyhanitabar, Reza [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10006 | Lecture Notes in Computer Science ; 10006Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Data and Applications Security and Privacy XXIX [electronic resource] : 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings / edited by Pierangela Samarati.

by Samarati, Pierangela [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9149 | Lecture Notes in Computer Science ; 9149Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algorithms and Computation [electronic resource] : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings / edited by Khaled Elbassioni, Kazuhisa Makino.

by Elbassioni, Khaled [editor.] | Makino, Kazuhisa [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9472 | Lecture Notes in Computer Science ; 9472Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Social, Cultural, and Behavioral Modeling [electronic resource] : 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings / edited by Kevin S. Xu, David Reitter, Dongwon Lee, Nathaniel Osgood.

by Xu, Kevin S [editor.] | Reitter, David [editor.] | Lee, Dongwon [editor.] | Osgood, Nathaniel [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9708 | Lecture Notes in Computer Science ; 9708Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Advances in Information and Computer Security [electronic resource] : 11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings / edited by Kazuto Ogawa, Katsunari Yoshioka.

by Ogawa, Kazuto [editor.] | Yoshioka, Katsunari [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9836 | Lecture Notes in Computer Science ; 9836Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Security Standardisation Research [electronic resource] : Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings / edited by Lidong Chen, David McGrew, Chris Mitchell.

by Chen, Lidong [editor.] | McGrew, David [editor.] | Mitchell, Chris [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10074 | Lecture Notes in Computer Science ; 10074Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Principles of Security and Trust [electronic resource] : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Frank Piessens, Luca Viganò.

by Piessens, Frank [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9635 | Lecture Notes in Computer Science ; 9635Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Michał Skrzypczak.

by Skrzypczak, Michał [author.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9802 | Lecture Notes in Computer Science ; 9802Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I / edited by Maxime Descoteaux, Lena Maier-Hein, Alfred Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne.

by Descoteaux, Maxime [editor.] | Maier-Hein, Lena [editor.] | Franz, Alfred [editor.] | Jannin, Pierre [editor.] | Collins, D. Louis [editor.] | Duchesne, Simon [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10433 | Lecture Notes in Computer Science ; 10433Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Patch-Based Techniques in Medical Imaging [electronic resource] : Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings / edited by Guorong Wu, Brent C. Munsell, Yiqiang Zhan, Wenjia Bai, Gerard Sanroma, Pierrick Coupé.

by Wu, Guorong [editor.] | Munsell, Brent C [editor.] | Zhan, Yiqiang [editor.] | Bai, Wenjia [editor.] | Sanroma, Gerard [editor.] | Coupé, Pierrick [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10530 | Lecture Notes in Computer Science ; 10530Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III / edited by Yu-Jin Zhang.

by Zhang, Yu-Jin [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9219 | Lecture Notes in Computer Science ; 9219Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha