PierreCasteran等著相关电子书下载

YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

上卷，肖思云等著；下卷，张维吉，宋子季等著1988 年出版337 页ISBN：7560500692

（苏）苏尔科夫等著；杨骅等著1955 年出版35 页ISBN：

（日）星野通平等著；王德文等著1980 年出版314 页ISBN：13031·1435

（苏）罗辛等著赵鼎真译（苏）亚·沃洛金等著1988 年出版160 页ISBN：7532703711

童小珍主编；朱自清，汪曾祺等著；童小珍主编；胡适，毕淑敏等著2006 年出版308 页ISBN：7806018611

本书以“情感动人、文字优美、故事精彩、思想深刻”四个标准，收入50个关于父爱和母爱的中外散文，集结成书，内容具有很强的感染力。

（明）孙葪等著；梁守中点校；（明）欧大任等著；郑力民点校1990 年出版694 页ISBN：7306002171

（苏）罗辛等著赵鼎真译（苏）B·茨维特科夫等著1988 年出版156 页ISBN：7532703711

（苏）齐津（Н.В.Цицин）等著；王嫣萍等著1957 年出版86 页ISBN：

（日）国木田独步等著；周作人译；（日）石川啄木等著；周作人译2005 年出版273 页ISBN：7500112823

本书含《日本现代小说集》、《两条血痕》二种为周作人上世纪20年代著名译作，所收短篇小说26篇，作者均是日本现代著名作家，作品亦是日本现代文学史上之名篇，文字清雅朴直，再加周氏之流畅素朴的译文，颇能传达原作.....