Static Analysis

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

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

Neural Networks: Tricks of the Trade

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

Computing and Combinatorics

4th Annual International Conference, COCOON’98, Taipei, Taiwan, R.o.C., August 12–14, 1998

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

Advances in Information Retrieval

29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings

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

Pedagogically Founded Courseware Generation for Web-Based Learning

An HTN-Planning-Based Approach Implemented in Paigos

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

---

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

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

Computational Science and Its Applications – ICCSA 2009

International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II

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

Entertainment Computing - ICEC 2011

10th International Conference, ICEC 2011, Vancouver, BC, Canada, October 5-8, 2011, Proceedings

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

Rewriting Techniques and Applications

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

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

Testing Software and Systems

24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

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