Guidance for the Verification and Validation of Neural Networks
2007 年出版133 页ISBN：9780470084571
Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN：9780521883337
Developments in Surface Contamination and Cleaning: Cleanliness Validation and Verification Volume 7
Rajiv Kohli ; K. L Mittal2015 年出版190 页ISBN：0323313032
升降线 概念、原理与初证 concepts， principles and preliminary verification
吴明著2007 年出版174 页ISBN：7802078024
本书介绍了股市技术指标——升降线的概念、原理与使用方法。
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
MCSE：Windows 2000 Network Security Design学习指南
（美）Gary Govanus，（美）Robert King著；王欣等译2001 年出版449 页ISBN：7505365053
微软推荐的学习指南2000版考试号70-220:本书在全面介绍Windows2000安全性问题的同时，针对MCSE考试，提供了许多实用性很强的练习，并附有概念/实践方面的练习题。书中讨论的各个主题直接与微软官方公布的考试目...
《酉阳杂俎》校证 兼字词考释 Collation and Verification of youyang Zazu TextaE
刘传鸿著2014 年出版0 页ISBN：
DESIGN STRATEGIES IN ARCHITECTURE:AN APPROACH TO THE ANALYSIS OF FORM SECOND EDITION
1988 年出版319 页ISBN：0419161309
THINKING ABOUT LANDSCAPE ARCHITECTURE PRINCIPLES OF A DESIGN PROFESSION FOR THE 21ST CENTURY
BRUCE SHARKY2016 年出版220 页ISBN：9781138847170
