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

Facet browsing:

Current Search ((ALL:formal model))
Filters none
next
science in china series f-information sciences(5)
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)(2)
proceedings - 2009 3rd ieee international symposium on theoretical aspects of software engineering, tase 2009(2)
proceedings of the international symposium and workshop on engineering of computer based systems(2)
science in china series f: information sciences(2)
软件学报(2)
computer network security, proceedings(1)
iccas 2010 - international conference on control, automation and systems(1)
ieee transactions on systems man and cybernetics part a-systems and humans(1)
journal of computer science and technology(1)
journal of parallel and distributed computing(1)
lecture notes in computer science(1)
microprocessors and microsystems(1)
proceedings - 2010 6th international conference on intelligent information hiding and multimedia signal processing, iihmsp 2010(1)
proceedings - third acis international conference on software engineering research, management and applications, sera 2005(1)
trusted systems(1)
电子学报(1)
计算机学报(1)
计算机工程(1)
计算机科学(1)
next

 

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