FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN：0444886885
ELECTRON MICROSCOPY OF ENZYMES PRINCIPLES AND METHODS VOLUME I
1973 年出版201 页ISBN：0442256760
ALGEBRAIC METHODS IN THE GLOBAL THEORY OF COMPLEX SPACES
1976 年出版296 页ISBN：0471018090
BASIC PHOTOVOLTAIC PRINCIPLES AND METHODS SOLAR ENERGY RESEARCH INSTITUTE
1984 年出版249 页ISBN：0442281269
PRINCIPLES AND METHODS OF ADAPTED PHYSICAL EDUCATION AND RECREATION
2222 年出版718 页ISBN：0072329262
Principles and Methods of Adapted Physical Education and Recreation
2222 年出版524 页ISBN：0801603277
WRITING AND REPORTING NEWS:A COACHING METHOD FOURTH EDITION
2003 年出版569 页ISBN：0534562787
NEW AND FUTURE DEVELOPMENTS IN COMMERCIAL FINITE ELEMENT METHODS
1981 年出版538 页ISBN：0950717223
System 360/370 Job Control Language and The Access Methods
1977 年出版340 页ISBN：0201027550
EXTENICS THEORY，METHOD AND APPLICATION
EXTENICS SERIES，YANG CHUNYAN AND CAI WEN2013 年出版375 页ISBN：7030359895
可拓工程研究的基本思想是用形式化的方法处理各领域中的矛盾问题，化不可行为可行，化不相容为相容。本书系统地阐述可拓工程的理论基础、方法基础和应用领域，并给出各种可拓工程方法的应用案例，以期为读者提供参...
