Paperback or Softback. Zustand: New. Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Book.
Paperback or Softback. Zustand: New. Intelligent Science and Intelligent Data Engineering: Second Sino-Foreign-Interchange Workshop, Iscide 2011, Xi'an, China, October 23-25, 2011, Revise. Book.
Paperback or Softback. Zustand: New. Pricai 2012: Trends in Artificial Intelligence: 12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings. Book.