Ta上传的资源 (0)

图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型，佩措尔德编著的《图灵的秘密：他的生平、思想及论文解读》深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，附带了大量的历史背景资料、图灵的个人经历，以及图灵机对人们理解计算机、人类意识和宇宙所产生的

《云计算核心技术剖析》，本书首先介绍了云计算理论方面的知识，接着剖析了多个顶尖云计算产品（比如Google App Engine和Salesforce Force.com）的实现，介绍了非常重要的系统虚拟化技术和安全方面的机制，然后以云的核心模块之一——分布式数据库为实践方向，并以 YunTable

集合论基础 [俄罗斯] 沈（A.Shen），[俄罗斯] 韦列夏金（N.K.Vereshchagin） 著；陈光还 译