（美）Benjamin C.Pierce著；马世龙，眭跃飞等译2005 年出版422 页ISBN：7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...
王玮等主编2005 年出版484 页ISBN：7563915443
《中学创新教育双基效率手册》是一套为中学教师、学生、学生家长和相当学习程度的社会读者编写的工具书性质的中学基础知识手册。作为全国教育科学“十五”规划国家重点课题《教育与发展——创新人才的整合...
挪威森林等著2005 年出版187 页ISBN：7544231062
爱过方知情重。分手之后才会明白——我是真的爱了一回。爱情仍是百感交集，只有经历了风雨同行的爱情，流过泪，伤过心，我们才算全情投入爱了。那么我们的人生才算是丰富的。正是以上的种种思考，让我有了编这么两本...
郑阿奇主编；丁有和等编著2005 年出版464 页ISBN：7505389866
本书包括实用教程、习题、上机操作指导、综合应用实习等部分 。内容为：Visual C++6.0开发环境、基本C++语言、C++的面向对象程序设计、MFC基本应用程序的建立、对话框及常用控件、选单、工具栏和状态栏、框...
雷英杰，邢清华，王涛等编著2005 年出版417 页ISBN：7302104298
本书主要介绍了人工智能的基础知识和应用于人工智能与专家系统领域的逻辑程序设计语言Visual Prolog两部分内容。第1部分主要介绍了人工智能的基础知识、知识的表示方法以及AI的编程基础；第2部分介绍了Visua...
宋德伟，顾玉梅等编著2010 年出版298 页ISBN：9787508471471
英语阅读能力的提高离不开大量的泛读。为帮助《新概念英语》学习者进行阅读拓展训练，本书精选了各式文章, 内容编排完全与原教材的结构设计同步，每篇文章的最后还给出了难点词汇、习语的解释，同时配有大量的阅...
2009年公路工程监理工程师执业资格考试 《道路与桥梁》应试辅导
黄显贵，魏道升，范智杰等主编2009 年出版239 页ISBN：9787114078866
本书依托新考试大纲，进行考点分析和例题、历年考题分析，供考前培训和复习备考之用，同时书后附有模拟题及近年考题，其中2004年考题还配有参考答案。...
林双林等主编2009 年出版357 页ISBN：9787509513989
本书系北京大学中国公共财政研究中心举办“中国地方公共财政改革国际研讨会”的论文集。共包括第一部分为地方财政概述；第二部分探讨政府间财政关系；第三部分是关于财政支出、财政分权与经济增长；第四部分涉及...
中国电影产业年报 The China film industry annual report 2005-2006
张会军，俞剑红编著；张崎等撰稿2006 年出版504 页ISBN：7106025526
本书主要介绍中国电影产业的基本理念、运作模式、产业构成、生成规律，详细展示了2005年中国电影产业的发展概况。
