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

Results
	2521.	Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by Agha, Gul [editor.] Danvy, Olivier [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7000 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2522.	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / by Cámara, Javier [editor.] de Lemos, Rogério [editor.] Ghezzi, Carlo [editor.] Lopes, Antonia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7740 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2523.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings / by Antonucci, Alessandro [editor.] Cholvy, Laurence [editor.] Papini, Odile [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10369 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)
	2524.	Theory and Practice of Natural Computing [electronic resource] : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings / by Dediu, Adrian-Horia [editor.] Lozano, Manuel [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8890 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)
	2525.	From Lambda Calculus to Cybersecurity Through Program Analysis [electronic resource] : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by Di Pierro, Alessandra [editor.] Malacaria, Pasquale [editor.] Nagarajan, Rajagopal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12065 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)
	2526.	Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies [electronic resource] : 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by Antona, Margherita [editor.] Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12188 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)
	2527.	Bio-inspired Information and Communication Technologies [electronic resource] : 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings / by Chen, Yifan [editor.] Nakano, Tadashi [editor.] Lin, Lin [editor.] Mahfuz, Mohammad Upal [editor.] Guo, Weisi [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 329 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)
	2528.	6GN for Future Wireless Networks [electronic resource] : Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings / by Wang, Xiaofei [editor.] Leung, Victor C. M [editor.] Li, Keqiu [editor.] Zhang, Haijun [editor.] Hu, Xiping [editor.] Liu, Qiang [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 337 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)
	2529.	Ubiquitous Communications and Network Computing [electronic resource] : 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings / by Kumar, Navin [editor.] Vinodhini, M [editor.] Venkatesha Prasad, Ranga Rao [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 383 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)
	2530.	Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [electronic resource] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Schoitsch, Erwin [editor.] Guiochet, Jérémie [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13415 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)
	2531.	KI 2022: Advances in Artificial Intelligence [electronic resource] : 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings / by Bergmann, Ralph [editor.] Malburg, Lukas [editor.] Rodermund, Stephanie C [editor.] Timm, Ingo J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13404 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)
	2532.	Chinese Computational Linguistics [electronic resource] : 21st China National Conference, CCL 2022, Nanchang, China, October 14–16, 2022, Proceedings / by Sun, Maosong [editor.] Liu, Yang [editor.] Che, Wanxiang [editor.] Feng, Yang [editor.] Qiu, Xipeng [editor.] Rao, Gaoqi [editor.] Chen, Yubo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13603 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)
	2533.	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13702 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)
	2534.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14073 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)
	2535.	Emerging Information Security and Applications [electronic resource] : 4th International Conference, EISA 2023, Hangzhou, China, December 6–7, 2023, Proceedings / by Shao, Jun [editor.] Katsikas, Sokratis K [editor.] Meng, Weizhi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 2004 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2536.	Dynamic Logic. New Trends and Applications [electronic resource] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers / by Gierasimczuk, Nina [editor.] Velázquez-Quesada, Fernando R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14401 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2537.	Formal Aspects of Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / by Cámara, Javier [editor.] Jongmans, Sung-Shik [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14485 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2538.	Reliable Software Technologies – Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by Bertogna, Marko [editor.] Pinho, Luís Miguel [editor.] Quiñones, Eduardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9695 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)
	2539.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2540.	Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing [electronic resource] : 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers / by Zamuda, Aleš [editor.] Das, Swagatam [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Panigrahi, Bijaya Ketan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1092 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3111 results.