Rewriting Techniques and Applications

5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings

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

Graph-Theoretic Concepts in Computer Science

19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings

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

Multi-Agent-Based Simulation VII

International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

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

Case-Based Reasoning Research and Development

19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011, Proceedings

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

Issues in Agent Communication

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

Computer Science -- Theory and Applications

First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings

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

Software Technologies for Embedded and Ubiquitous Systems

5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers

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

Computer Security -- ESORICS 2012

17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012, Proceedings

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

Smart Sensing and Context

4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings

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