(英)Lawrence C.Paulson著;柯韦译2005 年出版369 页ISBN:7111161211
本书是关于ML程序设计的经典教材,详细介绍如何使用ML语言进行程序设计,并讲解函数式程序设计的基本原理。书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法...
SYNER-G:TYPOLOGY DEFINITION AND FRAGILITY FUNCTIONS FOR PHYSICAL ELEMENTS AT SEISMIC RISK
K.PITILAKIS2014 年出版420 页ISBN:9789400778719
MATHEMATICAL METHODS AND MODELS FOR ECONOMISTS
ANGEL DE LA FUENTE2222 年出版835 页ISBN:0521585295
...us treatment of most of the concepts and techniques required to follow the standard first-year theory sequence in micro and macroeconomics. The topics covered include an introduction to a...
UNITED STATES CODE ANNOTATED TITLE 33
NAVIGATION AND NAVIGABLE WATERS1978 年出版780 页ISBN: