edited by Michael H. Gelb1999 年出版240 页ISBN：0896035344
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
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
METHODS IN ENZYMOLOGY VOLUME 132 IMMUNOCHEMICAL TECHNIQUES PART J PHAGOCYTOSIS AND CELL-MEDIATED
GIOVANNI DI SABATO JOHANNES EVERSE2222 年出版717 页ISBN：0121820327
Web-based supply chain management and digital signal processing : methods for effective information
2010 年出版297 页ISBN：1605668885
edited by Bernd Kochanowski and Udo Reischl.1999 年出版304 页ISBN：0896035182
DESIGN OF STEEL STRUCTURES BY LIMIT STATE METHOD AS PER IS 800-2007 FOURTH EDITION
S.S.BHAVIKATTI2014 年出版406 页ISBN：9789382332947
Lecture Notes in Artificial Intelligence 4002 Finite-State Methods and Natural Language Processing 5
FSMNLP 20052006 年出版312 页ISBN：9783540354673
