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

经典好书《君に届け 3》读书内容简介: 土曜の夜にラーメンを食べに矢野、吉田と出かけた爽子。その後みんなで集まって話して嬉しい一時を過ごす。体育祭が近づくが、風早とはドキドキしてうまく話せなくなってしまった。そしてかわいいくるみが爽子に声をかけてきて…。作者简介详情

经典好书《君と僕。 11 初回限定特装版》读书内容简介: 作者简介详情

经典好书《君と僕。 11》读书内容简介: 作者简介详情

经典好书《僕は君の犬になる》读书内容简介: 作者简介详情

经典好书《君醉尘香 上》读书内容简介:的过期男妓。李慕星，一个以诚信为本逐渐壮大的殷实商人。两人在南馆当红小官的恶意捉弄下偶然相识。初见时，李慕星在醉得迷迷糊糊的情况下，被脂粉糊成一团的尚香吓得脸色发青。再见时，尚香没有想到，自己的...详情

经典好书《やがて君になる　1》读书内容简介:い――女の子同士の恋愛恋する気持ちがわからず悩みを抱える侑は、先輩・燈子が告白を受ける場面に出会う。誰からの告白にも心を動かされないという燈子に共感を覚える侑だが、やがて燈子から思わぬ言葉を告げられる。「君のことが好き」作...详情

经典好书《虛構推理 01》读书内容简介:都不可能預料得到接下來的發展！！─無論有多麼合理，此推理仍然是虛構的─成為“妖怪”們智慧之神的少女岩永琴子一見鍾情的對象櫻川九郎居然是一個連“妖怪”也畏懼三分的男人！？這２人所遇上的異想天開事件和戀情將會何去何從呢？令人驚...详情

经典好书《きょうのキラ君 3》读书内容简介:p>心を通わせたニノとキラ。しかも、2人の誕生日が一緒だと知って喜ぶキラに、ニノの恋する想いは高まるばかり。でも、キラと養護教諭の設楽の関係が気になるニノは不安を抑えられなくて…。なにげない日常に2人が紡ぐ、...详情

经典好书《月刊少女野崎同學官方設定集》读书内容简介:與初期設定圖●讀者參加企劃「角色問題Q&A;！」●讀者參加企劃「角色人氣票選」結果發表●「月刊少女野崎同學」全新幕後漫畫●「夢幻廢稿」全新四格漫畫●前野蜜也的標語教室！完整版...详情