模型检测

下载此书RAR压缩包在线购买PDF电子书

（美）埃德蒙·m>M.m>克拉克（EDm>MUm>NDm>M.m>CLAm>Rm>KE，Jm>Rm>.），（美）Om>Rm>NAGm>Rm>Um>MBm>Em>Rm>G，（美）DOm>Rm>ONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

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

好女孩 坏女孩

下载此书RAR压缩包在线购买PDF电子书

（美）艾琳·克莱格（Eileen m>M.m> Clegg），（美）苏珊·斯沃茨（Susan Swam>rm>tz）著；刘洋等译2004 年出版237 页ISBN：7536041314

本书是当代美国作家有关青少年教育的著作，叙说一种非传统的好女孩，她们是用新模式取代旧规矩、有头脑的新女性。这些人都能取得成功，找回自我。...

世界文明通史 全彩版 第1卷 史前时代和最早的文明

下载此书RAR压缩包在线购买PDF电子书

（英）罗伯茨（J. m>M.m> m>Rm>obem>rm>ts）著；余志森，陆苏颖等译2002 年出版169 页ISBN：7208038163

富爸爸商学院 直销致富的11大理由

下载此书RAR压缩包在线购买PDF电子书

（美）罗伯特·T.清崎（m>Rm>obem>rm>t T.Kiyosaki），（美）莎伦·L.莱希特（Sham>rm>on L. Lechtem>rm>）著；李钊平，王东译2004 年出版180 页ISBN：7121000148

《富爸爸商学院》是“富爸爸”系列从书之七，也是一本畅销书，在美国已经再版。延续了罗伯特·T·清崎关于投资和财富的理念，而且为其追随者提供了一种更为理想、更低门槛的商业模式。这里鼓励人们拥有伟大梦想，...

数学：确定性的丧失

下载此书RAR压缩包在线购买PDF电子书

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

发展的型式 1950-1970

下载此书RAR压缩包在线购买PDF电子书

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

自由市场和国家

下载此书RAR压缩包在线购买PDF电子书

（美）詹姆斯·m>M�m>�布坎南（Buchanan，Jam>mem>s m>M.m>）著；吴良健等译1988 年出版287 页ISBN：7563800212

激活 如何使团队跑起来

下载此书RAR压缩包在线购买PDF电子书

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

钠的制造、性质及用途

下载此书RAR压缩包在线购买PDF电子书

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

赛局理论与经济模型

下载此书RAR压缩包在线购买PDF电子书

（美）David m>M.m> Km>rm>eps著；邓方译1996 年出版217 页ISBN：9571112216