马艳芳著2017 年出版132 页ISBN：9787312041020
本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论...
（法）纪尧姆·米索著；关鹏译2017 年出版285 页ISBN：7540478799
二十四向风吹过，一切皆空。 他们在命运里相逢，又在时光的缝隙间一次次错过。 他用了一生寻找，而她用了一生等待……一天，24岁的外科医生亚瑟接受了祖父的遗产：二十四风向灯塔。条件是：永远不能打开地窖里的那扇.....
李星辉著2016 年出版208 页ISBN：9787564826284
本书稿主要介绍湖南永州冷水滩区岚角山镇土话的基本面貌，为濒危的湖南汉语湘南土话保留珍贵的语言材料。书稿主要从语音、词汇和语法三个主要的方面来展示岚角山土话的特点，语音部分列出方言音系、声韵调配合...
英国剑桥大学外语考试部，英国剑桥大学出版社著2016 年出版150 页ISBN：9787513572170
《剑桥通用五级考试KET官方真题6》是从剑桥大学出版社引进的通用五级考试KET考试的官方真题集。这是第六集真题集。全书共收录了4套完整真题，并提供了真实答题卡、答案、评分标准及听力原文，内容权威、准确，可...
OECD经济合作与发展组织著；谢晖译2015 年出版116 页ISBN：9787514163964
竞争中立意味国有及私人企业在同一水平竞争。这对于有效资源配置及取得经济增长及发展目标具十分重要。因此竞争中立原则收到国际广泛支持。但如何实践中取得该目标是个困难的问题。OECD从事于协助决策者设...
杨娜著2017 年出版152 页ISBN：9787030519399
本书基于典型藏式古建筑木结构，依托理论分析、试验研究和数值模拟等方法，探究了藏式古建筑木结构的基本力学性能。主要包括藏式古建筑木结构的建筑与结构特征、藏式古建筑常用木材藏青杨的力学性能分析、典型...
苏梅著2016 年出版118 页ISBN：9787534295171
这本书主要是学习“数”的故事，包含了认识数字，认识单双数、加减法的学习等。不仅给孩子需要的数学知识，也让孩子通过故事更好的理解该方面的数学常识。图书内文分成数学故事和数学游戏两大部分。数学游戏根据...
（德）塞巴斯蒂安·麦什莫泽（Sebastian Meschenmoser）著；王晓翠译著2016 年出版62 页ISBN：9787556040254
清晨，当松鼠先生从睡梦中醒过来时，他简直不敢相信自己的眼睛！它的树下出现了一种神奇的、未知的、它从没见过的生物。或许，这就是传说中的森林之王。这位“森林之王”能否像传说中那样，对包括松鼠先生在内的森林...
（比）克里斯汀·埃尔特森著绘；邢培健译2016 年出版33 页ISBN：7556050076
在一个梦幻的城堡里，住着小公主和她的妈妈王后，小公主想让王后给她一个吻，可是王后太忙了，她只好出发去寻找一个会给她亲吻的王后。小公主乘着小飞机来到了一个个神奇的城堡，遇到了蛋糕王后、猫咪王后、玩具王后...
（俄）谢·尤·维特著；李晶等译2016 年出版1904 页ISBN：9787509745625
谢·尤·维特伯爵是俄国沙皇亚历山大三世和尼古拉二世时期的宫廷重臣，亲历了这两个王朝的许多重大事件。本书可称作罗曼诺夫王朝风雨飘摇大厦将倾时俄罗斯帝国社会生活和政治形势的全景式写照。本书对我们研...
