Rigorous Development of Complex Fault-Tolerant Systems

Produktform: Buch / Einband - flex.(Paperback)

Coordination Models and Languages

16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Empirical Software Engineering and Verification

International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Produktform: Buch / Einband - flex.(Paperback)

Engineering Human Computer Interaction and Interactive Systems

Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Service-Oriented and Cloud Computing

Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Software Composition

8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Component Deployment

Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Coordination Models and Languages

14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings

Produktform: Buch / Einband - flex.(Paperback)