|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings / edited by Michel Abdalla, David Pointcheval, Pierre-Alain Fouque, Damien Vergnaud. by Abdalla, Michel [editor.] | Pointcheval, David [editor.] | Fouque, Pierre-Alain [editor.] | Vergnaud, Damien [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5536Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper. by Chen, Jianer [editor.] | Cooper, S. Barry [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5532Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan [editor.] | Nipkow, Tobias [editor.] | Urban, Christian [editor.] | Wenzel, Makarius [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5674Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Web Based Learning – ICWL 2009 [electronic resource] : 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings / edited by Marc Spaniol, Qing Li, Ralf Klamma, Rynson W. H. Lau. by Spaniol, Marc [editor.] | Li, Qing [editor.] | Klamma, Ralf [editor.] | Lau, Rynson W. H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5686Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Algorithmic Game Theory [electronic resource] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings / edited by Marios Mavronicolas, Vicky G. Papadopoulou. by Mavronicolas, Marios [editor.] | Papadopoulou, Vicky G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5814Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Distributed Computing and Networking [electronic resource] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu. by Kant, Krishna [editor.] | Pemmaraju, Sriram V [editor.] | Sivalingam, Krishna M [editor.] | Wu, Jie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5935Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman. by Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiří [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6108Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Security – ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings / edited by Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou. by Gritzalis, Dimitris [editor.] | Preneel, Bart [editor.] | Theoharidou, Marianthi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6345Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8312Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
Strategies for sequential search and selection in real time : [electronic resource] proceedings of the AMS-IMS-SIAM joint summer research conference held June 21-27, 1990, with support from the National Science Foundation, the National Security Agency, and the Office of Naval Research / F. Thomas Bruss, Thomas S. Ferguson, Stephen M. Samuels, editors. by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on the Strategies for Sequential Search and Selection in Real Time (1990 : University of Massachusetts, Amherst) | Bruss, F. Thomas, 1949- | Ferguson, Thomas S. (Thomas Shelburne), 1929- | Samuels, Stephen M. (Stephen Michael). Series: Contemporary mathematics (American Mathematical Society) ; v. 125.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1992Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Ramanujun 125 : [electronic resource] international conference to commemorate the 125th anniversary of Ramanujan's birth, November 5--7, 2012, University of Florida, Gainesville, Florida / Krishnaswami Alladi, Frank Garvan, Ae Ja Yee, editors. by Alladi, Krishnaswami [editor of compilation.] | Garvan, Frank (Frank G.), 1955- | Yee, Ae Ja, 1971- [editor of compilation.]. Series: Contemporary mathematics ; v. 627Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas. by Spirakis, Paul [editor.] | Tsigas, Philippas [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10616 | Lecture Notes in Computer Science ; 10616Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
HCI in Business, Government, and Organizations: eCommerce and Innovation [electronic resource] : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I / edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan. by Nah, Fiona Fui-Hoon [editor.] | Tan, Chuan-Hoo [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9751 | Lecture Notes in Computer Science ; 9751Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
