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

Results
	1301.	Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings / by Chechik, Marsha [editor.] Katoen, Joost-Pieter [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14000 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)
	1302.	Lesion Segmentation in Surgical and Diagnostic Applications [electronic resource] : MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18–22, 2022, Proceedings / by Xiao, Yiming [editor.] Yang, Guanyu [editor.] Song, Shuang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13648 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)
	1303.	Reference Architectures for Critical Domains [electronic resource] : Industrial Uses and Impacts / by Nakagawa, Elisa Yumi [editor.] Oliveira Antonino, Pablo [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)
	1304.	Computational Science and Its Applications – ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A.C [editor.] Torre, Carmelo M [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Stankova, Elena [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9787 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)
	1305.	Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / by Gogolla, Martin [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6706 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)
	1306.	Business Process Management [electronic resource] : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings / by Carmona, Josep [editor.] Engels, Gregor [editor.] Kumar, Akhil [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10445 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)
	1307.	Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / by Lee, David [editor.] Lopes, Antonia [editor.] Poetzsch-Heffter, Arnd [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5522 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)
	1308.	Engineering Self-Organising Systems [electronic resource] : Methodologies and Applications / by Brueckner, Sven A [editor.] Di Marzo Serugendo, Giovanna [editor.] Karageorgos, Anthony [editor.] Nagpal, Radhika [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3464 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)
	1309.	Practical Aspects of Declarative Languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / by Pontelli, Enrico [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9131 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1310.	Wired/Wireless Internet Communications [electronic resource] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / by Mamatas, Lefteris [editor.] Matta, Ibrahim [editor.] Papadimitriou, Panagiotis [editor.] Koucheryavy, Yevgeni [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9674 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)
	1311.	Product-Focused Software Process Improvement [electronic resource] : 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings / by Jedlitschka, Andreas [editor.] Kuvaja, Pasi [editor.] Kuhrmann, Marco [editor.] Männistö, Tomi [editor.] Münch, Jürgen [editor.] Raatikainen, Mikko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8892 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)
	1312.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / by Fantechi, Alessandro [editor.] Lecomte, Thierry [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10598 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)
	1313.	Computational Science and Its Applications – ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / by Misra, Sanjay [editor.] Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Stankova, Elena [editor.] Korkhov, Vladimir [editor.] Torre, Carmelo [editor.] Rocha, Ana Maria A.C [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Tarantino, Eufemia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11621 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)
	1314.	Data Science and Analytics [electronic resource] : 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part II / by Batra, Usha [editor.] Roy, Nihar Ranjan [editor.] Panda, Brajendra [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1230 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)
	1315.	High Performance Computing [electronic resource] : ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers / by Jagode, Heike [editor.] Anzt, Hartwig [editor.] Juckeland, Guido [editor.] Ltaief, Hatem [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12321 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)
	1316.	Mobile Computing, Applications, and Services [electronic resource] : 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings / by Liu, Jing [editor.] Gao, Honghao [editor.] Yin, Yuyu [editor.] Bi, Zhongqin [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 341 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)
	1317.	Concise Guide to Databases [electronic resource] : A Practical Introduction / by Domdouzis, Konstantinos [author.] Lake, Peter [author.] Crowther, Paul [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 2nd 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)
	1318.	Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by Drăgoi, Cezara [editor.] Mukherjee, Suvam [editor.] Namjoshi, Kedar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12913 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)
	1319.	Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / by Hou, Zhe [editor.] Ganesh, Vijay [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12971 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)
	1320.	Statistical Language and Speech Processing [electronic resource] : 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings / by Espinosa-Anke, Luis [editor.] Martín-Vide, Carlos [editor.] Spasić, Irena [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13062 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 4479 results.