International Haifa Verification Conference; 20051113-16; Haifa(IL)

• 电脑高手
• 程序员
• 电脑爱好者
• 条码与信息系统
• 博客族
• 通讯和计算机
• 软件(教育现代化)（电子版）
• 计算机网络世界
• 制造业自动化
• 小型微型计算机系统

更多>>

• Journal of uncertain systems
• Managing automation
• Intelligent decision technologies
• International Journal of Uncertainty, Fuzziness, and Knowledge-based Systems
• IEEE transactions on information forensics and security
• Electronic Mail & Messaging Systems
• AI Magazine
• Personal and Ubiquitous Computing
• Wired
• Dataquest

更多>>

• 第七届中国计算机图形学大会
• 全国第20届计算机技术与应用（CACIS）学术会议
• 全国高等院校计算机基础教育研究会2008年会
• 2011年全国高性能计算学术年会(HPC china2011)
• 中国自动化学会中南六省(区)学术年会
• 2001中国控制与决策学术年会
• 信息系统协会中国分会2006年学术研讨会
• 2006年西南三省一市自动化与仪器仪表学术年会
• 2011信息技术与应用学术会议
• 第六届中国人工智能职合学术会议

更多>>

• Graph Transformations; Lecture Notes in Computer Science; 4178
• Frontiers of intelligent autonomous systems
• International Workshop on Regulated Agent-Based Social Systems; 20020716; Bologna; IT
• 24th International Conference on Applications and Theory of Petri Nets 2003 ICATPN 2003 Jun 23-27, 2003 Juan-Les-Pins, France
• Vehicular Technology Conference, 1998. VTC 98
• International Symposium on Self-Stabilizing Systems(SSS 2005); 20051026-27; Barcelona(ES)
• Workshop on computational modeling of people's opinions, personality, and emotions in social media
• Second International Workshop on Rules and Rule Markup Languages for the Semantic Web RuleML 2003; Oct 20, 2003; Sanibel Island, FL, USA
• Advanced sensor systems and applications IV
• 2018 Cybernetics & Informatics

更多>>

• 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

更多>>