大约有6,000项符合查询结果项。（搜索耗时：0.0282秒）
为您推荐：
法学教材辑部审
司法部法学教材编辑部审定
司法部法学教材辑部
司法部法学教材辑部审定
法学教材辑部
法学教材编辑部 司法文书格式实例选
-
冯玉琳等编著1985 年出版349 页ISBN：7530404709
-
唐祖玮，张旭红编1988 年出版168 页ISBN：7304002751
-
刘扬，韩义译1996 年出版130 页ISBN：7502215611
-
曾繁泰，陈美金，沈卫红等著2003 年出版558 页ISBN：7894940631
本书概述了EDA工程的基本概念，阐述了EDA工程方法学，涉及行为描述、SoC设计方法等，介绍了硬件语言和实现载体之间的关系等。
-
陶栋材主编；吴明亮，任述光副主编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
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...
