Lectures on the CurryHoward isomorphismElsevier Science (2006) 高清 PDF
用户评论
推荐下载
-
lectures:CSCI3431的讲义
CSCI 3431：操作系统期末考试将于12月3日上午9点至下午12点在洛约拉171举行。每个学生必须提交最终报告和同行评估。信息存储库将跟踪用于2014年秋季CSCI3431课程的讲义（讲义不能代替
1 2024-07-19 -
Lectures in Logic and Set Theory.Volume2Set Theory.pdf
LecturesinLogicandSetTheory.Volume2--SetTheory.pdf
31 2019-06-05 -
Lectures in Logic and Set Theory.Volume1Mathematical Logic.pdf
LecturesinLogicandSetTheory.Volume1--MathematicalLogic.pdf
28 2019-06-05 -
数论My Numbers My Friends Popular Lectures on Number Theory.pdf
My Numbers, My Friends- Popular Lectures on Number Theory.pdf
11 2020-08-13 -
a new kind of science一种新科学高清彩版
这是已知最清晰的版本了！ 《一种新科学》由斯蒂芬·沃尔夫勒姆所著，出版于2002年。它包括关于计算系统的实证和系统研究，如元胞自动机。斯蒂芬·沃尔夫勒姆把这些系统称为简单的程序，并且认为适用于简单程序
387 2019-04-07 -
wxPython in Action2006.pdf
ThewxPythonpartofthestoryactuallybeginsin1995,withHarriPasanenandRobinDunn.Robin,whoisoneoftheco-au
17 2020-03-05 -
starwest2006mbttutorial.pdf
这份资料是Google的HarryRobinson在2006年的公开演讲，讲述了基于模型的测试中最关键的几个问题，包括如何建立模型，如何产生测试用例，如何验证测试结果等
11 2020-05-29 -
PRML BishopPatternRecognitionandMachineLearning2006.pdf
PRML英文原版，机器学习的经典教程，可以在看过西瓜书，花书之后进行阅读，更加偏向理论，书中对于机器学习的算法，概率分布等讲解十分详细
18 2020-05-23 -
ZigBeeSpecification2006Download.pdf
ZigBeeDocument053474r13December1,20063:10pmSponsoredby:ZigBeeAllianceAcceptedbyThisdocumenthasnotbee
20 2019-09-28 -
InvestmentAnalytics2006ForecastingFinancialMarketsNeuralNetworksprstn pdf
Investment Analytics 2006 Forecasting Financial Markets.Neural Networks (prstn)
16 2019-01-10
暂无评论