好站推荐: 找书资源 | 备用域名:zhiso.cc
None
<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
<p>畅销全球25年的电影语法教程</p><p>曾一对一指导迈克尔·杰克逊的金牌导师大师课堂</p><p>分享《死侍》预演Previz示例与韦斯·安德森《月升…
<p>你是不是常常后悔做过的决定?</p><p>是不是觉得自己目光短浅,考虑不够周全?</p><p>你知道那些性命攸关的军事决策,那些影响数代人的城市规划,是…
<p>这是一本从原理和实践两个层面系统、深入讲解以太坊技术的专著,从设计理念、技术架构、共识算法、智能合约、以太坊虚拟机、开发工具、DApp开发、企业以太坊解…
<p>本书是一部有关中国音乐声学史的学术专著。它叙述了从远古到20世纪50年代初声学科学在中国的发生和发展,包括概念的起源、声学各分支学科在中国古代的成就和评…
<p>第1~2章介绍了什么是用户体验设计,概述了硅谷的设计行业简史,并以各种公司和组织里用户体验设计所扮演的角色来向读者介绍体验设计。</p><p>第3章讨论…
知搜只是起到辅助搜索的工具,不提供任何实际内容,本工具建立是为帮助书籍爱好者花更少的时间找到想要的内容。如果您对内容有异议,请到实际提供内容的网站进行联系。