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

Facet browsing:

Current Search ((ALL:Formal languages))
Filters none
ieee comp soc, univ potsdam, hasso plattner inst software syst engn(2)
ai journal; elsevier; fluid operations; oasis; theseus(1)
european association of software science and technology (easst)(1)
formal methods europe, macao polytech inst, united natl univ(1)
ieee beijing section; beijing university of technology and ieee china council; beijing university of posts and telecommunications; graduate university of the chinese academy of sciences; china institute of electrics(1)
ieee comp soc tech comm simulat, ieee comp soc tech comm design automat(1)
ieee comp soc, int assoc comp & informat sci(1)
ieee computational intelligence society; international neural network society; national science foundation of china(1)
int. assoc. for computer and info. science (acis)(1)
national natural science foundation 60873055, 61073054, 61100001; natural science foundation of guangdong province of china 10251027501000004; fundamental research funds for the central universities 10lgzd12, 11lgpy36; research foundation for the doctoral program of higher school of ministry of education of china 20100171110042, 20100171120051; china postdoctoral science foundation 20090460808, 201003375; sqig at it; fct; eu quantlog poci/mat/55796/2004, qsec ptdc/eia/67661/2006; it project quanttel; noe euro-nf; sqig lap initiative(1)

 

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