（美）Prakash Rashinkar，（美）
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
（美）彼得·默斯基（
本书以中等篇幅详细描述了越南战争期间对阵双方：美国海军航空兵和越南人民军空军之间的殊死空战，是最后的旧式空战：双方用航炮对决；也是新式空战的开端：美国在稍后最先使用了空对空导弹。书中配以大量的图片、地...
（奥）舒伯特（Franz
《冬之旅》是为男声独唱与钢琴而作的，歌词系缪勒的24首诗，舒伯特1827年作曲，1828年分二册出版，每册12曲，各曲的顺序是舒伯特定的。
BASIC Programming for Chemists
（美）威廉·汉密尔顿（William
本书是《华尔街日报》著名记者、道氏理论推崇者汉密尔顿的经典之作，系统阐释道氏理论奠定现代技术分析基础的经典之作。本书不只是道氏理论的蓝本。作者汉密尔顿在许多问题中加入了自己的思想，其中包括市场操...
Chemistry Education: Best Practices
Opportunities and Trends With a Foreword by
edited by Robert Egnell and
CHARLOTTE AND
