GSW全文库(36)馆藏书目(1)院士团队服务(2)CNKI学位论文(15361)知网期刊论文(30043)
中国地质文献-英文(10)Springer电子图书(2)CNKI会议论文(51)CNKI期刊论文0611(31)万方学位论文(1)
中图分类法(15361)
哲学、宗教(93)
社会科学总论(23)
政治、法律(31)
军事(25)
经济(382)
文化、科学、教育、体育(150)
语言、文字(306)
文学(37)
艺术(18)
历史、地理(6)
自然科学总论(7)
数理科学和化学(346)
天文学、地球科学(350)
生物科学(112)
医药、卫生(932)
农业科学(600)
工业技术(10524)
交通运输(1210)
航空、航天(395)
环境科学、安全科学(152)
在“CNKI学位论文”中,命中:15,361条,耗时:0.1639246 秒

在所有数据库中总计命中:45,538

2.基于三值语义的软件运行时验证方法
作者:隋平
论文级别:硕士
学位年度:2009
1
2
3
4
5
6
7
8
9
按检索点细分(15361)
题名(27)
目录(88)
关键词(71)
摘要(7650)
引文(4076)