Results of search for 'ccl=su:{Computer Science and Engineering}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	981.	Risks and Security of Internet and Systems [electronic resource] : 15th International Conference, CRiSIS 2020, Paris, France, November 4–6, 2020, Revised Selected Papers / by Garcia-Alfaro, Joaquin [editor.] Leneutre, Jean [editor.] Cuppens, Nora [editor.] Yaich, Reda [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12528 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	982.	Logic-Based Program Synthesis and Transformation [electronic resource] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by Fernández, Maribel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12561 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	983.	Modelling and Development of Intelligent Systems [electronic resource] : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / by Simian, Dana [editor.] Stoica, Laura Florentina [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1341 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	984.	Public-Key Cryptography – PKC 2021 [electronic resource] : 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II / by Garay, Juan A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12711 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	985.	Integer Programming and Combinatorial Optimization [electronic resource] : 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by Singh, Mohit [editor.] Williamson, David P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12707 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	986.	Reservoir Computing [electronic resource] : Theory, Physical Implementations, and Applications / by Nakajima, Kohei [editor.] Fischer, Ingo [editor.] SpringerLink (Online service) Series: Natural Computing Series Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	987.	Advances in Cryptology – CRYPTO 2021 [electronic resource] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part I / by Malkin, Tal [editor.] Peikert, Chris [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12825 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	988.	Advances in Cryptology – CRYPTO 2021 [electronic resource] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part IV / by Malkin, Tal [editor.] Peikert, Chris [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12828 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	989.	Partially Homomorphic Encryption [electronic resource] / by Koç, Çetin Kaya [author.] Özdemir, Funda [author.] Ödemiş Özger, Zeynep [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	990.	Computational Collective Intelligence [electronic resource] : 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 – October 1, 2021, Proceedings / by Nguyen, Ngoc Thanh [editor.] Iliadis, Lazaros [editor.] Maglogiannis, Ilias [editor.] Trawiński, Bogdan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12876 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	991.	Computer Security – ESORICS 2021 [electronic resource] : 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I / by Bertino, Elisa [editor.] Shulman, Haya [editor.] Waidner, Michael [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12972 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	992.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13414 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)
	993.	Theoretical Aspects of Computing – ICTAC 2022 [electronic resource] : 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings / by Seidl, Helmut [editor.] Liu, Zhiming [editor.] Pasareanu, Corina S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13572 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)
	994.	Conceptual Modeling [electronic resource] : 41st International Conference, ER 2022, Hyderabad, India, October 17–20, 2022, Proceedings / by Ralyté, Jolita [editor.] Chakravarthy, Sharma [editor.] Mohania, Mukesh [editor.] Jeusfeld, Manfred A [editor.] Karlapalem, Kamalakar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13607 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)
	995.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7609 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	996.	Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / by Grieskamp, Wolfgang [editor.] Weise, Carsten [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3997 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	997.	Parallel Processing and Applied Mathematics, Part II [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7204 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	998.	Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / by Chaudron, Michel R. V [editor.] Szyperski, Clemens [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5282 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	999.	Bidirectional Transformations [electronic resource] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / by Gibbons, Jeremy [editor.] Stevens, Perdita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9715 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)
	1000.	Transactions on Petri Nets and Other Models of Concurrency XIII [electronic resource] / by Koutny, Maciej [editor.] Kristensen, Lars Michael [editor.] Penczek, Wojciech [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11090 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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

Titles

Your search returned 3843 results.