CRIMINAL INVESTIGATION HANDBOOK:STRATEGY
LAW AND SCIENCE2009 年出版619 页ISBN:9780820516738
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
COMPARATIVE CRIMINAL JUSTICE SYSTEMS
ERIKA S.FAIRCHILD1993 年出版286 页ISBN:053412996x
SYSTEMIC FUNCTIONAL APPROACHES TO DISCOURSE:SELECTED PAPERS FROM THE 12TH INTERNATIONAL SYSTEMIC WOR
JAMES BENSON AND WILLIAM GREAVES1988 年出版365 页ISBN:0893914037