NONLINEAR SYSTEMS AND OPTIMIZATION FOR THE CHEMICAL ENGINEER SOLVING NUMERICAL PROBLEMS
GUIDO BUZZI-FERRARIS AND FLAVIO MANENTI2014 年出版502 页ISBN：3527332748
储能技术应用潜力与经济性研究 ＝ ENERGY STORAGE APPLICATION POTENTIAL AND ECONOMIC EVALUATION
刘坚著2016 年出版193 页ISBN：7513643665
HANDBOOK OF RESEARCH ON DISCRETE EVENT SIMULATION ENVIRONMENTS: TECHNOLOGIES AND APPLICATIONS
EVON M.O.ABU-TAIEH ASIM ABDEL RAHMAN EL SHEIKH2010 年出版585 页ISBN：1605667744
NEUROFEMINISM ISSUES AT THE INTERSECTION OF FEMINIST THEORY AND COGNITIVE SCIENCE
ROBYN BLUHM2012 年出版284 页ISBN：
GUIDE TO E-SCIENCE NEXT GENERATION SCIENTIFIC RESEARCH AND DISCOVERY
XIAOYU YANG2011 年出版538 页ISBN：
THE USES AND ABUSES OF FORECASTING：SCIENCE POLICY RESEARCH UNIT，SUSSEX
TOM WHISTON2222 年出版0 页ISBN：
SCIENTIFICALLY SPEAKING: AN INTRODUCTION TO THE ENGLISH OF SCIENCE AND TECHNOLOGY
B.C. BROOKES1971 年出版160 页ISBN：
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
