STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
Statistical and computational inverse problems volume 160 = 统计和计算逆问题
Jari Kaipio ; Erkki Somersalo2015 年出版342 页ISBN：7510086311
TIME AND MIND THE HISTORY OF A PHILOSOPHICAL PROBLEM
J.J.A.MOOIJ2005 年出版287 页ISBN：9004141529
PREVENTION AND TREATMENT OF SEVERE BEHAVIOR PROBLEMS:MODELS AND METHODS IN DEVELOPMENTAL DISABILITIE
NIRBHAY N.SINGH1997 年出版284 页ISBN：0534344186
Lecture Notes in Computer Science 4530 Model Driven Architecture-Foundations and Applications Third
ECMDA-FA 20072007 年出版219 页ISBN：9783540729006
Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 4802 Advances in Conceptual Modeling-Foundations and Applications
FP-UMLQoIS 年出版0 页ISBN：SeCoGIS
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
Unified transform for boundary value problems applications and advances
A. S. Fokas ; B. Pelloni2015 年出版294 页ISBN：1611973815
