Computer Safety, Reliability, and Security

SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

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

Formal Methods for Mobile Computing

5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

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

Architecting Dependable Systems III

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

Operational Semantics for Timed Systems

A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

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

Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

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

ECOOP 2008 - Object-Oriented Programming

22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

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

ECOOP 2011--Object-Oriented Programming

25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings

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

Reversible Computation

Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

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

Principles and Practice of Constraint Programming - CP 2006

12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings

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

Methods and Tools of Parallel Programming Multicomputers

Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

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