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

Facet browsing:

Current Search ((ALL:Verification))
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(3)
science in china series f-information sciences(3)
journal of symbolic computation(2)
proceedings - 2009 3rd ieee international symposium on theoretical aspects of software engineering, tase 2009(2)
proceedings - 7th ieee/acis international conference on computer and information science, ieee/acis icis 2008, in conjunction with 2nd ieee/acis int. workshop on e-activity, ieee/acis iwea 2008(2)
proceedings - international computer software and applications conference(2)
acm transactions on computational logic(1)
acm transactions on software engineering and methodology(1)
computer applications and software(1)
computer journal(1)
electronic notes in theoretical computer science(1)
ieee transactions on software engineering(1)
ieee transactions on systems man and cybernetics part a-systems and humans(1)
ieee transactions on systems man and cybernetics part c-applications and reviews(1)
information and computation(1)
international journal of software engineering and knowledge engineering(1)
journal of computational information systems(1)
microprocessors and microsystems(1)
proceedings - asia-pacific software engineering conference, apsec(1)
next

 

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