-
-
-
-
《日本短篇推理之神:大山诚一郎精选作品(共3册)诡计博物馆、绝对不在场证明、密室收藏家》 电子书下载
大山诚一郎Oyama Seiichiro短篇推理小说代表作家,1971年生于日本埼玉县。曾就读于京都大学,是京都大学推理小说研究会的一员。2013年,他以“密室”为主题的《密室收藏家》获得第13届本格推理大奖,此后凭借“不在场证明”为主题的《*不在场证明》登顶本格推理BEST10。《诡计博物馆》是大 ...
10-08 [ fiction ]
-
《日本四大推理奇书》梦野久作等套装共4册文字版 电子书下载
梦野久作,本名杉山直树,1889年1月4日生于九州福冈市。两岁时父母离婚,由祖父母养育成人。自幼生活经历坎坷,曾经出家避世。“梦野久作”这个笔名是取自福冈博多地区的方言,指精神恍惚、经常寻找梦幻的人。梦野久作的作品就是寻找梦幻的世界,充满了幻想、传奇、思考和批判。1926年1月开始倾尽毕生心血撰写《 ...
11-03 [ fiction ]
-
-
-
-
-
-
《外国畅销悬疑推理小说荟萃(共25册)》Fiberead典藏版 电子书下载
套装包括:《致命裁决》《证据游戏》《身份》《糖与香料》《谋杀鉴赏》《迷失哈瓦那》《天真易得》《另类间谍》《残酷的公正》《CSI》《暗号》《间谍之死》《长发公主》《安卡的故事》《红玫瑰:白雪公主》《玫瑰花环》《冰岛人》《围猎黑色星期五》《红色现场》《蓝色月亮》《血色通灵》《付出与收获——不为人知的真实 ...
09-13 [ fiction ]
-
-
-
-
-
-
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 电子书下载
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词 ...
02-22 [ None ]
-