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

Results
	81.	Computational Methods in Systems Biology [electronic resource] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / by Češka, Milan [editor.] Šafránek, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11095 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)
	82.	Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part I / by Sun, Xingming [editor.] Pan, Zhaoqing [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11063 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)
	83.	From Software Engineering to Formal Methods and Tools, and Back [electronic resource] : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by ter Beek, Maurice H [editor.] Fantechi, Alessandro [editor.] Semini, Laura [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11865 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)
	84.	Data and Applications Security and Privacy XXXIV [electronic resource] : 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25–26, 2020, Proceedings / by Singhal, Anoop [editor.] Vaidya, Jaideep [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12122 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)
	85.	Information Systems Security and Privacy [electronic resource] : 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers / by Mori, Paolo [editor.] Furnell, Steven [editor.] Camp, Olivier [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1221 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)
	86.	Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [electronic resource] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / by Casimiro, António [editor.] Ortmeier, Frank [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] Ferreira, Pedro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12235 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.	Mathematics of Program Construction [electronic resource] : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / by Komendantskaya, Ekaterina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13544 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.	Testing Software and Systems [electronic resource] : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by Medina-Bulo, Inmaculada [editor.] Merayo, Mercedes G [editor.] Hierons, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11146 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)
	89.	Frontiers of Combining Systems [electronic resource] : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by Herzig, Andreas [editor.] Popescu, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11715 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)
	90.	Euro-Par 2019: Parallel Processing [electronic resource] : 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings / by Yahyapour, Ramin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11725 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)
	91.	Automated Deduction – CADE 27 [electronic resource] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / by Fontaine, Pascal [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11716 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)
	92.	Engineering Trustworthy Software Systems [electronic resource] : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12154 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.	Tools and Methods of Program Analysis [electronic resource] : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / by Kalenkova, Anna [editor.] Lozano, Jose A [editor.] Yavorskiy, Rostislav [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1288 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)
	94.	Automated Deduction – CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / by Platzer, André [editor.] Sutcliffe, Geoff [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12699 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)
	95.	Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by Abate, Alessandro [editor.] Marin, Andrea [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12846 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)
	96.	New Trends in Computer Technologies and Applications [electronic resource] : 25th International Computer Symposium, ICS 2022, Taoyuan, Taiwan, December 15–17, 2022, Proceedings / by Hsieh, Sun-Yuan [editor.] Hung, Ling-Ju [editor.] Klasing, Ralf [editor.] Lee, Chia-Wei [editor.] Peng, Sheng-Lung [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1723 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)
	97.	Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by Ryu, Sukyoung [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11275 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.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings / by Beyer, Dirk [editor.] Zufferey, Damien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11990 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)
	99.	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12476 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)
	100.	From Data to Models and Back [electronic resource] : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / by Bowles, Juliana [editor.] Broccia, Giovanna [editor.] Nanni, Mirco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12611 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

Topics

Your search returned 1521 results.