《Model Predictive Control: Theory and Design》这本书是国外大学学习模型预测控制（MPC）的指定教材，出版于2009年。

介绍调度问题概念、常用算法及已有结论的经典之作，IE科研人员必读。

Timoshenko, S. (1959) Theory of Plates and Shells. McGraw Hill, New York.

csdn上有中文版，这是英文版的。我特意找来这本英文版，仅供大家学习。

《Network Coding Theory (网络编码理论)》，经典教材，香港中文大学著作。

Peskin, Schroeder - An Introduction to Quantum Field Theory.djvu 场论的教科书

这是关于实分析的电子书，高清，最新版本，经典著作，英文版

关于compressed sensing非常好的书籍资料, 包括理论与前沿的应用!

网络资源，仅为分享。 Introduction to Theory of Computation Contents Preface vi 1 Introduction 1 1.1 Purpose and motivation . . . . . . . . . . . . . . . . . . . . . 1 1.1.1 Complexity theory . . . . . . . . . . . . . . . . . . . . 2 1.1.2 Computability theory . . . . . . . . . . . . . . . . . . . 2 1.1.3 Automata theory . . . . . . . . . . . . . . . . . . . . . 3 1.1.4 This course . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Mathematical preliminaries . . . . . . . . . . . . . . . . . . . 4 1.3 Proof techniques . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.3.1 Direct proofs . . . . . . . . . . . . . . . . . . . . . . . 8 1.3.2 Constructive proofs . . . . . . . . . . . . . . . . . . . . 9 1.3.3 Nonconstructive proofs . . . . . . . . . . . . . . . . . . 10 1.3.4 Proofs by contradiction . . . . . . . . . . . . . . . . . . 11 1.3.5 The pigeon hole principle . . . . . . . . . . . . . . . . . 12 1.3.6 Proofs by induction . . . . . . . . . . . . . . . . . . . . 13 1.3.7 More examples of proofs . . . . . . . . . . . . . . . . . 15 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2 Finite Automata and Regular Languages 21 2.1 An example: Controling a toll gate . . . . . . . . . . . . . . . 21 2.2 Deterministic finite automata . . . . . . . . . . . . . . . . . . 23 2.2.1 A first example of a finite automaton . . . . . . . . . . 26 2.2.2 A second example of a finite automaton . . . . . . . . 28 2.2.3 A third example of a finite automaton . . . . . . . . . 29 2.3 Regular operations . . . . . . . . . . . . . . . . . . . . . . . . 31 2.4 Nondeterministic finite automata . . . . . . . . . .

Introduction to the theory of computation 是由MIT教授MICHAEL SIPSER 写的经典教材，通俗易懂。