（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）亨德里克·威廉·房龙著；颜海清译2016 年出版154 页ISBN：9787514336900
本书是一本写给青少年的通俗历史课外阅读图书。是房龙的最后一部著作，也是一部未完成的遗作，是一部记录其生平的著作。
姚建龙著2014 年出版471 页ISBN：9787562057239
本书是研究青少年的犯罪的专题著作，全书共分为犯罪论、立法论、司法论和权利论四个部分。犯罪论部分研究了：青少年犯罪的基本问题；转型社会的青少年犯罪控制；立法论研究了：《未成年人保护法》的修订及其重大进展...
张明龙著2012 年出版380 页ISBN：9787516401750
本书以现阶段社会主义市场经济为基本背景，采用由抽象到具体的思维方式，结合从古到今的历史进程，广泛吸取学术界有关研究成果，研究交易费用、产权与所有权、委托代理等现代产权基本理论，研究企业产权自先秦、秦汉...
胡鞍钢，鄢一龙，唐啸，刘生龙著2018 年出版181 页ISBN：9787213086496
本书由中国国情研究领域的开拓者和领军人物胡鞍钢教授主持撰写，围绕“2050中国”这一主题进行专题研究，从更加专业化、更全面的视角分析到2050年的中国发展大趋势，前瞻性地提出2050年全面实现社会主义现代化强...
周建龙著2017 年出版420 页ISBN：9787560874968
本书主要内容包括：概述，超高层建筑结构体系与选型，超高层建筑结构抗风设计，超高层建筑结构抗震设计，考虑非荷载效应的施工过程分析，超高层建筑结构构件与节点设计，超高层建筑结构基础设计，超高层建筑结构工程......
王学龙著2008 年出版202 页ISBN：7564201592
本书采用对比分析法和回归分析法对银行运营稳定性、运营效率以及有效银行监管的相关理论及体系等内容展开分析，对我国政府实施有效的银行监管有一定的借鉴意义。...
贝贝龙著2005 年出版119 页ISBN：7539130008
本书为动画连环画。一天晚上，绿叶镇小学三年级学生菲菲捡到了貌似呆傻的小猪阿檬，于是决定好好欺负欺负它，却没想到这个小猪的背后，却有个关系到人类生死存亡的天大复仇计划。故事就此展开，他们和他们的朋友以及...
白云龙著2015 年出版298 页ISBN：9787310047222
本书共分为七章，分别为绪论、关于经济增长与包容性增长的理论分析、经济权力结构与包容性增长、意识形态与包容性增长、经济权力结构内卷化及其创新的基本原则、国际经济权力结构与包容性增长、中国特色社会...
（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556
本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。
