lc_to
这家伙很懒，什么也没写
Type Driven_Development_with_Idris_v13_MEAP.pdf
用Idris实践类型驱动开发. Idris是一门具有依赖类型系统的强大编程语言.
其它 4 0 PDF 2021-04-18 17:04:07
Software Foundations Basics.pdf
系列书籍是通向计算机科学的大门, 整套书介绍了什么是可靠软件的研发, 及其与数学的深刻关联. 这套书完全开源, 有社区中文译版, 学习曲线平滑, 适合有一定逻辑学基础的高中或大学学生学习.
其他 7 0 PDF 2020-08-17 20:08:39
An_Analytic_Data_Engine_for_Visualization_in_Tableau_1.pdf
Efficientdataprocessingiscriticalforinteractivevisualizationofanalyticdatasets.Inspiredbythelargeamountofrecentresearchoncolumn-orientedstores,wehaved
其他 30 0 PDF 2019-10-19 01:10:26
An Introduction to Linear Algebra2017.pdf
Linearalgebraisabranchofbothpureandappliedmathematics.Itprovidesthefoundationformulti-dimensionalrepresentationsofmathematicalreason-ing.Itdealswithsy
其他 27 0 PDF 2019-10-06 22:10:49
FRP Functional Reactive Animation icfp97.pdf
关于函数式响应式编程的开山之作,提出了EventStream和Behavior的抽象.
其他 19 0 PDF 2019-08-01 08:08:22
c++大作业源码学生测验系统附源码有详细描述
小学生测验2.课题说明：向小学1~2年级学生，随机选择两个整数和加减法形成算式要求学生作答。基本功能：电脑随机出10道题，每题10分，程序结束时显示学生得分；确保算式没有超出1~2年级水平，只允许进行50以内的加减法，不允许两数之和或之差超出0~50的范围，负数更是不允许的；每道题学生有三次机
C++/C 17 0 CPP 2019-05-13 02:05:04