61
Guerrilla Capacity Planning [E-Book] : A Tactical Approach to Planning for Highly Scalable Applications and Services /
62
Guide to Advanced Empirical Software Engineering [E-Book] /
63
Hard Real-Time Computing Systems [E-Book] : Predictable Scheduling Algorithms and Applications /
64
High Availability and Disaster Recovery [E-Book] : Concepts, Design, Implementation /
65
High Performance Computing and Applications [E-Book] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /
66
HPC@Green IT [E-Book] : Green High Performance Computing Methods /
67
Human Interface and the Management of Information. Interacting with Information [E-Book] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I /
68
Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /
69
Improvements in System Safety [E-Book] /
70
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [E-Book] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /
71
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings [E-Book]/
72
Interactive Markov Chains [E-Book] : And the Quest for Quantified Quality /
73
Languages for Embedded Systems and their Applications [E-Book] : Selected Contributions on Specification, Design, and Verification from FDL’08 /
74
Lectures on Formal Methods and PerformanceAnalysis [E-Book] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures /
75
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
76
Making Systems Safer [E-Book] : Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 /
77
Managing Traffic Performance in Converged Networks [E-Book] : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings /
78
Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /
79
Model-Based Software Performance Analysis [E-Book] /
80
Network Performance Analysis [E-Book] : Using the J Programming Language /