[其它] NOI.OpenJudge.cn离线chm

说明： Noi.openjudge.cn的离线版本，包含了所有试题和试题的讨论贴。由于这个网站老是崩溃或者维护，就扒下来搞了一个离线版本。可以当成手册没网的时候做着玩。
<weixin_39872180> 上传 | 大小：65mb

[其它] 计算机四级网络工程师两科最全知识点总结

说明： 计算机四级网络工程师操作系统和网络技术最全知识点总结。格式为Word
<piepiere> 上传 | 大小：1mb

[其它] 计算机四级网络工程师题库全部

说明： 计算机四级网络工程师16套全部题库，并且带答案，格式为PDF
<piepiere> 上传 | 大小：9mb

[其它] 2018中级会计机考题库

说明： 2018会计网校全套模拟软件，各科都可以下载模拟，非常好用，题量精确
<weixin_43385969> 上传 | 大小：163mb

[其它] 考研数学高等代数十八讲张宇

说明： 考研数学高等代数十八讲张宇
<asdzxc__> 上传 | 大小：5mb

[其它] 计算机操作系统汤晓丹

说明： 计算机操作系统汤晓丹
<asdzxc__> 上传 | 大小：9mb

[其它] 2017年复旦大学960真题

说明： 复旦大学计算机学院专硕960，2017年真题
<asdzxc__> 上传 | 大小：5kb

[其它] Partial Evaluation and Automatic Program Generation 高清 PDF

说明： This book is about partial evaluation, a program optimization technique also known as program specialization. It presents general principles for constructing partial evaluators for a variety of programming languages; and it gives examples, applicati
<zjuweiyaodong> 上传 | 大小：1mb

[其它] 《交互式定理证明与程序开发 Coq归纳构造演算的艺术》 高清 PDF

说明： 定理证明是数学领域一个古老的分支，它从公理出发，利用推理规则为定力寻找证明过程。
<zjuweiyaodong> 上传 | 大小：58mb

[其它] Lectures on the Curry-Howard isomorphism-Elsevier Science (2006) 高清 PDF

说明： 这本书通过非常清晰的语言讲述了程序与命题之间的柯里霍华德同构关系
<zjuweiyaodong> 上传 | 大小：37mb

[其它] 2011-2016年数学建模美赛O奖论文

说明： 建模美赛 O 奖论文，大家有兴趣的可以看一看。
<zjuweiyaodong> 上传 | 大小：204mb

[其它] 武汉大学2019 计算机非全日制招生简章

说明： 2019 最新招生简章，，提供给广大学生参考学习。包含考试科目，报考信息等等
<u014361529> 上传 | 大小：15kb