Automated deduction-CADE-15

• 机器人技术与应用
• 博客族
• 网络安全技术与应用
• 智能计算机与应用
• 中文信息学报
• 家用电脑与游戏
• 信息技术与信息化
• 兵工自动化
• 计算机工程与科学
• 软件世界

更多>>

• Journal of simulation
• Sprache und Datenverarbeitung
• Computer
• Electronic Commerce Research
• International journal of electronic security and digital forensics
• Journal of symbolic computation
• Interfaces and free boundaries
• International journal of actor-network theory and technological innovation
• Foundations and Trends in Computer Graphics and Vision
• Journal of Automated Reasoning

更多>>

• 2003'全国软件与应用学术会议
• 中国自动化学会中南六省(区)第26届学术年会
• 第27次全国计算机安全学术交流会
• 中国系统仿真学会2007年仿真科学技术发展及应用研讨会
• 第八届全国多值逻辑与模糊逻辑学术会议
• 2002'安徽省电力工业计算机应用学术会议
• 2006年全国开放式分布与并行计算学术会议
• 第九届全国容错计算学术大会
• 第九届全国技术过程故障诊断与安全性学术会议
• 2008PICMG/P.R.C年会

更多>>

• Seventh Canadian Conference on Computer and Robot Vision (CRV 2010)
• 7th International workshop on semantic evaluation
• 7th World Multiconference on Systemics, Cybernetics and Informatics(SCI 2003) vol.2: Computer Science and Engineering
• Second International Workshop on Graphics Recognition Algorithms and Systems GREC'97, 2nd, Aug 22-23, 1997, Nancy, France
• 2012 IET International Conference on Information Science and Control Engineering
• Electrical and Computer Engineering, 2009. CCECE '09
• Water Event, 2005
• Agent and Multi-Agent Systems: Technologies and Applications; Lecture Notes in Artificial Intelligence; 4496
• INFOCOM Workshops 2009
• 5th International Conference on Design & Technology of Integrated Systems in Nanoscale Era

更多>>

• 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

更多>>