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

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

[软考等考] 2018嵌入式系统设计师考试基础知识概括PDF

说明： 2018年下半年软考中级嵌入式系统设计师考试基础知识概括
<weixin_40751723> 上传 | 大小：856kb

[软考等考] 2018嵌入式系统设计师考试基础知识概括

说明： 2018年下半年，软考中级嵌入式系统设计师考试基础知识概括
<weixin_40751723> 上传 | 大小：110kb

[软考等考] 中级软件设计师历年真题详解（2005-2017）

说明： 中级软件设计师历年真题，包含2005-2017年上下午试题及解析。考试必备。
<qq_35099683> 上传 | 大小：79mb

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

说明： 考研数学高等代数十八讲张宇
<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