Results of search for 'ccl=se,phr:"Programming and Software Engineering,"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by Ramos, Felix F [editor.] Lrios Rosillo, Victor [editor.] Unger, Herwig [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3563 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)
	402.	Middleware 2005 [electronic resource] : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings / by Alonso, Gustavo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3790 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)
	403.	Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / by Eder, Kerstin [editor.] Lourenҫo, João [editor.] Shehory, Onn [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7261 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)
	404.	Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / by Malloy, Brian [editor.] Staab, Steffen [editor.] van den Brand, Mark [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6563 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)
	405.	Tests and Proofs [electronic resource] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / by Dubois, Catherine [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10889 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)
	406.	Services Computing – SCC 2018 [electronic resource] : 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by Ferreira, João Eduardo [editor.] Spanoudakis, George [editor.] Ma, Yutao [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10969 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)
	407.	Services – SERVICES 2018 [electronic resource] : 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by Yang, Alvin [editor.] Kantamneni, Siva [editor.] Li, Ying [editor.] Dico, Awel [editor.] Chen, Xiangang [editor.] Subramanyan, Rajesh [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10975 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)
	408.	Programming Languages and Systems [electronic resource] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / by Igarashi, Atsushi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10017 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)
	409.	Reliable Software Technologies - Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / by Kordon, Fabrice [editor.] Kermarrec, Yvon [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5570 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)
	410.	Reliable Software Technologies – Ada-Europe 2015 [electronic resource] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / by de la Puente, Juan Antonio [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9111 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)
	411.	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / by Liu, Zhiming [editor.] Ravn, Anders P [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5799 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)
	412.	Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by Koornneef, Floor [editor.] van Gulijk, Coen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9337 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)
	413.	Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings / by Apel, Sven [editor.] Jackson, Ethan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6708 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)
	414.	ECOOP 2013 -- Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings / by Castagna, Giuseppe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7920 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)
	415.	Self-Sustaining Systems [electronic resource] : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings / by Hirschfeld, Robert [editor.] Rose, Kim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5146 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)
	416.	Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / by Kordon, Fabrice [editor.] Sztipanovits, Janos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4322 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)
	417.	End-User Development [electronic resource] : Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings / by Costabile, Maria Francesca [editor.] Dittrich, Yvonne [editor.] Fischer, Gerhard [editor.] Piccinno, Antonio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6654 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)
	418.	Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings / by Wolter, Katinka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4748 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)
	419.	HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, Proceedings / by Holzinger, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5298 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)
	420.	Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / by Riis Nielson, Hanne [editor.] Filé, Gilberto [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4634 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 1021 results.