用户名: 密码: 验证码:
常用资源电子图书期刊论文学位会议外文资源特色专题内部出版物 
Springer电子图书(1)SpringerLink电子期刊(27)ProQuest学位论文(5)Elsevier电子期刊(32)
在“SpringerLink电子期刊”中,命中:27条,耗时:0.0389806 秒

在所有数据库中总计命中:65

5. Testing effort based modeling to determine optimal release and patching time of software
刊名:International Journal of Systems Assurance Engineering and Management
出版年:2016
7. OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
刊名:Lecture Notes in Computer Science
出版年:2016
10. FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction
刊名:Lecture Notes in Computer Science
出版年:2015
1
2
3
按检索点细分(27)
关键词(1)
文摘(26)
按出版年细分(27)
2017年(2)
2016年(4)
2015年(8)
2014年(3)
2013年(3)
2012年(1)
2011年(2)
2010年(1)
2009年(1)
2008年(2)

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

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

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