（美）Harvey M.Deitel著；于伟，王刚等译2003 年出版731 页ISBN：7505381377
本书深入浅出地介绍了ViusalBasic6语言的基本概念和编程技术，包括对象、属性、方法、语句、函数、结构等基本问题，以及面向对象编程、数据库管理和网络编程等高级课题。...
（美）约翰 M.伊凡瑟维奇（John M.Ivancevich）著1998 年出版730 页ISBN：7111064259
市场竞争，以人为本，为什么人力资
（美）瓦尔特·M.博茨（Walter M.Bortz）著；祖淑珍，祖庭礼译2001 年出版262 页ISBN：7100032857
当今社会面临着日益严重的老龄化问题，本书作者为广大老年人提供了现代长寿养生的99个建议，提出以积极的态度，通过在衣食住行、休闲锻炼、心理和生理上的自我调节等方面以科学的方式度过健康愉快的晚年生活，并以...
（美）小沃尔特·M.米勒（Walter M.Miller，Jr）著；俞建青译2004 年出版316 页ISBN：7536454848
本书为科学幻想小说。书中讲述核战以后，人类文明倒退回黑暗时代。700年后的莱博维茨偶然间发现了一份20世纪工程写下的备忘录，借助于它，人们可以探索遥远的人类文明兴旺发达的过去。...
（美）M·谢里夫·巴西奥尼（M. Cherif Bassiouni）著；王秀梅译2003 年出版251 页ISBN：7503642890
本书系统论述了国际刑法的形成与发展脉络，理论体系构成框架，以及现实性问题和研究心得。
（苏）M·N·沙拉耶夫 M·A·特鲁宁 P·M·努尔穆罕默多夫著；余忠江译1989 年出版104 页ISBN：722500218X
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（美）V.M.希尔耶（V.M.Hillyer）著2016 年出版422 页ISBN：9787511731159
本书是一部通俗的有关艺术的大众读物，分绘画、雕塑、建筑三个部分，每个部分都从“最早”讲起，介绍其“成长”脉络，评述各个“成长”时期的名家名作，浅显而系统地勾勒出绘画、雕塑、建筑这三个主要艺术形式的发展...
