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

Facet browsing:

Current Search ((ALL:Formal methods))
Filters ((Community:软件所图书馆))
information processing letters(3)
acm international conference proceeding series(1)
information and software technology(1)
journal of computer science and technology(1)
journal of parallel and distributed computing(1)
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)(1)
microprocessors and microsystems(1)
proceedings 2010 ieee international conference on software engineering and service sciences, icsess 2010(1)
ruan jian xue bao/journal of software(1)
中国科学技术大学学报(1)
计算机系统应用(1)

 

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