经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
数据库管理系统原理与设计 书籍
经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情
经典好书《元气少女缘结神 vol.15》读书内容简介: 救了受傷的巴衛之人是奈奈生 !奈奈生抱著身負重傷的巴衛,朝向雪路的家而去。但是,雪路卻懷疑巴衛可能是妖怪?為了盡可能不干預過去的世界,奈奈生雖然打算照顧巴衛,但是?另外收錄2篇番外篇!(2013年9月3日上市)作者简介详情
经典好书《元气少女缘结神 Vol_1》读书内容简介:原名《神様はじめました》;女主角奈奈生那好赌的父亲在欠下一屁股债后就消失无踪,被赶出去外面流落街头的奈奈生帮助了一位被狗追到树下的神秘男人,神秘男人知道她的遭遇后就说要把"家"让给她,无家可归的奈奈生在半信半疑之下前往那个"家",她发现...详情
昭和元禄落語心中 2 书籍
经典好书《昭和元禄落語心中 2》读书内容简介:、気づき始めたこの与太郎。小夏の父ちゃん・亡き助六のすげぇ落語に取りつかれ、迎えた師匠の独演会、やっちゃいけねぇヘマをした。破門と言われた与太郎と、与太をかばう小夏の二人に、師匠が語る約束の噺たぁ……!? 与太郎放浪篇から八雲と助六篇へ。「長ぇ夜にな...详情
昭和元祿落語心中 6 书籍
经典好书《昭和元祿落語心中 6》读书内容简介:技藝,終於升上真打,成功繼承第三代助六之名。他為了八雲師父,也為了身上流著助六之血的小夏,費盡千辛萬苦才得到渴望已久的名號,但他的落語卻開始產生動搖——與太郎為了改變八雲和小夏心中的助六而苦心鑽研的落語,究竟...详情
昭和元祿落語心中 1 书籍
经典好书《昭和元祿落語心中 1》读书内容简介:中對八雲師的落語驚豔不已,甫出獄就直奔大師表演的寄席,厚著臉皮硬要拜師學藝,沒想到大師竟簡簡單單就答應收他為弟子。強次心中滿懷著對落語的憧憬拜入八雲門下,才發現事情跟他原本想像的不太一樣,大師似乎沒有傳授技藝給他的意思?為此傷透腦筋的強次該如何突破大...详情
元氣少女緣結神(13) 书籍
经典好书《元氣少女緣結神(13)》读书内容简介: 沼皇女與巴衛一起進入犬鳴沼!但是,原本應該被抓起來的奈奈生卻出現在兩人面前,勸沼皇女與錦相親?接下來,奈奈生竟說出「妖怪跟人類不能在一起」,讓巴衛大受驚嚇!另一方面,藉由龍王的幫助,小太郎也決定前往沼澤?(2013年5月14日上市)作者简介详情
口元に赤いのついてます 书籍
经典好书《口元に赤いのついてます》读书内容简介: アキはある吸血鬼を追うハンターだが、討伐に失敗しては吸血鬼に手料理でもてなされ血まで吸われてしまう毎日。そのうえ、なぜかアキに執着する吸血鬼のことが色っぽく見えて…? 鬼才が贈る日常系ライバル・ラブ!作者简介详情
经典好书《昭和元禄落語心中(4) 特装版》读书内容简介: 作者简介详情