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

Results
	381.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by Piskac, Ruzica [editor.] Rümmer, Philipp [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11294 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)
	382.	Transactions on Pattern Languages of Programming IV [electronic resource] / by Noble, James [editor.] Johnson, Ralph [editor.] Zdun, Uwe [editor.] Wallingford, Eugene [editor.] SpringerLink (Online service) Series: Transactions on Pattern Languages of Programming ; 10600 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)
	383.	Structured Object-Oriented Formal Language and Method [electronic resource] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by Duan, Zhenhua [editor.] Liu, Shaoying [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11392 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)
	384.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings / by Knauss, Eric [editor.] Goedicke, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11412 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)
	385.	Software Challenges to Exascale Computing [electronic resource] : Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by Majumdar, Amit [editor.] Arora, Ritu [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 964 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	386.	Green, Pervasive, and Cloud Computing [electronic resource] : 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings / by Miani, Rodrigo [editor.] Camargos, Lasaro [editor.] Zarpelão, Bruno [editor.] Rosas, Erika [editor.] Pasquini, Rafael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11484 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)
	387.	The Semantic Web [electronic resource] : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings / by Hitzler, Pascal [editor.] Fernández, Miriam [editor.] Janowicz, Krzysztof [editor.] Zaveri, Amrapali [editor.] Gray, Alasdair J.G [editor.] Lopez, Vanessa [editor.] Haller, Armin [editor.] Hammar, Karl [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11503 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)
	388.	Cloud Computing – CLOUD 2019 [electronic resource] : 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by Da Silva, Dilma [editor.] Wang, Qingyang [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11513 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)
	389.	RoboCup 2018: Robot World Cup XXII [electronic resource] / by Holz, Dirk [editor.] Genter, Katie [editor.] Saad, Maarouf [editor.] von Stryk, Oskar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11374 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)
	390.	Frontiers in Cyber Security [electronic resource] : Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings / by Shen, Bazhong [editor.] Wang, Baocang [editor.] Han, Jinguang [editor.] Yu, Yong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1105 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	391.	Operations Research and Enterprise Systems [electronic resource] : 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers / by Parlier, Greg H [editor.] Liberatore, Federico [editor.] Demange, Marc [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1162 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)
	392.	Trusted Computing and Information Security [electronic resource] : 13th Chinese Conference, CTCIS 2019, Shanghai, China, October 24–27, 2019, Revised Selected Papers / by Han, Weili [editor.] Zhu, Liehuang [editor.] Yan, Fei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1149 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)
	393.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers / by Fred, Ana [editor.] Salgado, Ana [editor.] Aveiro, David [editor.] Dietz, Jan [editor.] Bernardino, Jorge [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1222 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)
	394.	Virtual, Augmented and Mixed Reality. Industrial and Everyday Life Applications [electronic resource] : 12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by Chen, Jessie Y. C [editor.] Fragomeni, Gino [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12191 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)
	395.	Domain Adaptation and Representation Transfer, and Distributed and Collaborative Learning [electronic resource] : Second MICCAI Workshop, DART 2020, and First MICCAI Workshop, DCL 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4–8, 2020, Proceedings / by Albarqouni, Shadi [editor.] Bakas, Spyridon [editor.] Kamnitsas, Konstantinos [editor.] Cardoso, M. Jorge [editor.] Landman, Bennett [editor.] Li, Wenqi [editor.] Milletari, Fausto [editor.] Rieke, Nicola [editor.] Roth, Holger [editor.] Xu, Daguang [editor.] Xu, Ziyue [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12444 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)
	396.	Engineering Multi-Agent Systems [electronic resource] : 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers / by Baroglio, Cristina [editor.] Hubner, Jomi F [editor.] Winikoff, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12589 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)
	397.	Pattern Recognition. ICPR International Workshops and Challenges [electronic resource] : Virtual Event, January 10-15, 2021, Proceedings, Part VII / by Del Bimbo, Alberto [editor.] Cucchiara, Rita [editor.] Sclaroff, Stan [editor.] Farinella, Giovanni Maria [editor.] Mei, Tao [editor.] Bertini, Marco [editor.] Escalante, Hugo Jair [editor.] Vezzani, Roberto [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12667 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)
	398.	Artificial Neural Networks and Machine Learning – ICANN 2021 [electronic resource] : 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14–17, 2021, Proceedings, Part III / by Farkaš, Igor [editor.] Masulli, Paolo [editor.] Otte, Sebastian [editor.] Wermter, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12893 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)
	399.	Model Checking Software [electronic resource] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / by Legunsen, Owolabi [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13255 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)
	400.	Service-Oriented Computing – ICSOC 2021 Workshops [electronic resource] : AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22–25, 2021, Proceedings / by Hacid, Hakim [editor.] Aldwairi, Monther [editor.] Bouadjenek, Mohamed Reda [editor.] Petrocchi, Marinella [editor.] Faci, Noura [editor.] Outay, Fatma [editor.] Beheshti, Amin [editor.] Thamsen, Lauritz [editor.] Dong, Hai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13236 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 9265 results.