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

Results
	361.	Fields of Logic and Computation II [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by Beklemishev, Lev D [editor.] Blass, Andreas [editor.] Dershowitz, Nachum [editor.] Finkbeiner, Bernd [editor.] Schulte, Wolfram [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9300 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)
	362.	Engineering Trustworthy Software Systems [electronic resource] : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10215 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)
	363.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7007 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)
	364.	Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / by Fernandes, João M [editor.] Lämmel, Ralf [editor.] Visser, Joost [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6491 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)
	365.	Transactions on Pattern Languages of Programming I [electronic resource] / by Noble, James [editor.] Johnson, Ralph [editor.] SpringerLink (Online service) Series: Transactions on Pattern Languages of Programming ; 5770 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)
	366.	Architecting Dependable Systems VII [electronic resource] / by Casimiro, Antonio [editor.] de Lemos, Rogério [editor.] Gacek, Cristina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6420 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)
	367.	Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings / by Thomas, Nigel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6977 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)
	368.	Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / by Yang, Hongseok [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7078 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)
	369.	ECOOP 2011--Object-Oriented Programming [electronic resource] : 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings / by Mezini, Mira [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6813 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)
	370.	Software Reuse for Dynamic Systems in the Cloud and Beyond [electronic resource] : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings / by Schaefer, Ina [editor.] Stamelos, Ioannis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8919 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)
	371.	Fundamentals of Software Engineering [electronic resource] : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7141 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)
	372.	Rule-Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings / by Palmirani, Monica [editor.] Sottara, Davide [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7018 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)
	373.	NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / by Brat, Guillaume [editor.] Rungta, Neha [editor.] Venet, Arnaud [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7871 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)
	374.	Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / by Van Gorp, Pieter [editor.] Ritter, Tom [editor.] Rose, Louis M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7949 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)
	375.	Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Gnesi, Stefania [editor.] Latella, Diego [editor.] Treharne, Helen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7321 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)
	376.	Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings / by Fischbach, Kai [editor.] Krieger, Udo R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8376 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)
	377.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings / by Di Martino, Beniamino [editor.] Kranzlmüller, Dieter [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3666 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)
	378.	Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings / by Schmitt, Jens B [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7201 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)
	379.	Product-Focused Software Process Improvement [electronic resource] : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings / by Kuhrmann, Marco [editor.] Schneider, Kurt [editor.] Pfahl, Dietmar [editor.] Amasaki, Sousuke [editor.] Ciolkowski, Marcus [editor.] Hebig, Regina [editor.] Tell, Paolo [editor.] Klünder, Jil [editor.] Küpper, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11271 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)
	380.	Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / by Reps, Thomas [editor.] Sagiv, Mooly [editor.] Bauer, Jörg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4444 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 386 results.