PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 306 CONTEMPORARY METHOD
CHARLES L.STONECYPHER2222 年出版198 页ISBN：0892523409
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
MOTION PLANNING FOR MANIPULATORS WITH MANY DEGREES OF FREEDOM-THE BB-METHOD
1998 年出版171 页ISBN：3896011952
THE GENERAL METHOD OF SOCIAL WORK PRACTICE:A PROBLEM-SOLVING APPROACH SECOND EDITION
1990 年出版356 页ISBN：0133503801
CARMEN LAFORET NADA A NEW TRANSLATION BY EDITH GROSSMAN INTRODUCTION BY MARIO VARGAS LLOSA
2008 年出版251 页ISBN：0812975839
THE WIGNER MONTE CARLO METHOD FOR NANOELECTRONIC DEVICES:A PARTICLE DESCRIPTION OF QUANTUM TRANSPORT
DAMIEN QUERLIOZ2010 年出版243 页ISBN：
DATA ANALYSIS USING THE METHOD OF LEAST SQUARES EXTRACTING THE MOST INFORMATION FROM EXPERIMENTS
J.WOLBERG2006 年出版250 页ISBN：3540256741
TRAJECTORY PLANNING FOR AUTONMOUS UNDERWATER VEHICLES:A FAST MARCHING BASED METHOD FOR GLOBAL TRAJEC
CLEMENT PETRES2010 年出版149 页ISBN：9783843357043
