Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
善良的修罗
free-programming-books
提交
dd5415b5
F
free-programming-books
项目概览
善良的修罗
/
free-programming-books
与 Fork 源项目一致
从无法访问的项目Fork
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
F
free-programming-books
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
dd5415b5
编写于
1月 07, 2014
作者:
M
Mohammad Hossein Mojtahedi
浏览文件
操作
浏览文件
下载
差异文件
Merge pull request #579 from colegleason/master
Added Building Blocks for Theoretical Computer Science
上级
59176c6a
c312f580
变更
1
隐藏空白更改
内联
并排
Showing
1 changed file
with
1 addition
and
0 deletion
+1
-0
free-programming-books.md
free-programming-books.md
+1
-0
未找到文件。
free-programming-books.md
浏览文件 @
dd5415b5
...
...
@@ -448,6 +448,7 @@
####Theoretical Computer Science
*
[
An Introduction to the Theory of Computation
](
http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html
)
*
[
Building Blocks for Theoretical Computer Science
](
http://www.cs.uiuc.edu/~mfleck/building-blocks/index.html
)
- Margaret M. Fleck
*
[
Homotopy Type Theory: Univalent Foundations of Mathematics
](
http://homotopytypetheory.org/book/
)
(
PDF
)
*
[
Introduction to Computing
](
http://www.computingbook.org/
)
*
[
Introduction to Theory of Computation
](
http://cg.scs.carleton.ca/~michiel/TheoryOfComputation/
)
(
PDF
)
- Anil Maheshwari and Michiel Smid
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录