FEEDBACK Smiley face

Your search returned 70 results. Subscribe to this search

|
1. Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks [electronic resource] :IFIP-TC6/European Commission International Conference Paris, France, May 14–19, 2000 Proceedings /

by Pujolle, Guy [editor.] | Perros, Harry [editor.] | Fdida, Serge [editor.] | Körner, Ulf [editor.] | Stavrakakis, Ioannis [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] :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

3. Dependable Computing EDCC-4 [electronic resource] :4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings /

by Bondavalli, Andrea [editor.] | Thevenod-Fosse, Pascale [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

4. Performance Evaluation of Complex Systems: Techniques and Tools [electronic resource] :Performance 2002 Tutorial Lectures /

by Calzarossa, Maria Carla [editor.] | Tucci, Salvatore [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

5. Interactive Markov Chains [electronic resource] :And the Quest for Quantified Quality /

by Hermanns, Holger [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

6. On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] /

by Pflanz, Matthias [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, 2002.Online access: Click here to access online Availability: No items available

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

8. Dependable Computing [electronic resource] :First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings /

by Lemos, Rogério de [editor.] | Weber, Taisy Silva [editor.] | Camargo, João Batista [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

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

10. Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] :FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings /

by Núñez, Manuel [editor.] | Maamar, Zakaria [editor.] | Pelayo, Fernando L [editor.] | Pousttchi, Key [editor.] | Rubio, Fernando [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, 2004.Online access: Click here to access online Availability: No items available

11. Embedded Software and Systems [electronic resource] :First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /

by Wu, Zhaohui [editor.] | Chen, Chun [editor.] | Guo, Minyi [editor.] | Bu, Jiajun [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, 2005.Online access: Click here to access online Availability: No items available

12. Formal Techniques for Computer Systems and Business Processes [electronic resource] :European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings /

by Bravetti, Mario [editor.] | Kloul, Leïla [editor.] | Zavattaro, Gianluigi [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, 2005.Online access: Click here to access online Availability: No items available

13. Dependable Computing - EDCC 5 [electronic resource] :5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings /

by Cin, Mario Dal [editor.] | Kaâniche, Mohamed [editor.] | Pataricza, András [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, 2005.Online access: Click here to access online Availability: No items available

14. Quality of Software Architectures and Software Quality [electronic resource] :First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings /

by Reussner, Ralf [editor.] | Mayer, Johannes [editor.] | Stafford, Judith A [editor.] | Overhage, Sven [editor.] | Becker, Steffen [editor.] | Schroeder, Patrick 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, 2005.Online access: Click here to access online Availability: No items available

15. Dependable Computing [electronic resource] :Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings /

by Maziero, Carlos Alberto [editor.] | Gabriel Silva, João [editor.] | Andrade, Aline Maria Santos [editor.] | Assis Silva, Flávio Morais de [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, 2005.Online access: Click here to access online Availability: No items available

16. Advances in Grid and Pervasive Computing [electronic resource] :First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings /

by Chung, Yeh-Ching [editor.] | Moreira, José E [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, 2006.Online access: Click here to access online Availability: No items available

17. Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] :Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings /

by Horváth, András [editor.] | Telek, Miklós [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, 2006.Online access: Click here to access online Availability: No items available

18. Dependable Systems: Software, Computing, Networks [electronic resource] :Research Results of the DICS Program /

by Kohlas, Jürg [editor.] | Meyer, Bertrand [editor.] | Schiper, André [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, 2006.Online access: Click here to access online Availability: No items available

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

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

20. Quality of Software Architectures [electronic resource] :Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers /

by Hofmeister, Christine [editor.] | Crnkovic, Ivica [editor.] | Reussner, Ralf [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, 2006.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