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

经典好书《P&JK~警察與女子高生》读书内容简介:女生歌子，假報年齡硬著頭皮參加，結果遇上對她似乎也有好感的帥哥‧功太。聯誼結束後功太還邀歌子去散步，正當兩人氣氛不錯時，歌子卻說溜嘴、洩露了自己的真正年齡。聽到事實後，功太幡然變臉，原來功太的身份，竟然是一名...详情

经典好书《变化社会中的政治秩序》读书内容简介:ntington）美国最有影响力的政治思想家之一,哈佛大学艾伯特·J.韦瑟黑德三世(Albert J Weatherhead Ⅲ)教授，哈佛大学政府系讲座教授及约翰·M·奥林战略研究所(John M. Olin Institute for strat...详情

经典好书《艰难的归程》读书内容简介:餐桌的杂种狗，在历经了逃脱、求生的过程中，被艰难的生存环境改造成了一个冷酷的生存机器，直至最后有幸逃入了牧场，在牧场，在与人的接触中，逐渐开始信任人类，并与一头充当牧犬的驯狼结下了友谊。驯狼本性不改，但它多次救了杂种狗，并欲引其“回归草原”，但杂种狗...详情

经典好书《Moi René Tardi, prisonnier de guerre au Stalag II B - Tome 2》读书内容简介: plus récent des grands projets de Tardi : l adaptationdes carnets de guerre de son père, en pleine Seconde Guerre mon...详情

经典好书《Axure RP 6原型设计精髓》读书内容简介:：即使你不懂任何编程语言，无法控制项目管理、预算和进展计划，也可以通过《Axure RP 6原型设计精髓》掌握Axure，让你的设计更具创造力和高效。《Axure RP 6原型设计精髓》先介绍Axure的界面、术语、功能，然后以一个中型...详情

经典好书《從早到晚與從今以後 p.s.》读书内容简介:常。★兩人之間有了第三者!? 喵星人可愛登場！★同時收錄52頁老闆與偶像瞬的特別篇，超搶戲！天生雞婆的主廚開人與初出茅蘆的藝術製作人伊介，開始同居至今已經邁入第六個年頭。雖然一如往...详情

经典好书《世界现代设计图史》读书内容简介:兴趣的人来说，是一本系统性、资料性和总结性都很强的参考书。我们常常无拘无束地谈论“设计史”，但我们对这门涉及范围甚广的学科真正了解多少？重要的风格和流派有哪些？每个风格的重要特征是什么？它们的代表人物又是谁？《世界现代设计图史》《世界现代设计图史》通...详情

经典好书《Bの劇場～Le Theatre de B～》读书内容简介: Bible』に掲載されてきた読み切りマンガなどを集めた傑作集で、2012年8月発売の『LE THTRE DE A ~Aの劇場~』に続く下巻。ハードカバー&オールカラー仕様の豪華装丁に新作描き下ろし1話を含む、全13話を収録。作者简介<...详情