Games, Actions, and Social Software

Multidisciplinary Aspects

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

Methods, Models and Tools for Fault Tolerance

Produktform: Buch / Einband - flex.(Paperback)

Computer Safety, Reliability, and Security

27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Agent-Oriented Software Engineering VII

7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Produktform: Buch / Einband - flex.(Paperback)

Software Process Improvement

12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

End-User Development

4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

---