好站推荐: 找书资源 | 备用域名:zhiso.cc
【英】杰里米・斯特朗姆,英国社会学博士,哲学研究学者。1997年参与创立《哲学家杂志》,目前担任新媒体部主编。出版作品《如何破解爱因斯坦的谜题》《如何正确纪念…
格式: PDF 请到详细页访问 来源:书行天下<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式: PDF 请到详细页访问 来源:无名图书历史不是僵尸70后,20余年央企、大型民企及顶级跨国企业工作经验,酷爱中国“二十四史”。采用笔名“历史不是僵尸”,寓意历史是鲜活的,有血有肉,生机勃勃;不是僵…
格式: PDF 请到详细页访问 来源:书行天下作者松本清张(1909-1992年),日本文坛一代宗师,与柯南道尔、阿加莎•克里斯蒂并列为世界推理小说三大宗师。作品在传统推理小说的诡谲情节之外,加入了社会写…
格式: PDF 请到详细页访问 来源:书行天下