Your search returned 3339 results.

Not what you expected? Check for suggestions
E-BOOKS
Implementation and Application of Automata [electronic resource] : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings / edited by Frank Drewes.

by Drewes, Frank [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Cellular Automata and Discrete Complex Systems [electronic resource] : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / edited by Jarkko Kari.

by Kari, Jarkko [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII [electronic resource] : Selected Papers from DaWaK 2013 / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Bellatreche, Ladjel [editor.] | Mohania, Mukesh [editor.] | SpringerLink (Online service).

Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8970 | Lecture Notes in Computer Science ; 8970Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Wireless Algorithms, Systems, and Applications [electronic resource] : 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings / edited by Qing Yang, Wei Yu, Yacine Challal.

by Yang, Qing [editor.] | Yu, Wei [editor.] | Challal, Yacine [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Programming Languages and Systems [electronic resource] : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Jan Vitek.

by Vitek, Jan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Technology and Practice of Passwords [electronic resource] : International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, Revised Selected Papers / edited by Stig F. Mjølsnes.

by Mjølsnes, Stig F [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9393 | Lecture Notes in Computer Science ; 9393Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Smart Card Research and Advanced Applications [electronic resource] : 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers / edited by Kerstin Lemke-Rust, Michael Tunstall.

by Lemke-Rust, Kerstin [editor.] | Tunstall, Michael [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10146 | Lecture Notes in Computer Science ; 10146Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Euro-Par 2016: Parallel Processing [electronic resource] : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / edited by Pierre-François Dutot, Denis Trystram.

by Dutot, Pierre-François [editor.] | Trystram, Denis [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic, Language, Information, and Computation [electronic resource] : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / edited by Juliette Kennedy, Ruy J.G.B. de Queiroz.

by Kennedy, Juliette [editor.] | de Queiroz, Ruy J.G.B [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
BOOKS
Communication complexity and applications

by Rao, Anup | Yehudayoff, Amir.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge 2020Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 16 Call number: 681.3 RAO.
Lists:

Place hold Log in to add tags
BOOKS
Proof complexity / Charles University, Prague.

by Krajicek, Jan.

Series: Encyclopedia of mathematics and its applications ; 170Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 2019Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
BOOKS
No cover image available
Mathematics for computation (M4C)

by Benini, Marco | Beyersdorff, Olaf | Rathjen, Michael | Schuster, Peter.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey World Scientific 2023Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
BOOKS
Online Algorithms

by Vaze, Rahul.

;Language: English Language: English Publication details: UK Cambridge University Press 2023Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 VAZE.
Lists:

Place hold Log in to add tags
BOOKS
Mathematics and Computation : A Theory Revolutionizing Technology and Science

by Wigderson, Avi.

;Language: English Language: English Publication details: Princeton Princeton University Press 2019Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Display Call number: 511 WIG.
Lists:

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

Powered by Koha