Abstract Algebra Structures And Applications
Stephen Lovett2016 年出版708 页ISBN:1482248906
I. Cantat ; S. Cohen-Addad ; F. Elias ; F. Graner ; R. Hohler2013 年出版266 页ISBN:0199662890
INTRODUCTION TO AMERICAN CONSTITUTIONAL STRUCTURE
WILLIAM FUNK2008 年出版561 页ISBN:0314183507
STEEL STRUCTURES BEHAVIOR AND LRFD
SRIAMULU VINNAKOTA2006 年出版904 页ISBN:0072366141
Liquid-Liquid Equilibrium Data Collection 3 Ternary and Quaternary Systems
1980 年出版605 页ISBN:392156719X
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。