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

Results
	601.	Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / by Clarke, David [editor.] Agha, Gul [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6116 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)
	602.	Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / by Shankar, Natarajan [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5295 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)
	603.	Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings / by Schmidt, Heinz G [editor.] Crnkovic, Ivica [editor.] Heineman, George T [editor.] Stafford, Judith A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4608 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)
	604.	Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / by Wirsing, Martin [editor.] Banatre, Jean-Pierre [editor.] Hölzl, Matthias [editor.] Rauschmayer, Axel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5380 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)
	605.	Object, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings / by Furia, Carlo A [editor.] Nanz, Sebastian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7304 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)
	606.	OpenMP: Memory, Devices, and Tasks [electronic resource] : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / by Maruyama, Naoya [editor.] de Supinski, Bronis R [editor.] Wahib, Mohamed [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9903 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)
	607.	Theory and Practice of Model Transformations [electronic resource] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / by Hu, Zhenjiang [editor.] de Lara, Juan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7307 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)
	608.	Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / by De Meuter, Wolfgang [editor.] Roman, Gruia-Catalin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6721 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)
	609.	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers / by Ghosh, Sudipto [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6002 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)
	610.	Intelligent Tutoring Systems [electronic resource] : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings / by Micarelli, Alessandro [editor.] Stamper, John [editor.] Panourgia, Kitty [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9684 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)
	611.	Theory and Practice of Model Transformations [electronic resource] : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / by Van Gorp, Pieter [editor.] Engels, Gregor [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9765 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)
	612.	Research into Practice - Reality and Gaps [electronic resource] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / by Heineman, George [editor.] Kofron, Jan [editor.] Plasil, Frantisek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6093 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)
	613.	Formal Techniques for Networked and Distributed Systems - FORTE 2005 [electronic resource] : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings / by Wang, Farn [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3731 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)
	614.	Mastering Scale and Complexity in Software Reuse [electronic resource] : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings / by Botterweck, Goetz [editor.] Werner, Claudia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10221 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)
	615.	Software Process Improvement [electronic resource] : 13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings / by Richardson, Ita [editor.] Runeson, Per [editor.] Messnarz, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4257 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)
	616.	Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / by Bin, Eyal [editor.] Ziv, Avi [editor.] Ur, Shmuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4383 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)
	617.	Service-Oriented Computing [electronic resource] : ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SC-LOG San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers / by Maximilien, E. Michael [editor.] Rossi, Gustavo [editor.] Yuan, Soe-Tsyr [editor.] Ludwig, Heiko [editor.] Fantinato, Marcelo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6568 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)
	618.	Coordination Models and Languages [electronic resource] : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / by Jacquet, Jean-Marie [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10319 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)
	619.	Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / by Lahiri, Shuvendu [editor.] Reger, Giles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10548 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)
	620.	Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by Hankin, Chris [editor.] Siveroni, Igor [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3672 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1021 results.