Springer 2 26 2008 (2 Ergebnisse)

Paperback or Softback. Zustand: New. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding. Book.

Paperback or Softback. Zustand: New. New Frontiers in Artificial Intelligence: Jsai 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Book.