(美)Mike Klein著;赵人任等译1995 年出版434 页ISBN:7302016712
暂缺《Windows程序员使用指南(一 DLL和内存管理)》简介
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
(英)阿尼塔·加纳利(Anita Ganeri)原著;(英)迈克·菲利普斯(Mike Phillips)插图 王晖译2004 年出版164 页ISBN:7530112805
本书通过对海洋地理、海洋生物及海洋气候的详细介绍,为读者展示了一个五彩缤纷的真实海洋世界。
THE WEEKEND MILLIONAIRE'S INVESTING IN REAL ESTATE
MIKE SUMMEY ROGER DAWSON著2222 年出版288 页ISBN: