Analytical and Stochastic Modeling Techniques and Applications

16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Software Product Lines: Going Beyond

14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Model Driven Architecture - Foundations and Applications

5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Runtime Verification

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Dependability Metrics

GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Object-Oriented Technology. ECOOP 2008 Workshop Reader

ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Produktform: Buch / Einband - flex.(Paperback)

Foundations of Health Informatics Engineering and Systems

First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Software Engineering for Self-Adaptive Systems

Produktform: Buch / Einband - flex.(Paperback)

---

Quality of Software Architectures and Software Quality

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

Produktform: Buch / Einband - flex.(Paperback)