FEEDBACK Smiley face

Your search returned 17 results. Subscribe to this search

|
1. Computer Performance Evaluation.Modelling Techniques and Tools [electronic resource] :11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings /

by Haverkort, Boudewijn R [editor.] | Bohnenkamp, Henrik C [editor.] | Smith, Connie U [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

2. Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] :12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings /

by Field, Tony [editor.] | Harrison, Peter G [editor.] | Bradley, Jeremy [editor.] | Harder, Uli [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available

3. Computer Performance Evaluation. Modelling Techniques and Tools [electronic resource] :13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings /

by Kemper, Peter [editor.] | Sanders, William H [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

4. Hybrid Systems: Computation and Control [electronic resource] :7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /

by Alur, Rajeev [editor.] | Pappas, George J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

5. Analytical and Stochastic Modeling Techniques and Applications [electronic resource] :16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings /

by Al-Begain, Khalid [editor.] | Fiems, Dieter [editor.] | Horváth, Gábor [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

6. 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 Leuken, René van [editor.] | Sicard, Gilles [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Online access: Click here to access online Availability: No items available

7. 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, José L [editor.] | García-Cámara, Braulio [editor.] | Prieto, Manuel [editor.] | Ruggiero, Martino [editor.] | Sicard, Gilles [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

8. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

9. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

10. Computer Performance Engineering [electronic resource] :10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /

by Balsamo, Maria Simonetta [editor.] | Knottenbelt, William J [editor.] | Marin, Andrea [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

11. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

12. Computer Performance Engineering [electronic resource] :11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings /

by Horváth, András [editor.] | Wolter, Katinka [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

13. Model-Driven Engineering Languages and Systems [electronic resource] :17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /

by Dingel, Juergen [editor.] | Schulte, Wolfram [editor.] | Ramos, Isidro [editor.] | Abrahão, Silvia [editor.] | Insfran, Emilio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

14. High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] :11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /

by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015.Online access: Click here to access online Availability: No items available

15. Interactive Theorem Proving [electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /

by Blanchette, Jasmin Christian [editor.] | Merz, Stephan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available

16. Computer Performance Engineering [electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /

by Fiems, Dieter [editor.] | Paolieri, Marco [editor.] | Platis, Agapios N [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available

17. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in