失效 《岛田庄司精选作品合集》岛田庄司_文字版_…
推荐 有广告 无套路岛田庄司，日本推理之神，当代最伟大的推理小说作家之一。1948年10月12日出生于广岛，毕业于武藏野美术大学，做过卡车司机、插画师和占星师，制作过私人唱片。1…
格式： PDF 请到详细页访问 来源：书行天下
失效 《三岛由纪夫作品系列：全7册》三岛由纪夫_…
推荐 有广告 无套路三岛由纪夫（YukioMishima，1925年1月14日–1970年11月25日），原名平冈公威，出生于日本东京，毕业于东京帝国大学（今东京大学），是日本当…
格式： PDF 请到详细页访问 来源：书行天下
机器人学：建模、控制与视觉
推荐 有广告 无套路<p>为适应工业机器人、海陆空机器人和共融机器人快速发展的需要，突出机器人学的综合性、新颖性和前瞻性等特点，《机器人学：建模、控制与视觉》一书分建模、控制与视…
格式： PDF 请到详细页访问 来源：无名图书
公理化集合论机器证明系统
推荐 有广告 无套路<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式： PDF 请到详细页访问 来源：无名图书
