中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Facet browsing:

Current Search ((ALL:model checking))
Filters none
next
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)(6)
journal of computer science and technology(4)
计算机系统应用(4)
软件学报(4)
proceedings - 2009 3rd ieee international symposium on theoretical aspects of software engineering, tase 2009(3)
计算机工程与设计(3)
proceedings - 2010 6th international conference on intelligent information hiding and multimedia signal processing, iihmsp 2010(2)
proceedings - international conference on quality software(2)
science in china series f-information sciences(2)
springer new york llc(2)
计算机研究与发展(2)
计算机科学(2)
acm transactions on software engineering and methodology(1)
allerton press inc.(1)
chinese journal of electronics(1)
iccse 2011 - 6th international conference on computer science and education, final program and proceedings(1)
ieee transactions on software engineering(1)
international journal of foundations of computer science(1)
international journal of software engineering and knowledge engineering(1)
journal of parallel and distributed computing(1)
next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace