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

Results
	81.	Secure IT Systems [electronic resource] : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8–10, 2017, Proceedings / by Lipmaa, Helger [editor.] Mitrokotsa, Aikaterini [editor.] Matulevičius, Raimundas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10674 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)
	82.	Security, Privacy, and Anonymity in Computation, Communication, and Storage [electronic resource] : SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings / by Wang, Guojun [editor.] Atiquzzaman, Mohammed [editor.] Yan, Zheng [editor.] Choo, Kim-Kwang Raymond [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10658 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)
	83.	Computer Security [electronic resource] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II / by Lopez, Javier [editor.] Zhou, Jianying [editor.] Soriano, Miguel [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11099 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)
	84.	Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / by Hooker, John [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11008 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)
	85.	Massive MIMO Detection Algorithm and VLSI Architecture [electronic resource] / by Liu, Leibo [author.] Peng, Guiqiang [author.] Wei, Shaojun [author.] 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)
	86.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	87.	From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / by Bowles, Juliana [editor.] Broccia, Giovanna [editor.] Pellungrini, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13268 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	88.	Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / by Drewes, Frank [editor.] Volkov, Mikhail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13911 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	89.	DNA Computing and Molecular Programming [electronic resource] : 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings / by Doty, David [editor.] Dietz, Hendrik [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11145 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)
	90.	Combinatorial Optimization and Applications [electronic resource] : 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / by Kim, Donghyun [editor.] Uma, R. N [editor.] Zelikovsky, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11346 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)
	91.	Human Aspects of IT for the Aged Population. Technology and Society [electronic resource] : 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by Gao, Qin [editor.] Zhou, Jia [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12209 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	92.	Financial Cryptography and Data Security [electronic resource] : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers / by Bernhard, Matthew [editor.] Bracciali, Andrea [editor.] Camp, L. Jean [editor.] Matsuo, Shin'ichiro [editor.] Maurushat, Alana [editor.] Rønne, Peter B [editor.] Sala, Massimiliano [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12063 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	93.	NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by Lee, Ritchie [editor.] Jha, Susmit [editor.] Mavridou, Anastasia [editor.] Giannakopoulou, Dimitra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12229 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	94.	Neural Computing for Advanced Applications [electronic resource] : Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II / by Zhang, Haijun [editor.] Chen, Yuehui [editor.] Chu, Xianghua [editor.] Zhang, Zhao [editor.] Hao, Tianyong [editor.] Wu, Zhou [editor.] Yang, Yimin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1638 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	95.	Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by Bouajjani, Ahmed [editor.] Holík, Lukáš [editor.] Wu, Zhilin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13505 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	96.	Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation [electronic resource] : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers / by Polovina, Rubina [editor.] Polovina, Simon [editor.] Kemp, Neil [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1694 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	97.	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)
	98.	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)
	99.	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)
	100.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 797 results.