(美)John C. Mitchell著;许满武等译2006 年出版563 页ISBN:7121032244
本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规...
(美)(C.斯廷森)Craig Stinson著;北京博彦科技发展有限公司编译1998 年出版627 页ISBN:7302030871
内容提要本书从Windows98中文版的基本操作、深入使用、系统维护、附件程序和网络及Internet等五个方面详细而全面地介绍了如何使用Windows98中文版。本书最大的特点就是详尽。不但包括了适用于初中级用户的...
INTERNATIONAL LAW A RESTATEMENT OF PRINCIPLES IN CONFORMITY WITH ACTUAL PRACTICE
ELLERY C. STOWELL1931 年出版829 页ISBN:
Habits of mind : evidence and effects of Ben Jonson's reading
Robert C. Evans.1995 年出版290 页ISBN:
Statics and mechanics of materials
R. C. Hibbeler2014 年出版878 页ISBN:7111456874
本书全面清晰地介绍了工程力学课程的理论和应用,讲解透彻、习题丰富。 本书分为静力学与材料力学两部分,静力学部分包括一般原理,力矢量,力系的合成,刚体的平衡,结构分析以及重心、形心与惯性矩;材料力学部分......