Unifying theories of programming

• CT理论与应用研究
• 中国计算机学会通讯
• 家庭电子（爱好者）
• 传感器世界
• 系统仿真技术
• 数字化用户（互联网生活）
• 互动软件
• 音响改装技术
• 数码时代
• 电脑与信息技术

更多>>

• Journal of E-Government
• Optical Networks Magazine
• International journal of software engineering and knowledge engineering
• Journal of Computer and Systems Sciences International
• Computers & Industrial Engineering
• Journal of Logic and Algebraic Programming
• Computing and informatics
• International journal of cognitive informatics and natural intelligence
• International journal of knowledge discovery in bioinformatics
• Journal in computer virology

更多>>

• 2007年中国自动化教育学术年会
• 2006北京地区高校研究生学术交流会
• '03全国仿真技术学术会议
• 2011年全国高性能计算学术年会(HPC china2011)
• 全国第六届Java技术及应用大会
• 煤矿瓦斯灾害防治理论战略研讨
• 2006系统仿真及其应用学术交流会
• 全国抗恶劣环境计算机第二十四届学术年会
• 第十一届嵌入式学术会议（ESTC2012）
• 2012年全国网络与数字内容安全学术年会

更多>>

• International Conference on Advances in Intelligent Computing(ICIC 2005); 20050823-26; Hefei(CN)
• Proceedings of the 13th annual workshop on Microprogramming
• Automated deduction in geometry
• Pervasive computing
• IEEE International Conference on Computer-Aided Industrial Design & Conceptual Design;IEEE International Conference on Intelligent Computing and Integrated Systems;IEEE Joint International Computer Science and Information Technology Conference;IEEE International Conference on Emergency Management and Management Sciences
• International Federation of Automatic Control(IFAC) Conference on Analysis and Design of Hybrid Systems; 20060607-09; Alghero(IT)
• Formal methods for industrial critical systems
• Multiobjective Optimization: Interactive and Evolutionary Approaches
• 2016 Second Workshop on In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization
• 4th workshop on high-level parallel programming and applications 2010

更多>>

• 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

更多>>