Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
LIST TOP TO -DOS FOR AN EVEN BETTER YOU!MAKER'S GET-HEALTHY GUIDE
FROM THE EDITORS OF PREVENTION2010 年出版214 页ISBN：9781605294094
21世纪基督教释经学 释经学螺旋的原理与应用=The hermeneutical spiral:a comprehensive introduction to Biblical interpreta
Rev.and expanded2012 年出版842 页ISBN：
Guidance for the Verification and Validation of Neural Networks
2007 年出版133 页ISBN：9780470084571
TOWARDS AN INTEGRATED PARADIGM IN HETERODOX ECONOMICS:ALTERNATIVE APPROACHES TO THE CURRENT ECO-SOCI
JULIEN-FRANCOIS GERBER ROLF STEPPACHER2012 年出版235 页ISBN：9780230303584
