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

Results
	761.	Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings / by Demri, Stéphane [editor.] Kapur, Deepak [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8562 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)
	762.	FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / by Giannakopoulou, Dimitra [editor.] Mery, Dominique [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7436 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)
	763.	Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8051 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)
	764.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers / by Vanmechelen, Kurt [editor.] Altmann, Jörn [editor.] Rana, Omer F [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7150 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)
	765.	Security Standardisation Research [electronic resource] : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / by Cremers, Cas [editor.] Lehmann, Anja [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11322 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	766.	Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications [electronic resource] : 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers / by Mirto, Ignazio Mauro [editor.] Monteleone, Mario [editor.] Silberztein, Max [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 987 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)
	767.	ICT Education [electronic resource] : 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers / by Kabanda, Salah [editor.] Suleman, Hussein [editor.] Gruner, Stefan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 963 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)
	768.	Graph Transformation [electronic resource] : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by Guerra, Esther [editor.] Orejas, Fernando [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11629 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)
	769.	Agile Processes in Software Engineering and Extreme Programming – Workshops [electronic resource] : XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings / by Hoda, Rashina [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 364 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)
	770.	Computational Logistics [electronic resource] : 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings / by Paternina-Arboleda, Carlos [editor.] Voß, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11756 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)
	771.	Concise Guide to Software Testing [electronic resource] / by O'Regan, Gerard [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	772.	PRIMA 2019: Principles and Practice of Multi-Agent Systems [electronic resource] : 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings / by Baldoni, Matteo [editor.] Dastani, Mehdi [editor.] Liao, Beishui [editor.] Sakurai, Yuko [editor.] Zalila Wenkstern, Rym [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11873 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)
	773.	Security and Quality in Cyber-Physical Systems Engineering [electronic resource] : With Forewords by Robert M. Lee and Tom Gilb / by Biffl, Stefan [editor.] Eckhart, Matthias [editor.] Lüder, Arndt [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) 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)
	774.	High Performance Computing Systems [electronic resource] : 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers / by Bianchini, Calebe [editor.] Osthoff, Carla [editor.] Souza, Paulo [editor.] Ferreira, Renato [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1171 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)
	775.	Mining Software Engineering Data for Software Reuse [electronic resource] / by Diamantopoulos, Themistoklis [author.] Symeonidis, Andreas L [author.] SpringerLink (Online service) Series: Advanced Information and Knowledge Processing 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)
	776.	Design, User Experience, and Usability. Interaction Design [electronic resource] : 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by Marcus, Aaron [editor.] Rosenzweig, Elizabeth [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12200 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)
	777.	Wireless Algorithms, Systems, and Applications [electronic resource] : 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I / by Liu, Zhe [editor.] Wu, Fan [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12937 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)
	778.	Service-Oriented Computing - ICSOC Workshops 2012 [electronic resource] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / by Ghose, Aditya [editor.] Zhu, Huibiao [editor.] Yu, Qi [editor.] Delis, Alex [editor.] Sheng, Quan Z [editor.] Perrin, Olivier [editor.] Wang, Jianmin [editor.] Wang, Yan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7759 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)
	779.	Knowledge Science, Engineering and Management [electronic resource] : 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings / by Buchmann, Robert [editor.] Kifor, Claudiu Vasile [editor.] Yu, Jian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8793 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)
	780.	Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings / by Dingel, Juergen [editor.] Schulte, Wolfram [editor.] Ramos, Isidro [editor.] Abrahao, Silvia [editor.] Insfran, Emilio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8767 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.