（美）C.M.曼蒂斯（C. M. Mantis）著相关电子书下载

（美）卡尔·E.凯斯（Karl E.m>Cam>se），（美）雷·m>C.m>菲尔（Ray m>C.m>Fair）著；李明志等译2003 年出版466 页ISBN：7302064288

本书主要介绍微观经济学基本原理。

（美）埃德蒙·M.克拉克（EDMUNDM.m>CLm>ARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

（美）唐布依斯（Dombois，D.M.），（美）埃仑伯格（Ellehkerh，H.）著；鲍显诚译1986 年出版364 页ISBN：13031·3211

（美）韦特（Waite，W.M.），（联邦德国）古斯（Goos，G.）著；陈涵生等译1989 年出版290 页ISBN：7805134391

（美）M.克莱因著；李宏魁译2012 年出版490 页ISBN：7535771827

（美）钱纳里（m>Chm>enery，H.），（以）塞尔昆（Syrquin，M.）著；李新华等译1988 年出版254 页ISBN：7505801260

（美）詹姆斯·M��布坎南（Bum>chm>anan，James M.）著；吴良健等译1988 年出版287 页ISBN：7563800212

（美）丹尼尔·M.凯布尔著2019 年出版240 页ISBN：7508693538

（美）西蒂格，M.著；沈贯甲译1959 年出版418 页ISBN：15063·0536

（美）David M. Kreps著；邓方译1996 年出版217 页ISBN：9571112216