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

Results
	681.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by Pérez, Jorge A [editor.] Yoshida, Nobuko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11535 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)
	682.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11540 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)
	683.	Logic, Language, Information, and Computation [electronic resource] : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / by Iemhoff, Rosalie [editor.] Moortgat, Michael [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11541 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)
	684.	Advances in Cryptology – CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III / by Boldyreva, Alexandra [editor.] Micciancio, Daniele [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11694 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)
	685.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / by Cerrito, Serenella [editor.] Popescu, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11714 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)
	686.	Blockchain Technology and Application [electronic resource] : Second CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11–13, 2019, Revised Selected Papers / by Si, Xueming [editor.] Jin, Hai [editor.] Sun, Yi [editor.] Zhu, Jianming [editor.] Zhu, Liehuang [editor.] Song, Xianhua [editor.] Lu, Zeguang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1176 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	687.	Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / by Peltier, Nicolas [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12167 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)
	688.	Progress in Cryptology - AFRICACRYPT 2020 [electronic resource] : 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20 – 22, 2020, Proceedings / by Nitaj, Abderrahmane [editor.] Youssef, Amr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12174 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)
	689.	Wireless and Satellite Systems [electronic resource] : 11th EAI International Conference, WiSATS 2020, Nanjing, China, September 17-18, 2020, Proceedings, Part II / by Wu, Qihui [editor.] Zhao, Kanglian [editor.] Ding, Xiaojin [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 358 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)
	690.	Geometric Science of Information [electronic resource] : 5th International Conference, GSI 2021, Paris, France, July 21–23, 2021, Proceedings / by Nielsen, Frank [editor.] Barbaresco, Frédéric [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12829 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)
	691.	Advances in Cryptology – CRYPTO 2021 [electronic resource] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part II / by Malkin, Tal [editor.] Peikert, Chris [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12826 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)
	692.	Document Analysis and Recognition – ICDAR 2021 [electronic resource] : 16th International Conference, Lausanne, Switzerland, September 5–10, 2021, Proceedings, Part I / by Lladós, Josep [editor.] Lopresti, Daniel [editor.] Uchida, Seiichi [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12821 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)
	693.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part I / by Fan, Wenhui [editor.] Zhang, Lin [editor.] Li, Ni [editor.] Song, Xiao [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1712 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)
	694.	FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / by Jones, Cliff [editor.] Pihlajasaari, Pekka [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8442 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)
	695.	Practical Aspects of Declarative Languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings / by Flatt, Matthew [editor.] Guo, Hai-Feng [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8324 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)
	696.	Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings / by Le Goues, Claire [editor.] Yoo, Shin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8636 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)
	697.	NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8430 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)
	698.	Human-Computer Interaction. Theories, Methods, and Tools [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I / by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8510 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)
	699.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings / by Legay, Axel [editor.] Bozga, Marius [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8711 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)
	700.	Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings / by Avgeriou, Paris [editor.] Zdun, Uwe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8627 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.