(美)斯特帕诺夫著2012 年出版283 页ISBN:9787111367291
本书将演绎方法应用于程序设计,讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法,以及描述算法性质的引理和定理一起呈现给读者。...
(美)斯特赖尔(Stryer,L.)著;唐有祺等译校1990 年出版999 页ISBN:7301004052
著者原题无汉译名:书名原文:Biochemistry:本书为美国和其它英语国家通用的生化教科书。其特点是从分子水平讲述生物化学
(英)克里斯·毕晓普(Chris Bishop),(英)戴维·乔丹(David Jordan)著2019 年出版494 页ISBN:9787308186698
(法)莫里斯·梅洛-庞蒂著;杨大春,张晓均译2011 年出版352 页ISBN:9787100077958;9787100082426
本书共分为四章,主要内容包括:反射行为;高级行为;物理秩序,生命秩序,人类秩序;心身关系及知觉意识问题。
(比利时)莫里斯·梅特林克著;万婕译2015 年出版79 页ISBN:9787540330385
莫里斯·梅特林克被誉为比利时的莎士比亚。1908年发表代表作六幕梦幻剧《青鸟》,曾获诺贝尔文学奖,近百年来已被翻译成为多种文字,世界十大著名童话之一。...
(法)安娜特·缇森,德鲁斯·泰勒著2010 年出版32 页ISBN:9787544810760
巴巴爸爸经典系列是从法国引进的一套图画书,适合0~6岁儿童阅读。是一套法国现代的图画故事书。