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

经典好书《よんでますよ、アザゼルさん。6》读书内容简介:泉に一人旅に来ていたさくまは、殺人事件に巻き込まれてしまう。宿に閉じ込められた全員が容疑者となる中、次々と巻き起こる悲劇。事件は迷宮入りかと思われたその時、勝手についてきていたアザゼルが、事件の真相に迫る重大な事実に気付くが……!!　その他、肛門に爆...详情

经典好书《トーキョーエイリアンブラザーズ 1》读书内容简介:p>ある夜、未明。東京の空に、隕石が光を放ち落下する。そんなことを知ってか知らずか、同じ空の下、悠々自適に暮らす主人公がいた。どこか抜けてて、だけどイケてる大学生、彼の名は田中冬ノ介。ナンパで出会った女の子と早速ホテ...详情

经典好书《荒川アンダーザブリッジ 1》读书内容简介: 都會中的安樂窩－－荒川河河床是一塊天朗氣清、水景迷人的小天地，一群樂天、愛幻想的電波族就聚居在這裡。 勝組優秀青年"小招"與遊民美少女"小珊"，兩人因緣際會展開了一段不可思議的同居生活。 一段愛情故事在荒川河畔就此展開，這究竟是喜劇亦或是……作者简介详情

经典好书《デザイン思考が世界を変える》读书内容简介:IDEO总裁兼首席执行官。 工业设计出身，多次获得设计大奖，作品曾在纽约现代艺术博物馆、东京AXIS艺廊、伦敦设计博物馆展出； 他服务的客户遍及各个产业，包括苹果、微软、百事、宝洁、雀巢、福特等全球知名企业，同时他也是...详情

经典好书《マザーズ スピリット 2》读书内容简介:ワーアップ!!人気作家エンゾウの感動とエロと笑いの大ヒットシリーズ登場!!未開の地ルターの留学生カルタカと、文化も性別も超えて愛を誓った大学職員の稜一郎。嫁としてカルタカの故郷ルターへ里帰り――のはずが、日本の常識がまった...详情

经典好书《貓科男友的逗弄方法》读书内容简介:。某個早晨，再度化為貓咪的他，與命中注定的男人相遇了 !!對方正是在初次見面時，就能用一根手指撫摸到讓九重發出呼嚕叫聲的夏目！不擅控制貓咪變身的九重，雖然努力對抗夏目的超絕撫技，但是……!?超絕...详情

经典好书《路地裏ブラザーズ ２》读书内容简介:に変身！　鉄成が三嶋公園の仲間の猫達と向かう新たな舞台は、地獄と称される一ツ橋商店街！子猫のおもりに翻弄され、散々な目に遭うが……。一体いつになったら王様の猫とやらを見つけ、元に戻れるのか!?癖のある奴らが続々登場の第二巻！作者简介</...详情

经典好书《路地裏ブラザーズ １》读书内容简介:ると猫に変身する魔法にかかってしまった。魔法を解く鍵を探す中、出会ったのは5匹の野良猫仲間!そこには鉄成の憧れる不良の世界があった。そして、巻き起こる事件! 鉄成の運命はいかに――!!?作者简介...详情

经典好书《最後的問題 : 西方短篇科幻小說精選》读书内容简介: 譯作，並附作者介紹及內容評介作者简介李逆熵，本名李偉才（Eddy Lee Wai Choi），為香港著名科普、科幻作家。廣東新會人，1955年生於香港。曾獲選為1985年香港十大傑出青年。亦為香港科幻會會長。详情