(美)斯特帕诺夫著2012 年出版283 页ISBN:9787111367291
本书将演绎方法应用于程序设计,讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法,以及描述算法性质的引理和定理一起呈现给读者。...
(美)艾诺·洛贝尔(Arnold Lobel)文·图2009 年出版64 页ISBN:9787533260897
本书是一系列青蛙和蟾蜍的有趣故事图画书,图文并茂。
(美)艾诺·洛贝尔(Arnold Lobel)文·图2009 年出版64 页ISBN:9787533260897
本书是一系列青蛙和蟾蜍的有趣故事图画书,图文并茂。
(美)亨利·米勒(Henry Miller)著;杨恒达等译2004 年出版333 页ISBN:7300052142
本书是散文集,作者向读者介绍他喜爱的书籍和作家。