Results of search for 'ccl=su:{Theory}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2121.	Algorithmic Aspects of Cloud Computing [electronic resource] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers / by Foschini, Luca [editor.] Kontogiannis, Spyros [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13799 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2122.	Trustworthy Global Computing [electronic resource] : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / by Abadi, Martín [editor.] Lluch Lafuente, Alberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8358 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2123.	Web Reasoning and Rule Systems [electronic resource] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / by Ortiz, Magdalena [editor.] Schlobach, Stefan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9898 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)
	2124.	Foundations of Information and Knowledge Systems [electronic resource] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings / by Ferrarotti, Flavio [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10833 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)
	2125.	Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography [electronic resource] : Efficient Modular Exponential Techniques / by Vollala, Satyanarayana [author.] Ramasubramanian, N [author.] Tiwari, Utkarsh [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)
	2126.	Advances in Computing and Data Sciences [electronic resource] : 5th International Conference, ICACDS 2021, Nashik, India, April 23–24, 2021, Revised Selected Papers, Part II / by Singh, Mayank [editor.] Tyagi, Vipin [editor.] Gupta, P. K [editor.] Flusser, Jan [editor.] Ören, Tuncer [editor.] Sonawane, V. R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1441 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)
	2127.	Advances in Cryptology – ASIACRYPT 2021 [electronic resource] : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part I / by Tibouchi, Mehdi [editor.] Wang, Huaxiong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13090 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)
	2128.	Advances in Cryptology – ASIACRYPT 2021 [electronic resource] : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part IV / by Tibouchi, Mehdi [editor.] Wang, Huaxiong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13093 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)
	2129.	Advances in Cryptology – ASIACRYPT 2021 [electronic resource] : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II / by Tibouchi, Mehdi [editor.] Wang, Huaxiong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13091 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)
	2130.	Advances in Cryptology – ASIACRYPT 2021 [electronic resource] : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part III / by Tibouchi, Mehdi [editor.] Wang, Huaxiong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13092 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)
	2131.	Rules and Reasoning [electronic resource] : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings / by Moschoyiannis, Sotiris [editor.] Peñaloza, Rafael [editor.] Vanthienen, Jan [editor.] Soylu, Ahmet [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12851 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)
	2132.	Deceptive AI [electronic resource] : First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings / by Sarkadi, Stefan [editor.] Wright, Benjamin [editor.] Masters, Peta [editor.] McBurney, Peter [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1296 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)
	2133.	Software Engineering and Formal Methods [electronic resource] : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings / by Calinescu, Radu [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13085 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)
	2134.	Bio-Inspired Information and Communications Technologies [electronic resource] : 13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings / by Nakano, Tadashi [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 403 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)
	2135.	Wireless Sensor Networks [electronic resource] : 15th China Conference, CWSN 2021, Guilin, China, October 22–25, 2021, Revised Selected Papers / by Cui, Li [editor.] Xie, Xiaolan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1509 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)
	2136.	Advances in Optimization and Applications [electronic resource] : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Revised Selected Papers / by Olenev, Nicholas N [editor.] Evtushenko, Yuri G [editor.] Jaćimović, Milojica [editor.] Khachay, Michael [editor.] Malkova, Vlasta [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1514 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)
	2137.	Algorithmic Aspects of Cloud Computing [electronic resource] : 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by D’Angelo, Gianlorenzo [editor.] Michail, Othon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13084 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)
	2138.	Ubiquitous Networking [electronic resource] : 7th International Symposium, UNet 2021, Virtual Event, May 19–22, 2021, Revised Selected Papers / by Elbiaze, Halima [editor.] Sabir, Essaid [editor.] Falcone, Francisco [editor.] Sadik, Mohamed [editor.] Lasaulce, Samson [editor.] Ben Othman, Jalel [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 12845 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)
	2139.	Formal Analysis by Abstract Interpretation [electronic resource] : Case Studies in Modern Protocols / by Aziz, Benjamin [author.] SpringerLink (Online service) Series: SpringerBriefs in Applied Sciences and Technology 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)
	2140.	Cryptography and Coding [electronic resource] : 18th IMA International Conference, IMACC 2021, Virtual Event, December 14–15, 2021, Proceedings / by Paterson, Maura B [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13129 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.