Ron Van Der Meydenのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Ron Van Der Meyden · Logics for Emerging Applications of Databases (Paperback Book) [Softcover reprint of the original 1st ed. 2004 edition] (2012)

Softcover reprint of the original 1st ed. 2004 edition

Logics for Emerging Applications... (2012)

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 (Paperback Book) (2011)

Model Checking and Artificial In... (2011)

Ron Van Der Meyden