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

Results
	3341.	Language Engineering and Rigorous Software Development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers / by Bove, Ana [editor.] Barbosa, Luis Soares [editor.] Pardo, Alberto [editor.] Pinto, Jorge Sousa [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5520 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)
	3342.	Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / by Iida, Shusaku [editor.] Meseguer, José [editor.] Ogata, Kazuhiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8373 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3343.	Transactions on Pattern Languages of Programming II [electronic resource] : Special lssue on Applying Patterns / by Avgeriou, Paris [editor.] Harrison, Neil B [editor.] Zdun, Uwe [editor.] SpringerLink (Online service) Series: Transactions on Pattern Languages of Programming ; 6510 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)
	3344.	The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / by Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3600 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)
	3345.	Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / by Müller-Hannemann, Matthias [editor.] Schirra, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5971 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)
	3346.	All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program, and Verify Systems in Rewriting Logic / by Clavel, Manuel [author.] Durán, Francisco [author.] Eker, Steven [author.] Lincoln, Patrick [author.] Martí-Oliet, Narciso [author.] Meseguer, José [author.] Talcott, Carolyn [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4350 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3347.	Business Process Models [electronic resource] : Change Management / by Gerth, Christian [author.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7849 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3348.	Peer-to-Peer Systems and Applications [electronic resource] / by Steinmetz, Ralf [editor.] Wehrle, Klaus [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3485 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)
	3349.	Fault Prediction Modeling for the Prediction of Number of Software Faults [electronic resource] / by Rathore, Santosh Singh [author.] Kumar, Sandeep [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	3350.	Future-Proof Software-Systems [electronic resource] : A Sustainable Evolution Strategy / by Furrer, Frank J [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3351.	Software Technologies [electronic resource] : 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers / by Fill, Hans-Georg [editor.] van Sinderen, Marten [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1622 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)
	3352.	Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part IV / 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 ; 14270 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)
	3353.	Intelligent Robotics and Applications [electronic resource] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part V / 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 ; 14271 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)
	3354.	RoboCup 2015: Robot World Cup XIX [electronic resource] / by Almeida, Luis [editor.] Ji, Jianmin [editor.] Steinbauer, Gerald [editor.] Luke, Sean [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9513 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)
	3355.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers / by Park, Jong Hyuk [editor.] Shen, Hong [editor.] Sung, Yunsick [editor.] Tian, Hui [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 931 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)
	3356.	Innovations for Community Services [electronic resource] : 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings / by Lüke, Karl-Heinz [editor.] Eichler, Gerald [editor.] Erfurth, Christian [editor.] Fahrnberger, Günter [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1041 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)
	3357.	Knowledge Management in Organizations [electronic resource] : 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings / by Uden, Lorna [editor.] Ting, I-Hsien [editor.] Corchado, Juan Manuel [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1027 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)
	3358.	Information and Communication Technology for Development for Africa [electronic resource] : Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers / by Mekuria, Fisseha [editor.] Nigussie, Ethiopia [editor.] Tegegne, Tesfa [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1026 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)
	3359.	Quality of Information and Communications Technology [electronic resource] : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings / by Paiva, Ana C. R [editor.] Cavalli, Ana Rosa [editor.] Ventura Martins, Paula [editor.] Pérez-Castillo, Ricardo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1439 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)
	3360.	Dependable Computing - EDCC 2021 Workshops [electronic resource] : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings / by Adler, Rasmus [editor.] Bennaceur, Amel [editor.] Burton, Simon [editor.] Di Salle, Amleto [editor.] Nostro, Nicola [editor.] Olsen, Rasmus Løvenstein [editor.] Saidi, Selma [editor.] Schleiss, Philipp [editor.] Schneider, Daniel [editor.] Schwefel, Hans-Peter [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1462 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 4435 results.