Programming In Type Theory.pdf

Name: Programming In Type Theory.pdf
Rating: 4.5 (46 reviews)
Author: weixin_84913151

上传者：weixin_84913151 2019-06-23 07:13:28上传 RAR文件 610.7KB 热度 46次

ProgrammingInTypeTheory.pdf英文版

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Programming In Type Theory.pdf

ProgrammingInTypeTheory.pdf英文版

大小：0B | 2019-06-23 07:13:28
FEC code type theory.pdf

光通信系统中前向纠错(FEC)码型的理论分析对适用于光通信系统中前向纠错(FEC)码型的构造原则、应...

大小：0B | 2019-06-23 07:13:17
Theory.pdf

ANSYS19最新版chemkin-pro theory,了解ansys化学反应模拟的基本方法给力工...

大小：14.7MB | 2020-08-18 01:12:05
Category Theory.pdf

作者是Steve Awodey,对于CS来说,是认识范畴论这个数学课题的好开端,因为这个读物易于阅读...

大小：1.53MB | 2020-08-21 06:22:26
Type Theory and Functional Programming

大小：0B | 2019-01-02 11:01:43
Type Theory & Functional Programming

大小：0B | 2019-01-02 11:01:40
Introduction to Quantum Theory.pdf

Introduction to Quantum Theory.pdf

大小：54.81MB | 2020-07-17 16:40:24
Feedback Control Theory.pdf

John Doyle, Bruce Francis, Allen Tannenbaum，反馈控制理论...

大小：1.16MB | 2020-07-18 18:08:27
A micro Lie theory.pdf

李群,李代数在机器人中的应用,教程很好,成体系,容易学

大小：1.51MB | 2021-02-23 00:06:49
Descriptive set theory.pdf

Descriptivesettheory.pdf

大小：0B | 2019-07-23 22:03:40
Convex Optimization Theory.pdf

convexoptimizationtheoryathenascientific2009byDimi...

大小：0B | 2019-07-18 20:12:49
Computational category theory.pdf

introductiontobasiccategorytheory

大小：0B | 2019-06-27 08:48:55
A Course in Game Theory.pdf

大小：0B | 2018-12-08 03:51:09
The Nature of Statistical Learning Theory.pdf

TheNatureofStatisticalLearningTheory.pdf

大小：0B | 2020-04-26 06:06:33
OCP effects in Optimality Theory.pdf

OCP Effects in Optimality Theory,Scott Myers的经典书籍

大小：1.76MB | 2021-05-10 14:11:28
Barabási LabGraph Theory.pdf

BarabásiLab不用介绍了，网络科学、复杂网络研究大牛ComplexNetworks-配套讲义...

大小：0B | 2020-01-21 03:04:01