Results of search for 'ccl=Provider:Springer, ' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2301.	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)
	2302.	Future Data and Security Engineering [electronic resource] : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings / by Dang, Tran Khanh [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] Thoai, Nam [editor.] Takizawa, Makoto [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11251 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)
	2303.	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)
	2304.	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)
	2305.	Security and Privacy for Next-Generation Wireless Networks [electronic resource] / by Zhong, Sheng [author.] Zhong, Hong [author.] Huang, Xinyi [author.] Yang, Panlong [author.] Shi, Jin [author.] Xie, Lei [author.] Wang, Kun [author.] SpringerLink (Online service) Series: Wireless Networks Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2306.	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)
	2307.	AI 2018: Advances in Artificial Intelligence [electronic resource] : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by Mitrovic, Tanja [editor.] Xue, Bing [editor.] Li, Xiaodong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11320 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)
	2308.	Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I / by Cheng, Long [editor.] Leung, Andrew Chi Sing [editor.] Ozawa, Seiichi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11301 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)
	2309.	Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII / by Cheng, Long [editor.] Leung, Andrew Chi Sing [editor.] Ozawa, Seiichi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11307 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)
	2310.	Cybercryptography: Applicable Cryptography for Cyberspace Security [electronic resource] / by Yan, Song Y [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2311.	Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by Vaidya, Jaideep [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11336 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)
	2312.	Advances in Cyber Security: Principles, Techniques, and Applications [electronic resource] / by Li, Kuan-Ching [editor.] Chen, Xiaofeng [editor.] Susilo, Willy [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2313.	Advanced Software Technologies for Post-Peta Scale Computing [electronic resource] : The Japanese Post-Peta CREST Research Project / by Sato, Mitsuhisa [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2314.	Industrial Sensors and Controls in Communication Networks [electronic resource] : From Wired Technologies to Cloud Computing and the Internet of Things / by Kim, Dong-Seong [author.] Tran-Dang, Hoa [author.] SpringerLink (Online service) Series: Computer Communications and Networks Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2315.	Critical Infrastructure Security and Resilience [electronic resource] : Theories, Methods, Tools and Technologies / by Gritzalis, Dimitris [editor.] Theocharidou, Marianthi [editor.] Stergiopoulos, George [editor.] SpringerLink (Online service) Series: Advanced Sciences and Technologies for Security Applications Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2316.	Advances in Computational Intelligence [electronic resource] : 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II / by Batyrshin, Ildar [editor.] Martínez-Villaseñor, María de Lourdes [editor.] Ponce Espinosa, Hiram Eredín [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11289 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)
	2317.	Mobile, Secure, and Programmable Networking [electronic resource] : 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers / by Renault, Éric [editor.] Boumerdassi, Selma [editor.] Bouzefrane, Samia [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 11005 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2318.	Genetic Programming Theory and Practice XVI [electronic resource] / by Banzhaf, Wolfgang [editor.] Spector, Lee [editor.] Sheneman, Leigh [editor.] SpringerLink (Online service) Series: Genetic and Evolutionary Computation Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2319.	Pervasive Computing: A Networking Perspective and Future Directions [electronic resource] / by Bhargava, Deepshikha [editor.] Vyas, Sonali [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2320.	Financial Cryptography and Data Security [electronic resource] : FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers / by Zohar, Aviv [editor.] Eyal, Ittay [editor.] Teague, Vanessa [editor.] Clark, Jeremy [editor.] Bracciali, Andrea [editor.] Pintore, Federico [editor.] Sala, Massimiliano [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10958 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 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 17571 results.