Results of search for 'ccl=su:{Performance} and su-to:Computer science and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	High Performance Computing - HiPC 2008 [electronic resource] : 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings / by Sadayappan, P [editor.] Parashar, Manish [editor.] Badrinath, Ramamurthy [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5374 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)
	82.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings / by Al-Begain, Khalid [editor.] Balsamo, Simonetta [editor.] Fiems, Dieter [editor.] Marin, Andrea [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6751 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)
	83.	Computer Performance Engineering [electronic resource] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / by Beltrán, Marta [editor.] Knottenbelt, William [editor.] Bradley, Jeremy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9272 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)
	84.	Foundational and Practical Aspects of Resource Analysis [electronic resource] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / by van Eekelen, Marko [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9964 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)
	85.	Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / by Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5289 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)
	86.	Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / by Cimatti, Alessandro [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10469 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)
	87.	Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings / by France, Robert B [editor.] Kazmeier, Jürgen [editor.] Breu, Ruth [editor.] Atkinson, Colin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7590 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)
	88.	Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by Bravetti, Mario [editor.] Núñez, Manuel [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4184 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)
	89.	High Performance Computing for Computational Science – VECPAR 2016 [electronic resource] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / by Dutra, Inês [editor.] Camacho, Rui [editor.] Barbosa, Jorge [editor.] Marques, Osni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10150 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)
	90.	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)
	91.	Euro-Par 2008 Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings / by Luque, Emilio [editor.] Margalef, Tomas [editor.] Benítez, Domingo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5168 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)
	92.	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)
	93.	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)
	94.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings / by Ayala, Jose L [editor.] Garcia-Camara, Braulio [editor.] Prieto, Manuel [editor.] Ruggiero, Martino [editor.] Sicard, Gilles [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6951 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)
	95.	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)
	96.	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)
	97.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers / by van Leuken, Rene [editor.] Sicard, Gilles [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6448 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)
	98.	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)
	99.	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)
	100.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 114 results.