Releases von Ron Van Der Meyden

Cover for Ron Van Der Meyden · Logics for Emerging Applications of Databases (Taschenbuch) [Softcover reprint of the original 1st ed. 2004 edition] (2012)
Taschenbuch
Softcover reprint of the original 1st ed. 2004 edition
Logics for Emerging Applications...
Ron Van Der Meyden
Cover for Ron Van Der Meyden · Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - Lecture Notes in Computer Science (Taschenbuch) (2011)
Taschenbuch
Model Checking and Artificial In...
Ron Van Der Meyden