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

Results
	61.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by Butler, Michael [editor.] Schewe, Klaus-Dieter [editor.] Mashkoor, Atif [editor.] Biro, Miklos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9675 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)
	62.	Variable Domain-specific Software Languages with DjDSL [electronic resource] : Design and Implementation / by Sobernig, Stefan [author.] SpringerLink (Online service) 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)
	63.	NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11460 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)
	64.	Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by Ait-Ameur, Yamine [editor.] Qin, Shengchao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11852 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)
	65.	Model-Driven Engineering and Software Development [electronic resource] : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by Hammoudi, Slimane [editor.] Pires, Luís Ferreira [editor.] Selić, Bran [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1161 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)
	66.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 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)
	67.	Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings / by Xiao, Bin [editor.] Yang, Laurence T [editor.] Muller-Schloer, Christian [editor.] Hua, Yu [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4610 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)
	68.	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by Pipek, Volkmar [editor.] Rosson, Mary-Beth [editor.] Wulf, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5435 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)
	69.	Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by Gribaudo, Marco [editor.] Jansen, David N [editor.] Remke, Anne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12289 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)
	70.	Search-Based Software Engineering [electronic resource] : 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings / by Papadakis, Mike [editor.] Vergilio, Silvia Regina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13711 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)
	71.	Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / by Bennaceur, Amel [editor.] Hähnle, Reiner [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11026 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)
	72.	Trustworthy Cyber-Physical Systems [electronic resource] : A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness / by Gol Mohammadi, Nazila [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)
	73.	Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by Guerra, Esther [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12649 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)
	74.	Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / by Krishnamachari, Bhaskar [editor.] Murphy, Amy L [editor.] Trigoni, Niki [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8354 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)
	75.	New Horizons in Design Science: Broadening the Research Agenda [electronic resource] : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings / by Donnellan, Brian [editor.] Helfert, Markus [editor.] Kenneally, Jim [editor.] VanderMeer, Debra [editor.] Rothenberger, Marcus [editor.] Winter, Robert [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9073 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)
	76.	High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / by Daydé, Michel [editor.] Marques, Osni [editor.] Nakajima, Kengo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8969 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)
	77.	Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / by Butler, Michael [editor.] Jones, Cliff [editor.] Romanovsky, Alexander [editor.] Troubitsyna, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4157 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)
	78.	Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / by Escobar, Santiago [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8663 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)
	79.	Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings / by Chen, Yixiang [editor.] Zhang, Songmao [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1657 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	80.	Intelligent Computer Mathematics [electronic resource] : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / by Benzmüller, Christoph [editor.] Miller, Bruce [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12236 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 896 results.