（意）格涅斯，（意）玛格丽特著2015 年出版228 页ISBN：9787111485216
形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...
[加）B.E.芬内尔，[美）G.J.菲利普斯等编2009 年出版623 页ISBN：9787122032522
本书介绍了质粒的复制、分配和转移机制、质粒的生态学与进化等生物学问题。
（意）卡洛·科洛迪著；裔传萍注译2014 年出版324 页ISBN：9787515907017
本书为中英文对照读物，故事从木匠杰佩托从朋友那里得到一段活的木头，并把它做成木偶开始。不喜欢上学，懒惰，贪玩的小木偶到遇到心地善良的仙女，经过了一系列事件，木偶变成了善良的孩子，并最终成为真正的男孩。...
（意）亚米契斯著；季岳霖改编2010 年出版153 页ISBN：9787508058535
本丛书是根据开卷数据精心选取的20本最畅销的世界经典名著改编而成的，内容更简洁，用语更精练，适合青少年阅读。
（意）伊塔洛·卡尔维诺著；萧天佑译2012 年出版300 页ISBN：9787544722292
其实不是一部小说，而是十部，每一部都有不同的情节，作者，氛围和风格；每一部都在第一章后嘎然而止，留下悬念。两个读者，一男一女，在这个迷宫中追踪着激起他们兴趣的故事线索。...
（意）弗朗西斯卡·马西阿诺（Francesca Marciano）著；顾韶阳译2004 年出版330 页ISBN：7020042880
本书为长篇小说，讲述了一群年轻的白人在东非内罗毕的故事。以非洲的空旷与浩瀚之美为背景，以女主人埃斯米与亚当和亨特的感情纠葛为主线。既写了野性与激情之美，又揭示了野性背后的残酷规则和激情带来的痛苦，充...
