(高等学校哲学专业核心课程教材) 符号逻辑讲义
作者: 徐明
sep姐姐推荐的书，我到目前为止对哲学暂时近似一无所知的程度...看这个阶段的书不知道会不会有很大的困难，虽然内容看上去和离散数学有很多相似之处...
简介

羊脂球
作者: 莫泊桑
同样是初中就应该读但是没鉴于某些原因一直没有读的书，同样是趁着最近休息的机会好好读一读
简介

百年孤独
作者: 加西亚.马尔克斯
自己非常喜欢的一本书，魔幻现实主义的代表作之一，以我浅陋的学识和水平一刷根本无法完全理解，现在正在三刷的过程中
简介

古事记
作者: 太安万侣
因为只狼而喜欢上研究日本本土宗教文化与中国的宗教文化，在了解日本本土宗教神道教的过程中，该书位于必看之列
简介

远野物语·日本昔话
作者: 柳田国男
同上，这是两本书(《远野物语》与《日本昔话》)的合集，柳田国男作为日本民俗学之父，其作品远野物语中诸多的奇幻与怪谈既可当做茶余饭后的闲谈，也可以当做了解日本民俗文化，民间传说的一本佳作
简介

贾平凹文集
作者: 贾平凹
贾平凹的中短篇小说/散文集，初中课本上看到贾平凹《听来的故事》，惊异于贾平凹能把诸多隐喻藏在寥寥数字之中，而又毫不影响文章本身，因此去读了多部贾平凹的作品，也是从此之后开始讨厌过分华丽修辞的文章，而是喜欢以最少的文字描绘最完整的想法与过程
豆瓣未收录

下面是硬核部分

Software Foundations
Author: *
As you will see, "SOFTWARE FOUNDATIONS", or is it?

Database systems: A Practical Approach to Design, Implementation, and Management
Too big..

Computational Complexity: A Modern Approach
Author: Sanjeev Arora & Boaz Barak
An introductory book to computational complexity theory, which can be considered as the extension of computability theory.

Types and Programming Languages
Author: Benjamin. C. Pierce
A comprehensive guide to type and programming language theory, it is said that you will be able to read research papers directly after understanding this book.

Discrete Mathmatics and Its Application(离散数学及其应用)
作者: Kenneth H·Rosen
计算机科学必读书籍，包含了计算机科学领域入门所必备的数学知识
简介

Introduction to Algorithms(算法导论)
作者: Thomas H.Cormen / Charles E.Leiserson / Ronald L.Rivest / Clifford Stein
计算机科学/数据结构与算法的经典必读书籍，涵盖大部分的数据结构与算法的实现及其优化
简介

Computer System: A Programmer's Perspective(CS:APP,深入理解计算机系统)
作者: Randal E.Bryant / David O'Hallaron
计算机系统/硬件/软件接口入门必读书籍，较为完善的覆盖了计算机系统的基础知识
简介

线性代数 (清华大学出版社)
作者: 陈殿友/术洪亮
没什么好说的，数据科学必学科目
豆瓣未收录

Structure and Interpretation of Computer Language(SICP,计算机程序的构造和解释)
作者: Harold Abelson / Gerald Jay Sussman / Julie Sussman
著名的SICP，计算机科学界的圣经
简介

Data Structures and Algorithms in Java(数据结构与算法分析:Java语言描述)
作者: Mark Allen Weiss
算法导论的精简版，使用java实现了常见的各种数据结构与算法，理论知识相对于算法导论而言更少，实际应用代码更多，可以作为很不错的上手书籍
简介

TCP/IP Illustrated(TCP/IP详解(共三部))
作者: W·Richard Stevens
详细的阐述了TCP/IP各部分细节(卷一)以及具体的C语言实现(卷二)，以及TCP/IP协议的各种实现以及拓展(卷三)
简介

Modern Compiler Implementation in C(现代编译原理:C语言实现)
作者: Andrew W.Appel / MaiaGinsburg
虎书，因为其更加重视实践内容因此选择了它而非龙书，虽然里面的代码缩进简直稀烂...看的头疼，如果不是没有中文翻译的话我绝对会买下面那一本
简介

Modern Compiler Implementation in Java(现代编译原理:Java语言实现)
作者: Andrew W.Appel
同上，只是这一本实现的不是"Tiger"语言而是一个微缩版的Java语言编译器，同时第二章讲述了一些高阶实现内容，例如多态(Polymorphism)以及闭包(Closure)
自己收集的英文版PDF在啃，没有网址

Assembly Language for x86 Processors(汇编语言:基于x86处理器)
作者: Kip Irvine
我的汇编语言水平稀烂，是时候提升短板了
简介

Advanced Compiler Design and Implementation(高级编译器设计与实现)
作者: Steven.S.Muchnick
知乎大佬推荐的编译原理书籍，看评价还不错，还没开始读(正在读前面那本虎书)
简介

Engineering a Compiler(编译器设计)
作者: Keith Cooper / Linda Torczon
同知乎大佬推荐，还没开始看
简介

愿望单中的书

罗生门
作者: 芥川龙之介
尚未接触过芥川龙之介的作品，听朋友推荐加上芥川先生的声誉与评价的确非比寻常，因此加入愿望列表中
简介

河童
作者: 芥川龙之介
同上
简介

The Art of Computer Programming(计算机程序设计艺术)
作者: 高德纳
这书的地位无需我评价
简介

Computer Networking: A Top-down Approach(计算机网络:自顶向下方法)
作者: James F. Kurose / Keith W. Ross
使用自顶向下的论述方法详细的阐述了计算机网络的实现
简介

The Design and Evolution of C++(C++语言的设计和演化)
作者: Bjarne Stroustrup
C++之父讲C++
简介

Computer Organization and Design: The Hardware/Software Interface(计算机组成与设计:软件/硬件接口)
作者 David A.Patterson / John L.Hennessy
本书详实的讲解了软件/硬件之间的关系与CPU架构的设计，是学习CPU/硬件的经典著作
简介

Unix Network Programming(UNIX网络编程(共两卷))
作者: W.Richard Stevens / Bill Fenner / Andrew M. Rudoff
使用编程的实践手段理解UNIX系统的网络结构
简介

Computer Architecture：A Quantitative Approach(计算机体系结构:量化研究方法)
作者: John L. Hennessy / David A. Patterson
鱼姐姐推荐，学习软件/硬件，CPU与指令集的圣经
简介

Compilers: Principles, Techniques, &Tools(编译原理)
作者: Alfred V. Aho / Monica S.Lam / Ravi Sethi / Jeffrey D. Ullman
龙书，永远的神，可惜我先买了另外基本基于上手实践的，所以这一本偏理论的暂时在愿望单中
简介