中图分类法(56066)
马克思主义、列宁主义、毛泽东思想、邓小平理论(6)
哲学、宗教(390)
社会科学总论(210)
政治、法律(1111)
军事(34)
经济(6906)
文化、科学、教育、体育(1512)
语言、文字(390)
文学(126)
艺术(146)
历史、地理(129)
自然科学总论(51)
数理科学和化学(3825)
天文学、地球科学(1064)
生物科学(1829)
医药、卫生(17640)
农业科学(4289)
工业技术(14544)
交通运输(1334)
航空、航天(165)
环境科学、安全科学(1804)
综合性图书(1)
在“CNKI学位论文”中，命中：56,066条，耗时：小于0.01 秒
6.VLSI设计中的形式验证方法研究
作者：吴俊华
论文级别：博士
学位年度：2009
1
2
3
4
5
6
7
8
9
按检索点细分(56066)
题名(231)
目录(2226)
作者(2)
导师(1)
关键词(576)
摘要(6972)
引文(48786)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700