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

Results
	761.	Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / by Kordon, Fabrice [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4888 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)
	762.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by ter Beek, Maurice H [editor.] Gnesi, Stefania [editor.] Knapp, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9933 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)
	763.	Engineering Interactive Systems 2008 [electronic resource] : Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008, Proceedings / by Paternò, Fabio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5247 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)
	764.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by Graf, Susanne [editor.] Viswanathan, Mahesh [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9039 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)
	765.	Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [electronic resource] / by Sato, Mitsuhisa [editor.] Hanawa, Toshihiro [editor.] Müller, Matthias S [editor.] Chapman, Barbara [editor.] de Supinski, Bronis R [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6132 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)
	766.	Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / by Gurfinkel, Arie [editor.] Seshia, Sanjit A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9593 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)
	767.	Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / by Cabot, Jordi [editor.] Rubin, Julia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8569 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)
	768.	Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / by Bianculli, Domenico [editor.] Calinescu, Radu [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9509 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	769.	Middleware 2011 [electronic resource] : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings / by Kon, Fabio [editor.] Kermarrec, Anne-Marie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7049 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)
	770.	Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / by Duddy, Keith [editor.] Kappel, Gerti [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7909 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)
	771.	Software Architecture [electronic resource] : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers / by Gruhn, Volker [editor.] Oquendo, Flavio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4344 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)
	772.	Product-Focused Software Process Improvement [electronic resource] : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings / by Dieste, Oscar [editor.] Jedlitschka, Andreas [editor.] Juristo, Natalia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7343 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)
	773.	Human-Centered Software Engineering [electronic resource] : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings / by Sauer, Stefan [editor.] Bogdan, Cristian [editor.] Forbrig, Peter [editor.] Bernhaupt, Regina [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8742 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	774.	Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / by Cornélio, Márcio [editor.] Roscoe, Bill [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9526 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)
	775.	Performance Characterization and Benchmarking. Traditional to Big Data [electronic resource] : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8904 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)
	776.	Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things [electronic resource] : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9508 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)
	777.	Formal Methods for Industrial Critical Systems [electronic resource] : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / by Kowalewski, Stefan [editor.] Roveri, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6371 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)
	778.	Software Architecture [electronic resource] : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / by Tekinerdogan, Bedir [editor.] Zdun, Uwe [editor.] Babar, Ali [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9839 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)
	779.	Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / by Kotásek, Zdeněk [editor.] Bouda, Jan [editor.] Cerná, Ivana [editor.] Sekanina, Lukas [editor.] Vojnar, Tomas [editor.] Antoš, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7119 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)
	780.	21st Century Learning for 21st Century Skills [electronic resource] : 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings / by Ravenscroft, Andrew [editor.] Lindstaedt, Stefanie [editor.] Kloos, Carlos Delgado [editor.] Hernández-Leo, Davinia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7563 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1025 results.