Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
尹尔·苏约克，尹尔·梅祖编订；江晨等译2013 年出版218 页ISBN：9787807519911
匈牙利布达佩斯音乐出版社的《李斯特钢琴全集》是目前世界上最新、最全的李斯特钢琴作品集。出版社对以往出版过的所有钢琴乐谱版本以及李斯特的手稿作了详实的考证辨析，使本套图书具有很高的学术价值和权威...
陆杨著2018 年出版187 页ISBN：9787550513808
王志南、张小彬、曾佳琪、唐薇薇是四个一起长大的小伙伴，告别了幼儿园轻松的生活即将步入小学的他们，对学校的生活充满了厌恶。正当他们商量怎么才可以不去上学的时候，却传来了一个陌生的声音。说话的竟然是他...
第十一届全国高层建筑结构学术交流会论文集 1990年5月-6月14日辽宁丹东 第6卷
中国建筑科学研究院建筑结构研究所高层室编辑1990 年出版1700 页ISBN：
第十一届全国高层建筑结构学术交流会论文集 1990年5月-6月14日辽宁丹东 第1卷
中国建筑科学研究院建筑结构研究所高层室编辑1990 年出版284 页ISBN：
郝周著；Alpha绘2018 年出版199 页ISBN：9787558308673
这是一本长篇童话，该册是入选2016广东省重点出版物扶持项目专项资金的 《童心树华文原创》系列（10册）书中的一册，该册图书以小学生柯小可为主角，用书信的方式展现其在面对家庭、学校生活中的一些问题，40封充满成...
汪信砚主编2016 年出版517 页ISBN：9787010167770
李达同志是中国马克思主义启蒙大师和杰出的马克思主义理论家，是马克思主义中国化的重要代表人物之一，也是中国共产党的创始人和早期领导人之一。他毕生从事马克思主义理论的研究、宣传和教育，在哲学、经济学、...
万鄂湘，张军主编；最高人民法院《最新法律文件解读》编辑委员会2006 年出版148 页ISBN：7802171962
为加强法制宣传，提高司法工作和行政执法能力，人民法院出版社定于自2005年1月起出版《最新消费者维权法律文件解读》。本书以“解读”为重点，突出全、专、新、快、准等特点，通过对最新解释性法律文件的同步解读，...
周欣平主编2010 年出版768 页ISBN：9787532557097
本书为傅兰雅所举办的“新小说”竞赛后所收集的参赛作品集。傅兰雅是十九世纪来华的一位传教士、翻译家和学者。1895年5月，傅兰雅举办了一次新小说大众竞赛，并在报纸杂志上做了广告。要求征文需对妨碍进步的...
