Dependable Computing - EDCC 2005

5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

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

Human-Computer Interaction. Interaction Design and Usability

12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

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

The Common Component Modeling Example

Comparing Software Component Models

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

Runtime Verification

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

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

Logic Programming

23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

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

ECOOP 2012 -- Object-Oriented Programming

26th European Conference, Beijing, China, June 11-16, 2012, Proceedings

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

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

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

Formal Methods for Dynamical Systems

13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

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

Generative and Transformational Techniques in Software Engineering II

International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

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

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

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