Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
CONSTRUCTIVE APPROACHES TO MATHEMATICAL MODELS
C.V.COFFMAN AND G.J.FIX1979 年出版458 页ISBN：012178150X
LECTURES IN LOGIC AND SET THEORY VOLUME 2:SET THEORY
GEORGE TOURLAKIS2003 年出版575 页ISBN：0521753740
Introduction to Mathematical Programming
Walker2005 年出版546 页ISBN：7111158903
本书介绍了线性规划、整型规划、动态规划、经典的优化技术、在向量和矩阵以及非线性规划中应用的符号数学包MAPLE等内容。
HANDBOOK OF MATHEMATICAL ECONOMICS VOLUME 3
KENNETH J.ARROW1981 年出版449 页ISBN：0444861289
MACHINE INTELLIGENCE 12 Toards an automated logic of human thought
J.E.HAYES1991 年出版342 页ISBN：
CHARACTERIZATION PROBLEMS IN MATHEMATICAL STATISTICS
A.M.KAGAN & YU.V.LINNIK C.RADHAKRISHNA RAO2222 年出版499 页ISBN：
INTRODUCTION TO TYPE-2 FUZZY LOGIC CONTROL THEORY AND APPLICATIONS
JERRY M.MENDEL2014 年出版354 页ISBN：9781118278390
ALAN B.MARCOVITZ2002 年出版572 页ISBN：7302057176
（逻辑设计基础）Alan B.Marcovitz 编著本书系统地介绍了数字逻辑和数字电路的基础知识、电路的分析与设计方法以及典型应用。全书共分7章，内容涉及开关代数与逻辑电路、组合逻辑与时序逻辑电路的分析与设计方法...
