Theory and Applications of Models of Computation

5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings

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

---

Distributed Applications and Interoperable Systems

12th IFIP WG 6.1 International Conference, DAIS 2012. Stockholm, Sweden, June 13-16, 2012, Proceedings

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

Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

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

Hierarchical Neural Networks for Image Interpretation

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

Logic Programming and Nonmonotonic Reasoning

6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings

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

Analytical and Stochastic Modeling Techniques and Applications

15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

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

Metainformatics

International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers

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

Logic Program Synthesis and Transformation

5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

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

Transactions on Computational Science XXXV

Special Issue on Signal Processing and Security in Distributed Systems

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

Discovery Science

16th International Conference, DS 2013, Singapore, October 6-9, 2013, Proceedings

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