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

Results
	461.	Performance Evaluation and Benchmarking [electronic resource] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6417 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)
	462.	Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings / by D'Souza, Deepak [editor.] Narayan Kumar, K [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10482 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)
	463.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers / by Paskevich, Andrei [editor.] Wies, Thomas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10712 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)
	464.	System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / by Haugen, Oystein [editor.] Reed, Rick [editor.] Gotzhein, Reinhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7744 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)
	465.	Formal Methods: Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings / by Simao, Adenilso [editor.] Morgan, Carroll [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7021 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)
	466.	Advanced Topics in Exception Handling Techniques [electronic resource] / by Dony, Christophe [editor.] Knudsen, Jorgen Lindskov [editor.] Romanovsky, Alexander [editor.] Tripathi, Anand [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4119 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)
	467.	Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings / by Górski, Janusz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4166 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)
	468.	Applied Algorithms [electronic resource] : First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings / by Gupta, Prosenjit [editor.] Zaroliagis, Christos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8321 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)
	469.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / by Beckert, Bernhard [editor.] Damiani, Ferruccio [editor.] Gurov, Dilian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7421 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)
	470.	Testing Software and Systems [electronic resource] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / by Yevtushenko, Nina [editor.] Cavalli, Ana Rosa [editor.] Yenigün, Hüsnü [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10533 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)
	471.	Software Engineering for Self-Adaptive Systems III. Assurances [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers / by de Lemos, Rogério [editor.] Garlan, David [editor.] Ghezzi, Carlo [editor.] Giese, Holger [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9640 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)
	472.	Risk Assessment and Risk-Driven Testing [electronic resource] : First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers / by Bauer, Thomas [editor.] Großmann, Jürgen [editor.] Seehusen, Fredrik [editor.] Stølen, Ketil [editor.] Wendland, Marc-Florian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8418 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)
	473.	Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 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)
	474.	Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / by Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 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)
	475.	Risk Assessment and Risk-Driven Quality Assurance [electronic resource] : 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers / by Großmann, Jürgen [editor.] Felderer, Michael [editor.] Seehusen, Fredrik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10224 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)
	476.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings / by Sawyer, Pete [editor.] Paech, Barbara [editor.] Heymans, Patrick [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4542 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)
	477.	Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / by Russo, Claudio [editor.] Zhou, Neng-Fa [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7149 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)
	478.	Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings / by Dumke, Reiner R [editor.] Braungarten, René [editor.] Büren, Günter [editor.] Abran, Alain [editor.] Cuadrado-Gallego, Juan J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5338 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)
	479.	Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / by Bertacco, Valeria [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8244 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	480.	Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / by Alferes, Jose Julio [editor.] Bertossi, Leopoldo [editor.] Governatori, Guido [editor.] Fodor, Paul [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9718 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1025 results.