经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《ただいま、おかえり―かがやくひ―》读书内容简介: 作者简介详情

经典好书《だってまおうさまは彼が嫌い》读书内容简介:を「下僕化」させてしまうという特殊な能力があった。そんな力を疎ましく思っていたある日、「勇者」だと名乗る男・神子が現れ、「魔王を征服する」と言う。しかも、その方法がセックスをする事で…!?あんたを征服するって決めた、だから諦めてさっさと...详情

经典好书《僕にだって言い分がある》读书内容简介: 作者简介详情

经典好书《開かせていただき光栄です》读书内容简介:>皆川博子1929年生，東京女子大學肄業。於1952年結婚後成為家庭主婦，空閒之餘廣泛涉獵文學作品，於是立志成為作家。以《海與十字架》出道成為兒童文學作家之後，由於受到中井英夫、赤江瀑等人的影響，轉向為創作懸疑、幻想文學。她從80年代開...详情

经典好书《仆にだって言い分がある》读书内容简介: 作者简介详情

经典好书《その指だけが知っている》读书内容简介:そんな学園イチの優等生と、指輪の取り違えをきっかけに急接近した渉（わたる）。なんと渉愛用の 指輪が、彼・架月裕壱（かづきゆういち）とお揃いだったのだ！！　 みんなは羨ましがるけれど、誰にでも優しいとウワサの架月は、なぜか渉には超イジワル。口は悪いし、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《神様はちょっとだけいじわる》读书内容简介:んといっしょになれるって信じてるよ』平凡なβの直は、ある日昔引っ越した幼なじみのα・凪と再会する。綺麗で完璧で王子様のようなαの凪は、成長しても昔交わした“約束"を大切に覚えていた。愛おしく抱きしめられ、思わ...详情

经典好书《本日中にお召し上がりください》读书内容简介:ドラマCD化決定!上田先輩と幼馴染・環の恋愛を描いたスピンオフも収録!幼い頃から姉や先輩に虐げられてきた『いじめられっこエリート』の太陽は、笑顔のドS・樹さんに目をつけられてしまう…生粋のいじめっ子気質の樹さんに太陽...详情