Your search returned 10762 results.

Not what you expected? Check for suggestions
E-BOOKS
Security of Industrial Control Systems and Cyber Physical Systems [electronic resource] : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers / edited by Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis.

by Bécue, Adrien [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [editor.] | Katsikas, Sokratis [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9588 | Lecture Notes in Computer Science ; 9588Edition: 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
Intelligent Computer Mathematics [electronic resource] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge.

by Kerber, Manfred [editor.] | Carette, Jacques [editor.] | Kaliszyk, Cezary [editor.] | Rabe, Florian [editor.] | Sorge, Volker [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9150 | Lecture Notes in Computer Science ; 9150Edition: 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
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu.

by Arik, Sabri [editor.] | Huang, Tingwen [editor.] | Lai, Weng Kin [editor.] | Liu, Qingshan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9489 | Lecture Notes in Computer Science ; 9489Edition: 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
Intelligent Human Computer Interaction [electronic resource] : 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings / edited by Anupam Basu, Sukhendu Das, Patrick Horain, Samit Bhattacharya.

by Basu, Anupam [editor.] | Das, Sukhendu [editor.] | Horain, Patrick [editor.] | Bhattacharya, Samit [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10127 | Lecture Notes in Computer Science ; 10127Edition: 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
Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun.

by Klasing, Ralf [editor.] | Zeitoun, Marc [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10472 | Lecture Notes in Computer Science ; 10472Edition: 1st ed. 2017.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, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Vision - ACCV 2014 Workshops [electronic resource] : Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part I / edited by C.V. Jawahar, Shiguang Shan.

by Jawahar, C.V [editor.] | Shan, Shiguang [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9008 | Lecture Notes in Computer Science ; 9008Edition: 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
Distributed, Ambient and Pervasive Interactions [electronic resource] : 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings / edited by Norbert Streitz, Panos Markopoulos.

by Streitz, Norbert [editor.] | Markopoulos, Panos [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10291 | Lecture Notes in Computer Science ; 10291Edition: 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
Energy Informatics [electronic resource] : 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings / edited by Sebastian Gottwalt, Lukas König, Hartmut Schmeck.

by Gottwalt, Sebastian [editor.] | König, Lukas [editor.] | Schmeck, Hartmut [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9424 | Lecture Notes in Computer Science ; 9424Edition: 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
Similarity Search and Applications [electronic resource] : 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings / edited by Laurent Amsaleg, Michael E. Houle, Erich Schubert.

by Amsaleg, Laurent [editor.] | Houle, Michael E [editor.] | Schubert, Erich [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9939 | Lecture Notes in Computer Science ; 9939Edition: 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
Human-Computer Interaction. Interaction Contexts [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Masaaki Kurosu.

by Kurosu, Masaaki [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10272 | Lecture Notes in Computer Science ; 10272Edition: 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
Computer Network Security [electronic resource] : 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings / edited by Jacek Rak, John Bay, Igor Kotenko, Leonard Popyack, Victor Skormin, Krzysztof Szczypiorski.

by Rak, Jacek [editor.] | Bay, John [editor.] | Kotenko, Igor [editor.] | Popyack, Leonard [editor.] | Skormin, Victor [editor.] | Szczypiorski, Krzysztof [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 10446 | Lecture Notes in Computer Science ; 10446Edition: 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
Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / edited by George Azzopardi, Nicolai Petkov.

by Azzopardi, George [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9257 | Lecture Notes in Computer Science ; 9257Edition: 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
Computational Logistics [electronic resource] : 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Francesco Corman, Stefan Voß, Rudy R. Negenborn.

by Corman, Francesco [editor.] | Voß, Stefan [editor.] | Negenborn, Rudy R [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9335 | Lecture Notes in Computer Science ; 9335Edition: 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 Complexity [electronic resource] : 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings / edited by Vangelis Th. Paschos, Peter Widmayer.

by Paschos, Vangelis Th [editor.] | Widmayer, Peter [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9079 | Lecture Notes in Computer Science ; 9079Edition: 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): .

BOOKS
Lectures on logic and computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011 Ljubljana, Slovenia, August 2011, Selected Lecture Notes Nick Bezhanishvili, Valentin Goranko. (Eds)

by Bezhanishvili, Nick.

Series: Lecture notes in computer science ; 7388Edition: 1st ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2012Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Models of Strategic Reasoning Logics, Games, and Communities

by Benthem, Johan van Ed | Ghosh, Sujata, Ed | Verbrugge, Rineke, Ed.

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

BOOKS
Graph Theoretic Concepts in Computer Science 46th International Workshop, WG 2020 Leeds, UK, June 24-26, 2020. Revised selected papers [LNCS;12301]

by Adler, Isolde | Muller, Haiko.

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

BOOKS
Combinatorial algorithms: 31st international workshop,IWOCA 2020, Bordeaux, France, June 8-10, 2020. Proceedings

by Gasieniec, Leszek Ed | Klasing, Ralf Ed | Radzik, Tomasz Ed.

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

BOOKS
Algorithms and Computation: 8th international workshop, WALCOM 2014, Chennai, India, February 13-15, 2014. Proceedings

by Prasant Pal, Sudebkumar Ed | Sadakane, Kunihiko Ed.

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

BOOKS
Theory an Applications of satisfiability testing - SAT 2012: 15th international conference. Trento, Italy, June 2012. Proceedings

by Cimatti, Alessandro Ed | Sebastiani, Roberto Ed.

Series: Lecture Notes in Computer Science ; 7317Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2012Online 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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha