FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN：0444853944
Measuring and Managing OPERATIONAL RISKS IN FINANCIAL INSTITUTIONS Tools
Techniques2222 年出版594 页ISBN：
GITHUB实践 ＝ BUILDING TOOLS WITH GITHUB CUSTOMIZE YOUR WORKFLOW
（美）CHRIS DAWSON，（美）BEN STRAUB著；安道译2017 年出版232 页ISBN：7115438065
ENTERPRISE 2.0 SOCIAL NETWORKING TOOLS TO TRANSFORM YOUR ORGANIZATION
JESSICA KEYES2013 年出版411 页ISBN：1439880433
THE SCIENCE AND ENGINEERING OF MICROELECTRONIC FABRICATION SECOND EDOITON
（美）STEPHEN A.CAMPBELL著2003 年出版603 页ISBN：7505386263
本书系统地介绍了微电子制造科学原理与工程技术，覆盖了集成电路制造所涉及的所有基本单项工艺，包括光刻、等离子体和反应离子刻蚀、离子注入、扩散、氧化、蒸发、气相外延生长、溅射和化学气相淀积等。对每一...
LECTURES ON THE TOPOLOGY OF 3-MANIFOLDS AN INTRODUCTION TO THE CASSON INVARIANT SECOND EDITION
NIKOLAI SAVELIEV2017 年出版207 页ISBN：7519219208
《三维流形拓扑学讲义》主要介绍低维拓扑和Casson理论，当然也不失适时地引入最近研究进展和课题。包括许多经典材料，如Heegaard分裂、Dehn手术、扭结和连接不变量。从Kirby微积分开始，进一步讲述Rohlin定理，直...
Proceedings Sixth International Conference on TOOLS WITH ARTIFICIAL INTELLIGENCE
IEEE Computer Society1994 年出版842 页ISBN：
