多处理器编程的艺术
Maurice Herlihy
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
How to Prove It: A Structured Approach
Daniel J. Velleman
Heard on the Street: Quantitative Questions From Wall Street ...
Timothy Falcon Crack