METHODS IN ENZYMOLOGY VOLUME 134 STRUCTURAL AND CONTRACTILE PROTEINS PART C THE CONTRACTILE APPA
RICHARD B.VALLEE2222 年出版748 页ISBN：0121820343
Lecture Notes in Computer Science 3562 Artificial Intelligence and Knowledge Engineering Application
IWINAC 20052005 年出版636 页ISBN：3540263195
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
NONLINEAR SYSTEMS AND OPTIMIZATION FOR THE CHEMICAL ENGINEER SOLVING NUMERICAL PROBLEMS
GUIDO BUZZI-FERRARIS AND FLAVIO MANENTI2014 年出版502 页ISBN：3527332748
MAPPING OF PARENT HAMILTONIANS:FROM ABELIAN AND NON-ABELIAN QUANTUM HALL STATES TO EXACT MODELS OF C
MARTIN2011 年出版194 页ISBN：3642243837
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
PROCEEDINGS OF THE 11TH ANNUAL ENVIRONMENTAL AND WATER RESOURCES ENGINEERING CONFERENCE
BARRY A.BENEDICT1972 年出版201 页ISBN：
Proceedings of the 38th International Conference on Computers and Industrial Engineering
夏国平 邓修权主编2008 年出版3082 页ISBN：
储层模拟中露头和现代沉积类比的综合研究 Integration of outcrop and modern analogs in reservoir modeling eng
G. Michael Grammer，Paul M. Mitch Harris，Gregor P. Eberli编；蔡希源等译2008 年出版367 页ISBN：9787116055643
本书共18章，分别对建立储层模型过程的各个阶段进行了阐述。
