Verified software: theories, tools, experiments.

• 通讯和计算机
• 信息方略
• 家庭电子（维修版）
• 黑客防线
• 软件学报
• 计算机与现代化
• 电脑高手
• 微型计算机
• 福建电脑
• 自动化应用

更多>>

• Performance Evaluation
• Storage Management Solutions
• International journal of information systems and social change
• ACM transactions on Asian language information processing
• Mobile computing and communications review
• Information systems journal
• Computer weekly
• International Journal of E-Adoption
• International journal of grid and high performance computing
• Computing and informatics

更多>>

• 第二十三届中国数据库学术会议（NDBC2006）
• 1995年全国计算机新技术与高层次计算机继续教育研讨会
• 第三届国防科技工业试验与测试技术发展战略高层论坛
• 中国计算机学会信息保密专业委员会学术年会
• 第七届社会计算会议
• 中国自动化学会第二十五届青年学术年会
• 第十八次全国计算机安全学术交流会
• 福建省科协第四届学术年会暨提升福建制造业竞争力的战略思考专题学术年会
• 天津市自动化学会第14届年会
• 2008年全国工业控制计算机年会

更多>>

• Annual Conference on Neural Information Processing Systems(NIPS); 20041213-16; British Columbia(CA)
• Workshop on computational models of reference, anaphora and conference 2018
• International Conference on Term Rewriting and Applications(RTA 2005); 20050419-21; Nara(JP)
• Pervasive computing
• Online communities and social computing
• Requirements engineering: Foundation for software quality
• Formal ontology in information systems
• 2013 First Iranian Conference on Pattern Recognition and Image Analysis
• Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry
• Recent advances and applications of computer engineering

更多>>

• Meeting of the internet engineering task force;IETF
• 日本建築学会;日本建築学会大会
• 日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
• 日本建築学会学術講演会;日本建築学会
• 日本建築学会2010年度大会（北陸）
• Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
• 土木学会;土木学会全国大会年次学術講演会
• 応用物理学会秋季学術講演会;応用物理学会
• 総合大会;電子情報通信学会
• The 4th International Conference on Wireless Communications, Networking and Mobile Computing（第四届IEEE无线通信、网络技术及移动计算国际会议）论文集

更多>>

• 2011 IEEE Cool Chips XIV
• International workshop on Java technologies for real-time and embedded systems
• Supercomputing '88. [Vol.1]. Proceedings.
• RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
• International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
• The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
• Real Time Systems Symposium, 1989., Proceedings.
• Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
• American Filtration and Separations Society conference
• Combined structures congress;North American steel construction conference;NASCC

更多>>