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

Results
	3381.	Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by Barnes, John [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5020 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)
	3382.	The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments / by Streitz, Norbert [editor.] Kameas, Achilles [editor.] Mavrommati, Irene [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4500 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)
	3383.	Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / by Zsók, Viktória [editor.] Horváth, Zoltán [editor.] Plasmeijer, Rinus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7241 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)
	3384.	Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / by Lämmel, Ralf [editor.] Visser, Joost [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5235 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)
	3385.	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)
	3386.	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)
	3387.	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)
	3388.	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)
	3389.	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)
	3390.	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)
	3391.	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)
	3392.	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)
	3393.	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)
	3394.	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)
	3395.	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)
	3396.	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)
	3397.	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)
	3398.	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)
	3399.	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)
	3400.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.