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

Facet browsing:

Current Search ((ALL:bisimulation))
Filters none
information and computation(2)
journal of computer science and technology(2)
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)(2)
formal aspects of computing(1)
logical methods in computer science(1)
proceedings - 2009 3rd ieee international symposium on theoretical aspects of software engineering, tase 2009(1)
proceedings - international computer software and applications conference(1)
计算机学报(1)

 

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