FEEDBACK Smiley face

Your search returned 49 results. Subscribe to this search

|
1. Queueing Networks with Discrete Time Scale [electronic resource] :Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks /

by Daduna, Hans [author.] | SpringerLink (Online service).

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

2. Lectures on Formal Methods and PerformanceAnalysis [electronic resource] :First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures /

by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [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, 2001.Online access: Click here to access online Availability: No items available

3. Web Engineering and Peer-to-Peer Computing [electronic resource] :NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised Papers /

by Gregori, Enrico [editor.] | Cherkasova, Ludmila [editor.] | Cugola, Gianpaolo [editor.] | Panzieri, Fabio [editor.] | Picco, Gian Pietro [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. 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

6. Parallel and Distributed Processing and Applications [electronic resource] :International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings /

by Guo, Minyi [editor.] | Yang, Laurence Tianruo [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

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

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

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

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

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

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

13. Software Architectures, Components, and Applications [electronic resource] :Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /

by Overhage, Sven [editor.] | Szyperski, Clemens A [editor.] | Reussner, Ralf [editor.] | Stafford, Judith A [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, 2007.Online access: Click here to access online Availability: No items available

14. Advances in Grid and Pervasive Computing [electronic resource] :Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings /

by Wu, Song [editor.] | Yang, Laurence T [editor.] | Xu, Tony Li [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, 2008.Online access: Click here to access online Availability: No items available

15. Analytical and Stochastic Modeling Techniques and Applications [electronic resource] :15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /

by Al-Begain, Khalid [editor.] | Heindl, Armin [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, 2008.Online access: Click here to access online Availability: No items available

16. Tests and Proofs [electronic resource] :Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /

by Beckert, Bernhard [editor.] | Hähnle, Reiner [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, 2008.Online access: Click here to access online Availability: No items available

17. 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, Tomàs [editor.] | Benítez, Domingo [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, 2008.Online access: Click here to access online Availability: No items available

18. Computer Performance Engineering [electronic resource] :5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings /

by Thomas, Nigel [editor.] | Juiz, Carlos [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, 2008.Online access: Click here to access online Availability: No items available

19. Runtime Verification [electronic resource] :8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /

by Leucker, Martin [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, 2008.Online access: Click here to access online Availability: No items available

20. Reliable Software Technologies – Ada-Europe 2009 [electronic resource] :14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /

by Kordon, Fabrice [editor.] | Kermarrec, Yvon [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


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