Results of search for 'ccl=Provider:Springer, and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	601.	Computer Security -- ESORICS 2015 [electronic resource] : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I / by Pernul, Günther [editor.] Y A Ryan, Peter [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9326 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	602.	Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Torra, Vicenç [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9980 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	603.	Internet and Network Economics [electronic resource] : First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings / by Deng, Xiaotie [editor.] Ye, Yinyu [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3828 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	604.	Information Security Practice and Experience [electronic resource] : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13–15, 2017, Proceedings / by Liu, Joseph K [editor.] Samarati, Pierangela [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10701 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	605.	Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by Benzmüller, Christoph [editor.] Ricca, Francesco [editor.] Parent, Xavier [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11092 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	606.	Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / by Fleuriot, Jacques [editor.] Wang, Dongming [editor.] Calmet, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11110 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	607.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12–14, 2018, Proceedings / by Agre, Gennady [editor.] van Genabith, Josef [editor.] Declerck, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11089 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	608.	Studies on Speech Production [electronic resource] : 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers / by Fang, Qiang [editor.] Dang, Jianwu [editor.] Perrier, Pascal [editor.] Wei, Jianguo [editor.] Wang, Longbiao [editor.] Yan, Nan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10733 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	609.	Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8–10, 2018, Revised Selected Papers, Part IV / by Sun, Xingming [editor.] Pan, Zhaoqing [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11066 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	610.	Information Security Practice and Experience [electronic resource] : 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings / by Su, Chunhua [editor.] Kikuchi, Hiroaki [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11125 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	611.	Information Retrieval [electronic resource] : 24th China Conference, CCIR 2018, Guilin, China, September 27–29, 2018, Proceedings / by Zhang, Shichao [editor.] Liu, Tie-Yan [editor.] Li, Xianxian [editor.] Guo, Jiafeng [editor.] Li, Chenliang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11168 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	612.	Cryptology and Network Security [electronic resource] : 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings / by Camenisch, Jan [editor.] Papadimitratos, Panos [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11124 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	613.	Electronic Voting [electronic resource] : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / by Krimmer, Robert [editor.] Volkamer, Melanie [editor.] Cortier, Véronique [editor.] Goré, Rajeev [editor.] Hapsara, Manik [editor.] Serdült, Uwe [editor.] Duenas-Cid, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11143 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	614.	Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V / by Sun, Xingming [editor.] Pan, Zhaoqing [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11067 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	615.	Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11138 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	616.	Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11244 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	617.	Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11245 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	618.	Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by Massoni, Tiago [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11254 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	619.	Science of Cyber Security [electronic resource] : First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers / by Liu, Feng [editor.] Xu, Shouhuai [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11287 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	620.	Graphics Recognition. Current Trends and Evolutions [electronic resource] : 12th IAPR International Workshop, GREC 2017, Kyoto, Japan, November 9-10, 2017, Revised Selected Papers / by Fornés, Alicia [editor.] Lamiroy, Bart [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11009 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.