FEEDBACK Smiley face

Your search returned 288 results. Subscribe to this search

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

22. Performance Engineering [electronic resource] :State of the Art and Current Trends /

by Dumke, Reiner [editor.] | Rautenstrauch, Claus [editor.] | Scholz, André [editor.] | Schmietendorf, Andreas [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

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

24. Job Scheduling Strategies for Parallel Processing [electronic resource] :8th International Workshop, JSSPP 2002 Edinburgh, Scotland, UK, July 24, 2002 Revised Papers /

by Feitelson, Dror G [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [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

25. Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] :12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings /

by Hochet, Bertrand [editor.] | Acosta, Antonio J [editor.] | Bellido, Manuel 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, 2002.Online access: Click here to access online Availability: No items available

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

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

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

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

30. Embedded Processor Design Challenges [electronic resource] :Systems, Architectures, Modeling, and Simulation — SAMOS /

by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [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

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

32. NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications [electronic resource] :Second International IFIP-TC6 Networking Conference Pisa, Italy, May 19–24, 2002 Proceedings /

by Gregori, Enrico [editor.] | Conti, Marco [editor.] | Campbell, Andrew T [editor.] | Omidyar, Guy [editor.] | Zukerman, Moshe [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

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

34. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] :13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings /

by Chico, Jorge Juan [editor.] | Macii, Enrico [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

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

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

37. Performance Tools and Applications to Networked Systems [electronic resource] :Revised Tutorial Lectures /

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

38. Passive and Active Network Measurement [electronic resource] :5th International Workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004. Proceedings /

by Barakat, Chadi [editor.] | Pratt, Ian [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

39. Networking 2004 [electronic resource] :Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Third International IFIP-TC6 Networking Conference Athens, Greece, May 9–14, 2004, Proceedings /

by Mitrou, Nikolas [editor.] | Kontovasilis, Kimon [editor.] | Rouskas, George N [editor.] | Iliadis, Ilias [editor.] | Merakos, Lazaros [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

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


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