大约有3,000项符合查询结果项。（搜索耗时：0.0128秒）
为您推荐：
法学
行政
经济法学
法学概论
行政法
行政区划
-
胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
-
中国人民解放军国防科学技术大学，陈火旺，罗朝晖等编著1987 年出版237 页ISBN：7535701051
-
戚昌滋，张钦楠主编1987 年出版449 页ISBN：7112000726
-
王坤茜编著2019 年出版208 页ISBN：7566717429
-
冯玉琳等编著1985 年出版349 页ISBN：7530404709
-
唐祖玮，张旭红编1988 年出版168 页ISBN：7304002751
-
-
南俊华主编；卫生部卫生监督中心编著2007 年出版398 页ISBN：7117085363
-
刘扬，韩义译1996 年出版130 页ISBN：7502215611
-
曾繁泰，陈美金，沈卫红等著2003 年出版558 页ISBN：7894940631
本书概述了EDA工程的基本概念，阐述了EDA工程方法学，涉及行为描述、SoC设计方法等，介绍了硬件语言和实现载体之间的关系等。
