伪恋 VOL.1

（日）古味直志编绘；梁晓岩译2015 年出版193 页ISBN：9787505627444

故事描写黑道组织“集英组”首领的独子一条乐与美国黑帮“蜂巢”的当家千金桐崎千棘，以及乐所暗恋的同班同学小野寺小咲三人间的故事，充满了青春气息。日本超人气漫画家，高中时代就已经陆续在集英社《jump》上...

模型检测

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

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

木偶奇遇记

（意）科洛迪著；（美）克莱尔改编；（意）玛丽亚绘；赵岩译2014 年出版26 页ISBN：9787535056276

木匠皮帕诺睡觉的时候，梦见一位天使赋予他的木偶皮诺曹生命，于是小木偶开始了他的冒险。在历险中，他因贪玩而逃学，因贪心而受骗，还因此变成了驴子。最后，他掉进一只大鲸鱼的腹中，意外与皮帕诺相逢……经过这次......

狗和他的影子

（韩）姜仑廷改编；李友范绘；高若岩译2003 年出版49 页ISBN：756003554X

本书是《伊索寓言》系列读物中的第28本。《伊索寓言》系列读物，是一位韩国作者经过精心筛选、再三修改和反复增添编写而成的儿童英语多媒体读物。全系列读物共30本，每本内容都是由一个经典、有趣的英语寓言和...

狼堡魔影

（奥）托马斯·布热齐纳（Thomas Brezina）著；赵岩译2004 年出版97 页ISBN：7531537060

《狼堡魔影》是一部畅销欧洲的历险幻想小说。莱昂感到困惑：那个躲在暗处用箭射他的神秘的弓箭手究竟是谁呢？那银箭散发着绿色的光，威胁着巨大的狼堡……莱昂很清楚：自己的处境十分危险。而要揭开这个秘密的时候...

阿拉蕾 第11卷 宝瓜宝瓜之卷

（日）鸟山明著；梁晓岩译2008 年出版190 页ISBN：9787500788744

本书是日本漫画大师鸟山明的成名作，也是世界漫画史上的一部经典。

普查金属矿床的航空伽玛能谱测量方法 方法指南

（苏）沃罗比约夫（Воробьев，В.П.）等著；张文斌，徐岩译1985 年出版207 页ISBN：13038·新169

Design by Contract原则与实践

（美）Richard Mitchell，（美）Jim Mckim著；孟岩译2003 年出版252 页ISBN：7115115702

本书通过Eiffel和Java实例，阐述了“契约式设计（Design by Contract）”的思想原则和应用方法，帮助读者掌握如何在面向对象软件设计过程中应用契约。...

设计与设计家 第2辑 020 马桑

菲利普·阿普卢瓦（Philippe Apeloig）著；彭岩译2006 年出版120 页ISBN：7500666225

本书集合了多位当代世界著名设计师的代表作，艺术门类涉及平面、产品、插画、影像等多个领域，信息量丰富。

登天

（美）谭熙烈著；梁岩译2005 年出版146 页ISBN：7508604059

本书作者用她自己的经历写就了一部传奇的创业神话。谭熙烈从香港移民到美国，她证明了从低层也可以成功的事实。在美国，她没有多少人事关系和小圈子，英语不是她的母语。没有进入名牌大学，只是进入州立大学。在强...