面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
How to beat the market with high-performance generic stocks your broker won't tell you about
Avner Arbel1985 年出版223 页ISBN:0688043712
玫瑰日记 单身女性黑皮书 the single girl's guide to who, what, where and wow!
(英)乔·荷明斯(Jo Hemmings)著;朱海燕,尹崇东译2006 年出版143 页ISBN:7536673566
本书是一本写给单身女性的书,向单身女性讲述了与人约会时应注意的问题。书中充满忠告和经验之谈,是一本所有单身女性必不可少的好书。同时,男性也会从该书中获益多多。...
THE SOUL OF THE NEW CONSUMER:AUTHENTICITY-WHAT WE BUY AND WHY IN THE NEW ECONOMY
DR DAVID LEWIS & DARREN BRIDGER2001 年出版241 页ISBN:1857882989
The power of pro bono : 40 stories about design for the public good by architects and their clients
edited by John Cary and Public Architecture foreword by Majora carter2010 年出版286 页ISBN:1935202189
THE INTERNET BOOK EVERYTHING YOU NEED TO KNOW ABOUT COMPUTER NETWORKING AND HOW THE INTERNET WORKS
(美)科默(Comer,D.E.)著2007 年出版380 页ISBN:7111204190
在本书中,Comer教授从一种非技术化的角度来解释因特网后台的工作机制、计算机的通信方式、服务器以及因特网技术的原理。作者借助实用的方法,以清晰易懂且科学准确的语言介绍了因特网的各种技术及其不同的应...