The Art of Compiler Design Theory and Practice 相关电子书下载

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

戚步云，姚钟华编著2011 年出版378 页ISBN：9787040331615

本书是浙江交通职业技术学院公共课教材，旨在提高学生的文化修养。文化是大学里师生共同的思维、情感和信仰方式，“励志力行，追求卓越”的精神是学院长期在教育教学工作的行为抽象，它是酶，催化学子的心灵；是媒，......

祝影著（上海大学国际工商与管理学院）2007 年出版338 页ISBN：7802078555

本书介绍了跨国公司的研发全球化的情况和理论分析。

Jan W. Gooch2014 年出版1016 页ISBN：7560344461

Springer是全球最大的科技出版公司，由其出版的工具书“Encyclopedic Dictionary of Polymers”（聚合物百科词典）是一本关于高分子的好书，可以作为高分子行业工作者的参考书。该书收录了超过7500个高分子材料方...

广东美术馆编著2014 年出版255 页ISBN：9787534473777

本书是由2014年广东美术馆隆重推出的最为重要的年度学术大展汇编而成。作品集收录齐白石、黄宾虹、陈师曾、蒋兆和等60位20世纪中国画大师的百余件国宝级绘画精品，评论文章22000余字。...

高炳坤著2013 年出版0 页ISBN：

简光华主编2013 年出版294 页ISBN：9787222111813

为了促进云南省国家公园标准化建设和管理，推动制定和实施云南省国家公园技术标准体系，并为我国国家公园建设提供良好示范。云南省科技计划项目立项，云南省科学技术厅委托，云南省人民政府研究室负责承担，组织开展...

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

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

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

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

王进著2012 年出版224 页ISBN：9787566803856

本书主要针对当代文学和文化批评理论的“文学性”和“历史性”问题，研究以当代美国文学批评家格林布拉特为代表的“新历史主义转向”的文化诗学理论，着重探讨了新历史主义诗学在言说语境、理论体系和价值观念...