Coordination Languages and Models

First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.

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

Transactions on Computational Systems Biology V

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

Scalable Uncertainty Management

6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012, Proceedings

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

Ubiquitous Intelligence and Computing

6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings

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

Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

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

Algebraic and Logic Programming

4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings

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

Knowledge Representation and Reasoning Under Uncertainty

Logic at Work

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

Product Focused Software Process Improvement

6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings

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

Advances in Cryptology - ASIACRYPT 2002

8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings

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