（瑞士）卡斯·克雷默斯，（卢森堡）肖克·毛弗2018 年出版137 页ISBN：9787121351952
安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...
（英）尼克·斯特克（NICKSTIRK）2016 年出版364 页ISBN：9787513573214
《超实用留学英文会话宝典》是由英籍作者编写的一本英语口语会话书。全书共10章，50篇会话，全部围绕在国外留学的中国女生李雪这个中心人物展开，涵盖了学业、恋爱、求职、娱乐、运动等与年轻人生活密切相关的话...
（加拿大）欧内斯特·汤普森·西顿著；瑾蔚改编2016 年出版122 页ISBN：9787538596731
本套图书根据世界经典动物小说《西顿动物记》改编而成，书中的动物故事告诉我们，动物像人类一样有亲情、友情和爱情，像人类一样聪明、机智和勇敢，它们所表现出来的生命尊严和英雄气概令人肃然起敬。通过阅读本套...
（美）福斯特编著；邵佳阳，兰渊琴译2012 年出版364 页ISBN：9787115280459
本书综合讲解了国外大工作室中使用绿屏的整个制作流程，书中还详细讲解了前期拍摄的布光、布景、摄制，以及后期的剪辑和合成等工作。使读者不仅了解怎么做，更明白为什么那么做。...
（苏）卡斯塔纳扬（А.С.Кастанаян）著；段嘉谟译1957 年出版32 页ISBN：15047·43
（美）劳拉·德里斯科尔著；（美）佩奇·伊斯特本·奥鲁尔克绘；刘恺译2014 年出版30 页ISBN：9787541454394
本套书引自美国Kane Press出版公司，共计30本，形式为科普图画书。每本都讲了一个有趣的故事，这些故事都很轻松愉悦，甚至不会让小读者感到他们是在学习科学。故事里的小男孩或小女孩都有自己要面对的问题，而他们用...
（美）艾唐·伯瑞茨文；（美）詹妮弗·韦斯特图；漪然译2013 年出版39 页ISBN：9787535893390
什么样的朋友才是真正的朋友？金钱从哪里来？什么是生活中最重要的？真理会永远不变吗……孩子在一天天地长大，心中渐渐有了关乎生命、成长与爱的哲学命题。作为家长或教师，怎样才能以孩子喜闻乐见的语言和形式，对.....
（美）珍妮特·塔什吉安著2017 年出版187 页ISBN：9787556821082
德里克喜欢上了跑酷运动。他被选中在一部好莱坞的电影里做特技替身演员，可这要得到爸妈的同意才行。德里克在被迫与爸妈签了一份合同之后，终于如愿来到了电影拍摄现场，还见到了最喜欢的电影明星。不过，事情并不...
（德）约阿西姆·莱希，乌特·洛文贝著；（德）安吉拉·费舍尔比克插图；余葆青译2013 年出版89 页ISBN：7535376789
本书讲述了一个关于宇宙太空的科学探险故事，大家可以在“宇航员”加加林和阿姆斯特朗的带领下，跟随故事中的几位小朋友以及他们的“冥王星”爷爷一起遨游在宇宙之中，体验太空探索的种种历程。书中还附有很多奇...
