computer science and Technology
Concept Map：
集合論
Set Theory [Kenneth Kunen]
Set Theory [Thomas Jech]
集合論：對無窮概念的探索 [郝兆寬]
圖論
Graph Theory [Adrian Bondy, U. S. R. Murty]
圖論 [王樹禾]
數理邏輯
Logic for Applications (應用邏輯) [Anil Nerode, Richard Shore]
A Mathematical Introduction to Logic (數理邏輯) [Herbert B. Enderton]
數理邏輯 [汪芳庭]
電工電子學
- 電工學簡明教程 [秦曾煌]
拓撲學
Basic Topology (基礎拓撲學) [M. A. Armstrong]
Topology (拓撲學) [James R. Munkres]
組合學
Discrete Mathematics and Its Applications (離散數學及其應用) [Kenneth H. Rosen]
Introductory Combinatorics (組合數學) [Richard A. Brualdi]
Concrete Mathematics : A Foundation for Computer Science (具體數學：計算機科學基礎) [Ronald L. Graham, Donald E. Knuth, Oren Patashnik]
計算理論
- Introduction to the Theory of Computation (計算理論引導) [Michael Sipser]
數字邏輯電路
- 數字電路基礎 [閻石]
形式語言與自動機
An Introduction to Formal Languages and Automata (形式語言與自動機導論) [Peter Linz]
Introduction to Automata Theory, Languages, and Computation (自動機理論、語言和計算導論) [John E. Hopcroft]
可計算性理論
- Computability and Logic (可計算性與數理邏輯) [George S. Boolos]
計算復雜性理論
- Computational Complexity : A Modern Approach [Sanjeev Arora, Boaz Barak]
計算機組成原理
- Computer Organization and Design : The Hardware/Software Interface (計算機組成與設計：硬件/軟件接口) [David A. Patterson, John L. Hennessy]
形式語用學
- Programming Language Pragmatics (程序設計語言：實踐之路) [Michael L. Scott]
形式語義學
- The Formal Semantics of Programmin (程序設計語言的形式語義) [Glynn Winskel]
編譯原理
Compilers, Principles, Techniques and Tools (編譯原理) [Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman]
Modern Compiler Implementation in C (現代編譯原理：C 語言描述) [Andrew W. Appel]
Advanced Compiler Design and Implementation (高級編譯器設計與實現) [Steven S. Muchnick]
微機原理
- 微機原理與接口技術 [孟虎]
計算機體系結構
- Computer Architecture : A Quantitative Approach (計算機體系結構：量化研究方法) [John L. Hennessy, David A. Patterson]
程序設計語言
Thinking in Java (Java 編程思想) [Bruce Eckel]
CLR via C# [Jeffrey Richter]
The C Programming Language (C 程序設計語言) [Brian W. Kernighan]
The Standard C Library (C 標準庫) [P. J. Plauge]
C Programming : A Modern Approach (C 語言程序設計：現代方法) [K. N. King]
C Interfaces and Implementations : Techniques for Creating Reusable Software (C 語言接口與實現) [David R. Hanson]
C++ Primer [Stanley B. Lippman]
The C++ Programming Language (C++ 程序設計語言) [Bjarne Stroustrup]
The C++ Standard Library : A Tutorial and Reference (C++ 標準庫) [Nicolai M. Josuttis]
STL 源碼剖析 [侯捷]
Effective C++ [Scott Meyers]
More Effective C++ [Scott Meyers]
Effective STL [Scott Meyers]
Effective Modern C++ [Scott Meyers]
Inside the C++ Object Model (深度探索 C++ 對象模型) [Stanley B. Lippman]
Modern C++ Design : Generic Programming and Design Patterns Applied (C++ 設計新思維) [Andrei Alexandrescu]
Python Cookbook [Alex Martelli]
The Python Standard Library by Example (Python 標準庫) [Doug Hellmann]
Python 源碼剖析 [陳儒]
數據結構與算法
Introduction to Algorithms (算法導論) [Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein]
The Art of Computer Programming (計算機程序設計藝術) [Donald E. Knuth]
Data Structures and Algorithm Analysis in C++ (數據結構與算法分析：C++ 語言描述) [Mark Allen Weiss]
算法分析與設計
Introduction to the Design and Analysis of Algorithms (算法設計與分析基礎) [Anany Levitin]
Algorithmic Puzzles (算法謎題) [Anany Levitin, Maria Levitin]
匯編語言
- 匯編語言 [王爽]
操作系統
Modern Operating System (現代操作系統) [Andrew S. Tanenbaum]
Operating Systems : Internals and Design Principles (操作系統：精髓與設計原理) [William Stallings]
Understanding the Linux Kernel (深入理解 Linux 內核) [Daniel P. Bovet, Marco Cesati]
Linux Kernel Development (Linux 內核設計與實現) [Robert Love]
Programming Applications for Microsoft Windows (Windows 核心編程) [Jeffrey Richter]
線性代數
線性代數 [李尚志]
高等代數簡明教程 [藍以中]
Linear Algebra Done Right (線性代數應該這樣學) [Sheldon Axler]
Introduction to Linear Algebra (線性代數導論) [Serge Lang]
Linear Algebra and Its Applications (線性代數及其應用) [David C. Lay]
Introduction to Linear Algebra [Gilbert Strang]
Linear Algebra and Its Applications [Gilbert Strang]
數學分析
簡明微積分 [龔昇]
數學分析新講 [張筑生]
Thomas' Calculus (托馬斯微積分) [George B. Thomas]
數學分析 [卓里奇]
數學分析習題集 [吉米多維奇]
Mathematical Analysis (數學分析) [Tom M. Apostol]
Mathematical Analysis [Vladimir A. Zorich]
Principles of Mathematical Analysis (數學分析原理) [Walter Rudin]
概率論
A First Course in Probability (概率論基礎教程) [Sheldon M. Ross]
An Introduction to Probability Theory and Its Applications (概率論及其應用) [William Feller]
概率論 [蘇淳]
數理統計
概率論與數理統計 [陳希孺]
數理統計學簡史 [陳希孺]
數理統計學教程 [陳希孺]
Introduction to Mathematical Statistics (數理統計學導論) [Robert V. Hogg, Allen T. Craig, Joseph W. McKean]
All of Statistics (統計學完全教程) [Larry Wasserman]
數理統計 [韋來生]
矩陣論
線性代數與矩陣論 [許以超]
矩陣論 [方保镕]
Matrix Analysis (矩陣分析) [Roger A. Horn]
常微分方程
- 常微分方程 [阿諾爾德]
實變函數
- 實變函數論 [那湯松]
復變函數
復變函數 [嚴鎮軍]
復變函數論方法 [拉夫連季耶夫, 沙巴特]
隨機過程
隨機過程 [伊藤·清]
Stochastic Processes (隨機過程) [Sheldon M. Ross]
Introduction to Probability Models (應用隨機過程：概率模型導論) [Sheldon M. Ross]
回歸分析
- 回歸分析 [謝宇]
運籌學
- Introduction to Operations Research (運籌學導論) [Frederick S. Hillier]
偏微分方程
Basic Partial Differential Equations (基礎偏微分方程) [David Bleecker]
Partial Differential Equations [Lawrence C. Evans]
實分析
陶哲軒實分析 [陶哲軒]
Real Analysis [Halsey L. Royden]
Real Analysis : Measure Theory, Integration, and Hilbert Spaces [Elias M. Stein, Rami Shakarchi]
復分析
簡明復分析 [龔昇]
Complex Analysis (復分析) [Lars V. Ahlfors]
Complex Analysis [Elias M. Stein]
數值分析
- Numerical Analysis (數值分析) [Timothy Sauer]
最優化理論
最優化理論與方法 [袁亞湘]
最優化理論與算法 [陳寶林]
非線性優化計算方法 [袁亞湘]
Nonlinear Programming (非線性規劃) [Dimitri P. Bertsekas]
Convex Optimization (凸優化) [Stephen Boyd, Lieven Vandenberghe]
Numerical Optimization (數值最優化) [Jorge Nocedal, Stephen Wright]
多元統計分析
多元統計分析 [王靜龍]
實用多元統計分析 [管宇]
Applied Multivariate Statistical Analysis (實用多元統計分析) [Richard A. Johnson]
泛函分析
實變函數論與泛函分析 [夏道行, 吳卓人, 嚴紹宗, 舒五昌]
Introductory Functional Analysis with Applications [Erwin Kreyszig]
Functional Analysis (泛函分析) [Walter Rudin]
測度論
測度論講義 [嚴加安]
Measure Theory (測度論) [Paul R. Halmos]
數學模型
Mathematical Modeling (數學建模方法與分析) [Mark M. Meerschaert]
A First Course in Mathematical Modeling (數學建模) [Frank R. Giordano, William P. Fox, Maurice D. Weir]
機器學習
機器學習 [周志華]
Computational Intelligence : An introduction (計算智能導論) [Andries P. Engelbrecht]
統計學習方法 [李航]
The Nature of Statistical Learning Theory (統計學習理論的本質) [Vladimir N. Vapnik]
支持向量機：理論、算法與拓展 [鄧乃揚, 田英杰]
Machine Learning (機器學習) [Tom M. Mitchell]
Machine Learning in Action (機器學習實戰) [Peter Harrington]
Pattern Classification (模式分類) [Richard O. Duda]
Pattern Recognition And Machine Learning [Christopher M. Bishop]
The Elements of Statistical Learning [Trevor Hastie, Robert Tibshirani, Jerome Friedman]
Machine Learning : A Probabilistic Perspective [Kevin P. Murphy]
Probabilistic Graphical Models : Principles and Techniques (概率圖模型：原理與技術) [Daphne Koller, Nir Friedman]
電路分析
電路原理 [江緝光, 劉秀成]
Introductory Circuit Analysis (電路分析導論) [Robert L. Boylestad]
信號與系統
信號與系統 [鄭君里]
Signals and Systems (信號與系統) [Alan V. Oppenheim, Alan S. Willsky]
數字信號處理
數字信號處理：理論、算法與實現 [胡廣書]
Digital Signal Processing : A Practical Guide for Engineers and Scientists (實用數字信號處理：從原理到應用) [Steven W. Smith]
Discrete-Time Signal Processing (離散時間信號處理) [Alan V. Oppenheim, Ronald W. Schafer, John R. Buck]
數字圖像處理
Digital Image Processing (數字圖像處理) [Kenneth R. Castlema]
Digital Image Processing (數字圖像處理) [Rafael C. Gonzalez, Richard E. Woods]
計算機圖形學
The Nature of Code (代碼本色：用編程模擬自然系統) [Daniel Shiffman]
Fundamentals of Computer Graphics (計算機圖形學) [Peter Shirley, Michael Ashikhmin, Steve Marschner]
Computer Graphics : Principles and Practice in C (計算機圖形學原理及實踐：C 語言描述) [James D. Foley, Andries van Dam, Steven K. Feiner, John F. Hughes]
Physically Based Rendering [Matt Pharr, Greg Humphreys]
OpenGL Programming Guide (OpenGL 編程指南) [Dave Shreiner]
認知神經科學
Principles of Neural Science (神經科學原理) [Eric R. Kandel]
Cognitive Neuroscience : The Biology of the Mind (認知神經科學：關于心智的生物學) [Michael S. Gazzaniga, Richard B. Ivry, George R. Mangun]
The Quest for Consciousness : A Neurobiological Approach (意識探秘：意識的神經生物學研究) [Christof Koch]
Theoretical Neuroscience : Computational and Mathematical Modeling of Neural Systems [Peter Dayan, Laurence F. Abbott]
視覺信息處理的腦機制 [壽天德]
Neuronal Dynamics : From single neurons to networks and models of cognition [Wulfram Gerstner, Werner M. Kistler, Richard Naud, Liam Paninski]
神經網絡
Neural Networks : A Comprehensive Foundation (神經網絡原理) [Simon O. Haykin]
Neural Networks and Learning Machines (神經網絡與機器學習) [Simon O. Haykin]
Neural Networks for Applied Sciences and Engineering (神經網絡在應用科學和工程中的應用) [Sandhya Samarasinghe]
Neural Network Design (神經網絡設計) [Martin T. Hagan]
Parallel Distributed Processing [David E. Rumelhart, James L. McClelland]
Deep Learning [Ian Goodfellow, Yoshua Bengio, Aaron Courville]
Learning Deep Architectures for AI [Yoshua Bengio]
計算機視覺
Concise Computer Vision : An Introduction into Theory and Algorithms [Reinhard Klette]
Computer Vision : A Modern Approach (計算機視覺：一種現代方法) [David A. Forsyth, Jean Ponce]
Computer Vision : Algorithms and Applications (計算機視覺：算法與應用) [Richard Szeliski]
Multiple View Geometry in Computer Vision (計算機視覺中的多視圖幾何) [Richard Hartley]
計算機視覺中的數學方法 [吳福朝]
Learning OpenCV : Computer Vision with the OpenCV Library (學習 OpenCV) [Gary Bradski, Adrian Kaebler]
其他
Code : The Hidden Language of Computer Hardware and Software (編碼：隱匿在計算機軟硬件背后的語言) [Charles Petzold]
Computer Science : An Overview (計算機科學概論) [J. Glenn Brookshear]
Structure and Interpretation of Computer Programs (計算機程序的構造和解釋) [Harold Abelson, Gerald Jay Sussman, Julie Sussman]
Computer Systems : A Programmer's Perspective (深入理解計算機系統) [Randal E. Bryant]
Artificial Intelligence : A Modern Approach (人工智能：一種現代方法) [Stuart J. Russell, Peter Norvig]
On Intelligence (人工智能的未來) [Jeff Hawkins, Sandra Blakeslee]
Introduction to Data Mining (數據挖掘導論) [Pang-Ning Tan, Michael Steinbach, Vipin Kumar]
Refactoring : Improving the Design of Existing Code (重構：改善既有代碼的設計) [Martin Fowler]
CUDA by Example : An Introduction to General-Purpose GPU Programming (GPU 高性能編程 CUDA 實戰) [Jason Sanders, Edward Kandrot]
The CUDA Handbook : A Comprehensive Guide to GPU Programming (CUDA 專家手冊：GPU 編程權威指南) [Nicholas Wilt]
