程序设计语言理论 第2版

陈意云，张昱编著2010 年出版351 页ISBN：9787040284041

本书以类型系统为中心来开展程序设计语言的研究，除了由浅入深地介绍各种类型系统外，还讨论相应程序设计语言的操作语义、公理语言和指称语义，以及这些语义之间的关系，是一本覆盖面较广的有关程序设计语言理论基...

Linux大棚命令百篇 上 文件和文本篇

吴鹏冲，杨文强，张昱编著2016 年出版220 页ISBN：9787121293757

本书打破了市面上主流Linux命令书籍的写作风格，创新性地以专题文章和系列文章的形式来组织全书，文风轻松通顺、循序渐进，既适合作为系统学习的案头书，也适合在床头边、地铁上、院落中阅读。本书是这套系列丛书...

Linux大棚命令百篇 下 网络和系统篇

吴鹏冲，杨文强，张昱编著2016 年出版274 页ISBN：9787121293719

本书打破了市面上主流Linux命令书籍的写作风格，创新性地以专题文章或系列文章的形式来组织全书，文风轻松通顺、循序渐进，既适合作为系统学习的案头书，也适合在床头边、地铁上、院落中阅读。本书是这套系列丛书...

2013年全国硕士研究生入学统一考试 思想政治理论考试参考书 红宝书精编版

高浩峰主编；汪云生，侯一夫，沈伯平，张昱昆，裴桂清副主编2012 年出版278 页ISBN：9787040359626

本书严格按照中宣部、教育部等有关部门的指导下出版的2013年《思想政治理论考试大纲》的要求和“马克思主义理论研究和建设工程重点教材”（2010年修订版）的最新内容编写而成。在编写过程中，充分考虑到考生在复...