• 

  B方法:美J-RAbrial, 裘宗燕

  作者：美J-RAbrial, 裘宗燕 出版社：电子工业出版社 出版时间：2004 ISBN：7-5053-9339-1
  索书号：TP311.5/182 分类号：TP311.5 页数：22,526页 价格：57.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。

  详细信息

  索书号 展开

• 

  程序员学Python:裘宗燕

  作者：裘宗燕 出版社：人民邮电出版社 出版时间：2018 ISBN：978-7-115-48262-4
  索书号：TP311.561/231 分类号：TP311.561 页数：396页 价格：89.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书全面介绍了Python语言的各方面特征和应用技术, 讨论了准确理解Python、正确使用Python语言开发程序所需要的深入概念和情况, 还介绍了用Python开发较大型或较复杂程序时应该了解的一些高级功能, 如程序的模块组织和导入系统, 生成器、闭包和装饰器, 基本的和高级的面向对象编程机制和技术, 以及作为Python最新扩展的协程和异步编程等。

  详细信息

  索书号 展开

• 

  编程原本:(美) Alexander Stepanov, Paul McJones, 裘宗燕

  作者：(美) Alexander Stepanov, Paul McJones, 裘宗燕 出版社：机械工业出版社 出版时间：2012 ISBN：978-7-111-36729-1
  索书号：TP311.1/134 分类号：TP311.1 页数：xii, 281页 价格：59.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书共分为12章, 主要内容包括: 基础、变换及其轨道、可结合运算、线性序、有序代数结构、迭代器、坐标结构等。

  详细信息

  索书号 展开

• 

  程序设计语言: 实践之路:(美) Michael L. Scott, 裘宗燕

  作者：(美) Michael L. Scott, 裘宗燕 出版社：电子工业出版社 出版时间：2005 ISBN：7-121-00900-5
  索书号：TP312/47 分类号：TP312 页数：884页 价格：88.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  详细信息

  索书号 展开

• 

  从问题到程序: 程序设计与C语言引论:裘宗燕

  作者：裘宗燕 出版社：北京大学出版社 出版时间：1999 ISBN：7-301-04066-0
  索书号：TP312/24 分类号：TP312C 页数：274页 价格：21.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  详细信息

  索书号 展开

• 

  程序设计语言: 第2版:(美)斯科特(Scott,M.L.), 裘宗燕

  作者：(美)斯科特(Scott,M.L.), 裘宗燕 出版社：电子工业出版社 出版时间：2007 ISBN：978-7-121-04298-0
  索书号：TP312/139 分类号：TP312 页数：31,899页 价格：99.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  书中通过各种语言的例子，阐释了程序设计语言的重要基础概念，讨论了各种概念之间的关系，解释了语言中许多结构的形成和发展过程，以及它们演化为今天这种形式的根源。书中还详细讨论了编译器的工作方式和工作过程，说明它们对源程序做了什么，以及为什么要那样做。

  详细信息

  索书号 展开

• 

  C++程序设计语言: special edition:(美) Bjarne Stroustrup, 裘宗燕

  作者：(美) Bjarne Stroustrup, 裘宗燕 出版社：机械工业出版社 出版时间：2010 ISBN：978-7-111-29885-4
  索书号：TP312/1083 分类号：TP312 页数：XXIII, 905页 价格：99.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书是在C++语言和程序设计领域具有深远影响, 畅销不衰的著作, 由C++语言的设计者编写, 对C++语言进行了最全面、最权威的论述, 覆盖标准C++以及由C++所支持的关键性编程技术和设计技术。

  详细信息

  索书号 展开

• 

  C++程序设计语言:(美) Bjarne Stroustrup, 贝尔实验室, 裘宗燕

  作者：(美) Bjarne Stroustrup, 贝尔实验室, 裘宗燕 出版社：机械工业出版社 出版时间：2002 ISBN：7-111-10202-9
  索书号：TP312/1612 分类号：TP312 页数：xxv, 905页 价格：85.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书围绕语言及库功能来组织，内容涉及C++的主要特征及标准库，并通过系统软件领域中的实例解释说明一些关键性的概念与技术。

  详细信息

  索书号 展开

• 

  程序设计语言基础:Ellis Horowitz, 裘宗燕

  作者：Ellis Horowitz, 裘宗燕 出版社：北京大学出版社 出版时间：1990 ISBN：7-301-00760-4
  索书号：TP312/1363 页数：439页 价格：5.95
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  详细信息

  索书号 展开

• 

  编程的修炼:(荷) Edsger W. Dijkstra, 裘宗燕

  作者：(荷) Edsger W. Dijkstra, 裘宗燕 出版社：电子工业出版社 出版时间：2013 ISBN：978-7-121-20250-6
  索书号：TP311.1/184 分类号：TP311.1 页数：XXV, 433页 价格：79.00
  

  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书为图灵奖获得者Edsger W. Dijkstra所著，是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过一系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。

  详细信息

  索书号 展开