境·界 死神 40

（日）久保带人编绘；梁晓岩译2010 年出版191 页ISBN：9787505612310

有特殊能力的日本某高中生黑崎一护，在街头邂逅了一个奉命来执行任务的神界少女露琪亚，她的任务是处理某种邪恶怪物“虚”！为了维护人类和神界的和平，一护、露琪亚和伙伴们开始了漫漫征程。他们在与“虚”的对战...

区中心和工人居住区住宅公用事业计划

（苏）阿列克谢耶夫，С.А.著；陈素岩译1960 年出版180 页ISBN：15040·963

伪恋 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）”的思想原则和应用方法，帮助读者掌握如何在面向对象软件设计过程中应用契约。...