Results of search for 'ccl=copydate:"©2021" and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13036 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)
	122.	Innovation Through Information Systems [electronic resource] : Volume I: A Collection of Latest Research on Domain Issues / by Ahlemann, Frederik [editor.] Schütte, Reinhard [editor.] Stieglitz, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Information Systems and Organisation ; 46 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)
	123.	Innovation Through Information Systems [electronic resource] : Volume II: A Collection of Latest Research on Technology Issues / by Ahlemann, Frederik [editor.] Schütte, Reinhard [editor.] Stieglitz, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Information Systems and Organisation ; 47 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)
	124.	Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Falcone, Yliès [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13065 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)
	125.	Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by Hojjat, Hossein [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12818 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)
	126.	Intelligent Robotics and Applications [electronic resource] : 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part III / by Liu, Xin-Jun [editor.] Nie, Zhenguo [editor.] Yu, Jingjun [editor.] Xie, Fugui [editor.] Song, Rui [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13015 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)
	127.	Lean and Agile Software Development [electronic resource] : 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings / by Przybyłek, Adam [editor.] Miler, Jakub [editor.] Poth, Alexander [editor.] Riel, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 408 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)
	128.	Multi-Agent-Based Simulation XXI [electronic resource] : 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers / by Swarup, Samarth [editor.] Savarimuthu, Bastin Tony Roy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12316 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)
	129.	Collaborative Computing: Networking, Applications and Worksharing [electronic resource] : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part I / by Gao, Honghao [editor.] Wang, Xinheng [editor.] Iqbal, Muddesar [editor.] Yin, Yuyu [editor.] Yin, Jianwei [editor.] Gu, Ning [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 349 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)
	130.	Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12479 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)
	131.	Advances in Soft Computing [electronic resource] : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part II / by Batyrshin, Ildar [editor.] Gelbukh, Alexander [editor.] Sidorov, Grigori [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13068 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)
	132.	Smart Cities [electronic resource] : Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers / by Nesmachnow, Sergio [editor.] Hernández Callejo, Luis [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1359 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)
	133.	Guide to Maritime Informatics [electronic resource] / by Artikis, Alexander [editor.] Zissis, Dimitris [editor.] 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)
	134.	Embedded Software Timing [electronic resource] : Methodology, Analysis and Practical Tips with a Focus on Automotive / by Gliwa, Peter [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)
	135.	Advanced Computing [electronic resource] : 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II / by Garg, Deepak [editor.] Wong, Kit [editor.] Sarangapani, Jagannathan [editor.] Gupta, Suneet Kumar [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1368 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)
	136.	PRIMA 2020: Principles and Practice of Multi-Agent Systems [electronic resource] : 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings / by Uchiya, Takahiro [editor.] Bai, Quan [editor.] Marsá Maestre, Iván [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12568 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)
	137.	Resilience in the Digital Age [electronic resource] / by Roberts, Fred S [editor.] Sheremet, Igor A [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12660 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)
	138.	Enterprise Information Systems [electronic resource] : 22nd International Conference, ICEIS 2020, Virtual Event, May 5–7, 2020, Revised Selected Papers / by Filipe, Joaquim [editor.] Śmiałek, Michał [editor.] Brodsky, Alexander [editor.] Hammoudi, Slimane [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 417 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)
	139.	AIxIA 2020 – Advances in Artificial Intelligence [electronic resource] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by Baldoni, Matteo [editor.] Bandini, Stefania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12414 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)
	140.	Intelligent Information Systems [electronic resource] : CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings / by Nurcan, Selmin [editor.] Korthaus, Axel [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 424 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 219 results.