大约有20,000项符合查询结果项。（搜索耗时：0.0229秒）
为您推荐：
郑州大学法律系法学基础理论教研室
安徽大学法律系法学理论教研室宪法学概论编写组著
西南政法学院法学基础理论教研室
press西南政法学院法学基础理论教研室
上海大学法治建设与法学理论研究部级课题组
北京大学中文系文艺理论教研室
-
陶栋材主编；吴明亮，任述光副主编2012 年出版378 页ISBN：9787118082838
本书共分6章，在讨论传统设计和现代设计的关系、特点，以及对多种常用现代设计方法进行概括介绍的基础上，重点论述优化设计、计算机辅助设计、有限元法、可靠性设计和创新设计。...
-
张雷等编著1991 年出版175 页ISBN：7312002463
-
杨之廉编著1990 年出版206 页ISBN：7302006849
-
张尧庭等编译1994 年出版162 页ISBN：7563318372
-
冯树椿，徐六通编著1988 年出版374 页ISBN：7308000915
《程序设计方法学》内容涉及结构程序的概念、程序设计的主要控制结构、程序正确性的证明、数据类型抽象、递归方法、逐步求精法、模块设计和推导技术，最后介绍近几年新发展的程序变换技术。...
-
胡正国，吴健，邓正宏编著2009 年出版266 页ISBN：9787118060515
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...
-
王斌君，卢安国编著1995 年出版246 页ISBN：7561312148
暂缺《面向对象的方法学与C++语言》简介
-
李传湘等编著2000 年出版331 页ISBN：7307031051
大学计算机专业教程:本书系统地讨论了程序设计的基本理论，重点论述了结构程序设计和面向对象程序设计的基本原理和方法。本书由三部分共12章组成，内容包括：控制部分、基本数据结构、程序三部分。...
-
张钦楠编著2007 年出版296 页ISBN：9787302136439
本书结合国内新近建筑设计特点和发展现状，还介绍了国内外设计方法学的发展，是本书贴近现实。
-
胡正国，蔡经球编著1992 年出版268 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
