Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3301.	Deductive Software Verification: Future Perspectives [electronic resource] : Reflections on the Occasion of 20 Years of KeY / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Ulbrich, Mattias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12345 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)
	3302.	Emerging Technologies in Computer Engineering: Cognitive Computing and Intelligent IoT [electronic resource] : 5th International Conference, ICETCE 2022, Jaipur, India, February 4–5, 2022, Revised Selected Papers / by Balas, Valentina E [editor.] Sinha, G. R [editor.] Agarwal, Basant [editor.] Sharma, Tarun Kumar [editor.] Dadheech, Pankaj [editor.] Mahrishi, Mehul [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1591 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)
	3303.	Database and Expert Systems Applications [electronic resource] : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part I / by Strauss, Christine [editor.] Cuzzocrea, Alfredo [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13426 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)
	3304.	Service-Oriented Computing [electronic resource] : 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings / by Troya, Javier [editor.] Medjahed, Brahim [editor.] Piattini, Mario [editor.] Yao, Lina [editor.] Fernández, Pablo [editor.] Ruiz-Cortés, Antonio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13740 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)
	3305.	Advanced Research in Technologies, Information, Innovation and Sustainability [electronic resource] : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12–15, 2022, Revised Selected Papers, Part I / by Guarda, Teresa [editor.] Portela, Filipe [editor.] Augusto, Maria Fernanda [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1675 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)
	3306.	Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / by Raskin, Jean-François [editor.] Chatterjee, Krishnendu [editor.] Doyen, Laurent [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13660 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)
	3307.	Database and Expert Systems Applications [electronic resource] : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Part I / by Strauss, Christine [editor.] Amagasa, Toshiyuki [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14146 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)
	3308.	UML-Based Software Product Line Engineering with SMarty [electronic resource] / by OliveiraJr, Edson [editor.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3309.	Development of Safety-Critical Systems [electronic resource] : Architecture and Software / by Karmakar, Gopinath [author.] Wakankar, Amol [author.] Kabra, Ashutosh [author.] Pandya, Paritosh [author.] SpringerLink (Online service) 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)
	3310.	Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part II / by Yang, Huayong [editor.] Liu, Honghai [editor.] Zou, Jun [editor.] Yin, Zhouping [editor.] Liu, Lianqing [editor.] Yang, Geng [editor.] Ouyang, Xiaoping [editor.] Wang, Zhiyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14268 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3311.	Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part III / by Yang, Huayong [editor.] Liu, Honghai [editor.] Zou, Jun [editor.] Yin, Zhouping [editor.] Liu, Lianqing [editor.] Yang, Geng [editor.] Ouyang, Xiaoping [editor.] Wang, Zhiyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14269 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3312.	Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part VII / by Yang, Huayong [editor.] Liu, Honghai [editor.] Zou, Jun [editor.] Yin, Zhouping [editor.] Liu, Lianqing [editor.] Yang, Geng [editor.] Ouyang, Xiaoping [editor.] Wang, Zhiyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14273 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3313.	Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part VIII / by Yang, Huayong [editor.] Liu, Honghai [editor.] Zou, Jun [editor.] Yin, Zhouping [editor.] Liu, Lianqing [editor.] Yang, Geng [editor.] Ouyang, Xiaoping [editor.] Wang, Zhiyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14274 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3314.	Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part IX / by Yang, Huayong [editor.] Liu, Honghai [editor.] Zou, Jun [editor.] Yin, Zhouping [editor.] Liu, Lianqing [editor.] Yang, Geng [editor.] Ouyang, Xiaoping [editor.] Wang, Zhiyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14275 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3315.	Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Puppis, Gabriele [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5955 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3316.	Building a National Distributed e-Infrastructure -- PL-Grid [electronic resource] : Scientific and Technical Achievements / by Bubak, Marian [editor.] Szepieniec, Tomasz [editor.] Wiatr, Kazimierz [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7136 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3317.	Facing the Multicore-Challenge [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Keller, Rainer [editor.] Kramer, David [editor.] Weiss, Jan-Philipp [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6310 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3318.	Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / by Bernardo, Marco [editor.] Padovani, Luca [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5569 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3319.	Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Müller-Olm, Markus [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3800 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3320.	Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / by Soós, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5161 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 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 4435 results.