（美）Benjamin C.Pierce著；马世龙，眭跃飞等译2005 年出版422 页ISBN：7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...
范小环著绘2014 年出版194 页ISBN：9787510827242
本书塑造了一个普通上班族骨哥的形象。每个人在职场中生存都经历了各种竞争和残酷的选择，不管是外资公司还是本土公司，通常老板都像是撒旦恶魔，员工都是被压榨成骷髅的苦逼一族。书中用幽默诙谐的方式披露工作...
（意）卢卡·诺维利著绘2005 年出版112 页ISBN：7111149084
本书是由意大利著名作家、画家诺维利创作的科普系列作品。书中采取第一人称方式，分为若干独立的部分，每一部分都有一位伟大的科学家向你亲口讲述他的故事。...
（瑞典）萨拉·谢帕德著绘；王康译2015 年出版33 页ISBN：7556407268
《嗨！恐龙！》是一本妙趣横生的关于恐龙的科普书籍。书中的图画色彩鲜艳，特别适合3—6岁孩子的视觉需求。1、2、3、4……10头恐龙！4只老鼠见证了恐龙的兴衰史。书中用充满童趣的图画，和充满惊喜的故事情节，为孩子...
（美）汤姆·麦克劳克林著绘；孙慧阳译2018 年出版30 页ISBN：9787513595469
《远走高飞》：奥森是一个喜欢动手做东西的孩子。这一天，他有了一个超级棒的想法——他要做一颗行星。没过多久，一个带着行星环的小星球就出现在他的房间里。但奥森突然意识到，制造行星不难，但照顾它，就完全是另.....
DEMOCRATS RETURN TO POWER:POLITICS AND POLICY IN THE CLINTON ERA
THEODORE J.LOWI BENJAMIN GINSBERG1994 年出版57 页ISBN：0393965473
