for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.
This book constitutes the refereed proceedings of the 13th International... Læs mere
This book constitutes the refereed proceedings of the 10th International... Læs mere
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.
In the face of relentless pressure to do things faster, this book facilitates rapid forecasting of capacity requirements, based on opportunistic use of available performance data and tools so that management insight is expanded but production schedules are not.
This book constitutes the refereed proceedings from the Third International... Læs mere
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions... Læs mere
This book constitutes the refereed proceedings of the 9th International... Læs mere
This book constitutes the refereed proceedings of the 8th International Conference on Grid... Læs mere
This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015.
This book constitutes the proceedings of the 12th International Conference on Green, Pervasive, and Cloud Computing, GPC 2017, held in Cetara, Italy, in May 2017 and the following colocated workshops: First International Workshop on Digital Knowledge Ecosystems 2017;