A Modern Perspective on Type Theory

zxllstar 20 0 PDF 2019-07-15 04:07:49

AnIntroductiontoMathematicalLogicandTypeTheory--ToTruthThroughProof©2005SpringerScience+BusinessMedia,Inc.

推荐下载

IMS_A_Development_And_Deployment_Perspective

IMS_A_Development_And_Deployment_Perspective运行商角度写的IMS,偏向架构和上层业务

Machine Learning and IoT A Biological Perspective

MachinelearningandIoTarepresentlytwoofthemostrapidlydevelopingaspectsinthefieldofcomputerscience.Mac

Machine Learning A Bayesian and Optimization Perspective

MachineLearningABayesianandOptimizationPerspective

Computer_Systems_A_Programmers_Perspective

深入理解计算机系统的有关知识,对计算机的一些计算运行原理进行介绍,对学习设计嵌入式系统亦意义重大!

computer system A Programmer s Perspective

讲解底层编程的好书,相信在看了此书之后对编程会有更新的认识

Machine Learning A Probabilistic Perspective mlapp

MachineLearning-AProbabilisticPerspective,机器学习中的经典之作,有点偏概率,非常赞的书啊,适合想要在机器学习这个领域混饭吃的认真研读啊

Network Modeling and Simulation A Practical Perspective

NetworkModelingandSimulationAPracticalPerspective

code for Machine Learning An Algorithmic Perspective

sourcecodeforthebook"MachineLearning:AnAlgorithmicPerspective"

Processor Microarchitecture_An Implementation Perspective

近年来发表在ISCA、HPCA、MICRO和ASPLOS上的近百篇论文,分为若干个方向,本文是其中涉及到微处理器体系结构设计的文章汇总。

complexity of lattice problemsA Cryptographic Perspective

作者:DanieleMicciancio和ShafiGoldwasser.是一本标准的参考文献

用户评论

请输入评论内容

评分：

暂无评论