Your search returned 117 results.

Results
	101.	Runtime Verification [electronic resource] : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / by Falcone, Yliès [editor.] Sánchez, César [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10012 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)
	102.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by Wittevrongel, Sabine [editor.] Phung-Duc, Tuan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9845 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)
	103.	Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / by Moreira, Ana [editor.] Schätz, Bernhard [editor.] Gray, Jeff [editor.] Vallecillo, Antonio [editor.] Clarke, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8107 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)
	104.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / by Al-Begain, Khalid [editor.] Fiems, Dieter [editor.] Knottenbelt, William [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6148 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)
	105.	Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings / by Dumas, Marlon [editor.] Heckel, Reiko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4937 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)
	106.	Modelling Foundations and Applications [electronic resource] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / by Anjorin, Anthony [editor.] Espinoza, Huáscar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10376 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)
	107.	Multicore Software Engineering, Performance and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings / by Pankratius, Victor [editor.] Philippsen, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7303 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)
	108.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings / by Al-Begain, Khalid [editor.] Fiems, Dieter [editor.] Vincent, Jean-Marc [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7314 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)
	109.	Cloud Computing and Big Data [electronic resource] : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers / by Qiang, Weizhong [editor.] Zheng, Xianghan [editor.] Hsu, Ching-Hsien [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9106 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)
	110.	Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / by Tribastone, Mirco [editor.] Gilmore, Stephen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7587 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)
	111.	Computer Performance Engineering [electronic resource] : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings / by Reinecke, Philipp [editor.] Di Marco, Antinisca [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10497 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)
	112.	Energy-Efficient Data Centers [electronic resource] : Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers / by Klingert, Sonja [editor.] Hesselbach-Serra, Xavier [editor.] Perez Ortega, Maria [editor.] Giuliani, Giovanni [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8343 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)
	113.	Topics in Performance Evaluation, Measurement and Characterization [electronic resource] : Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7144 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)
	114.	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)
	115.	Services – SERVICES 2020 [electronic resource] : 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by Ferreira, Joao Eduardo [editor.] Palanisamy, Balaji [editor.] Ye, Kejiang [editor.] Kantamneni, Siva [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12411 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	116.	Computer Performance Engineering [electronic resource] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / by Bakhshi, Rena [editor.] Ballarini, Paolo [editor.] Barbot, Benoît [editor.] Castel-Taleb, Hind [editor.] Remke, Anne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11178 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)
	117.	Human-Centered and Error-Resilient Systems Development [electronic resource] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / by Bogdan, Cristian [editor.] Gulliksen, Jan [editor.] Sauer, Stefan [editor.] Forbrig, Peter [editor.] Winckler, Marco [editor.] Johnson, Chris [editor.] Palanque, Philippe [editor.] Bernhaupt, Regina [editor.] Kis, Filip [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9856 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)

First
Previous
1
2
3
4
5
6

© 2024 IIIT-Delhi, library@iiitd.ac.in