我爱电子书 - pl

注重体验与质量的电子书资源下载网站

标签名: pl

Software Foundations — 出版日期: 2019-01

Software Foundations

评分: 10.0

Homotopy Type Theory: Univalent Foundations of Mathematics — 出版日期: 2014-01

Homotopy Type Theory: Univalent Foundations of Mathematics

评分: 7.8

Low-Level Programming: C, Assembly, and Program Execution on Intel® 64 Architecture — 出版日期: 2017-01

Low-Level Programming: C, Assembly, and Program Execution on Intel® 64 Architecture

评分: 0.0

Proofs and Types — 出版日期: 1989-01

Proofs and Types

评分: 0.0

Programming with Types — 出版日期: 2019-01

Programming with Types

评分: 0.0

Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures — 出版日期: 1999-01

Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures

评分: 0.0

Assemblers and Loaders — 出版日期: 1993-01

Assemblers and Loaders

评分: 0.0