Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati 相关电子书下载

[美]安·伯克哈特罗伯特·斯坦著2005 年出版366 页ISBN：7503655151

本书是专门为美国法学院的新生撰写的。本书内容一共分为十四章。第一章是导论，简要介绍了本书的内容；第二章讲述了进入法学院学习之前应该做的准备；第三章介绍了美国的法律制度；第四章介绍了美国的律师职业；第五...

（美）唐·伊德著2008 年出版130 页ISBN：7301134487

唐·伊德是目前世界范围内领导科技哲学潮流的哲学家。他的突出贡献就是引导了科技哲学从托马斯·库恩以来最重要的一次转向：经验转向。具体而言就是突破了以往科技哲学、现象学和实用主义的理论化倾向，取而代...

赵可金著2015 年出版0 页ISBN：

中国企业家调查系统编著2006 年出版552 页ISBN：7111188144

本书包括企业经营者问卷调查报告，中国优秀企业家访谈。

国家技术监督局2222 年出版0 页ISBN：

（日）大坪顺次著2013 年出版476 页ISBN：

保罗·鲍克斯著2001 年出版0 页ISBN：

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

[美]Sherif M.Yacoub Hany H.Ammar 著2004 年出版372 页ISBN：7508322096

设计模式有着巨大威力，但要构建健壮的大规模系统，这还远远不够。面向模式的分析和设计（POAD）介绍了一种新的方法学，用以“组合”设计模式来构建可靠的、健壮的大规模软件系统。使用POAD，你就能快速构建更健壮、更...

VIVEK KAUL2015 年出版361 页ISBN：9788132113447