(美)亚科卡(Iacocca,L.),(美)克莱恩费尔德(Kleinfield,S.)著;周建平,周效卓译1988 年出版328 页ISBN:7805560447
(法)加卢瓦(GALLOIS,L.),杜桂梅编2008 年出版306 页ISBN:9787560076836
本书作者自助游中国,收集了特色的住宿、交通、景点、美食信息,记录了很多个人体验,尤其是遇到语言交流障碍时,他想出了一些简单的方法。...
(美)John C. Mitchell著;许满武等译2006 年出版563 页ISBN:7121032244
本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规...