（印）罗伊乔杜里著2010 年出版202 页ISBN：9787302230724
本书是嵌入式系统软件验证方面的先驱之作，关注的重点在于嵌入式系统与软件的验证。
（意）洛伦佐·平纳（Lorenzo Pinna）著；（意）贝尔纳多·曼努奇（Bernardo Mannucci），（意）卢卡·卡西奥利（Luca Cascioli）绘图 远浩一译2002 年出版92 页ISBN：7533238230
（意）帕多文尼高·巴卡拉里奥著；崔月译2014 年出版183 页ISBN：9787508079585
年轻的鬼魂代理威尔越来越忙了！半夜，鬼魂图里坎女士来了：她哥哥（显然也是鬼魂）失踪了——就从他平时待的阁楼里失踪的。威尔和他的朋友图柏在那里找到了一种奇怪的蓝色液体：来苏糖血影蛋白，这是可怕的吸鬼器不......
（法）埃马纽埃尔·勒华拉杜里（Emmanuel Le Roy Ladurie）著；许明龙，马胜利译1997 年出版671 页ISBN：7100024897
（意）安吉洛·摩杰塔，（意）安德里亚，（意）安东内拉·费拉里著；（意）莫妮卡·法尔科内插图；赵晓萌，姜晶，周珊，刘佳，杨帆译2013 年出版383 页ISBN：9787543691001
稀奇古怪的海洋动物，精美绝伦的海底植物……本书详细介绍了这些海洋生物的生存习性，让你领略它们是如何生活、如何捕食，如何在凶险的海洋中自我保护，带你感受别具风味的海底天堂。此外还配有精美的插图，让你丰富...
（美）乔安娜·沃尔什文；（意）阿迪·阿博特图；魏楚云译2017 年出版25 页ISBN：9787550292871
没人像我爸爸一样，打呼噜打得那么厉害。没人像我爸爸一样，那么会骑脚踏车。没有谁的肩膀比他还高，坐在上面彷彿可以触摸到天空。是的，就是这样。我爸爸无所无能！我爸爸是独一无二的！父子之间亲子图画书的最佳选.....
（意）贾尼·罗大里文；（意）芭芭拉·康蒂尼图；林凤仪译2015 年出版33 页ISBN：7550245193
此套书为儿童绘本。白先生是一位药品推销员，常年出差在外，四处奔波、女儿请求他每晚讲一个故事，否则就无法入睡。于是，无论身在何处，每天9点整，他都会准时打电话回家，在电话里讲童话。电话费的确是太贵了，大......
（意）安东尼奥·莱昂纳迪（Antonio Leonardi）著；（意）卢卡·卡西奥利（Luca Cascioli），（意）英科林克工作室绘图 贾璐译2002 年出版92 页ISBN：7533238427
