International Symposium of Formal Methods Europe, Jul 22-24, 2002, Copenhagen, Denmark

• 计算机工程与应用
• 计算机科学
• 电脑开发与应用
• 条码与信息系统
• 计算机应用文摘
• 计算机教育
• 中国计算机用户
• 电脑编程技巧与维护
• 计算机研究与发展
• 自动化应用

更多>>

• Computer Graphics and Applications, IEEE
• Performance Evaluation
• Journal on multimodal user interfaces
• Cognitive computation
• International journal for uncertainty quantifications
• Computer standards & interfaces
• Software Success
• Computers in Human Behavior
• International Journal of Computer Systems Science & Engineering
• Neural processing letters

更多>>

• 中国电子学会电子产业战略研究分会第九届学术研讨会(年会)
• 全国第八届嵌入式系统学术年会
• 第十八届全国信息保密学术会议
• 中国计算机学会CCF外围设备专业委员会2006年学术年会
• 中国自动化学会系统仿真专业委员会中国系统仿真学会仿真计算机与软件专业委员会2004学术年会
• 中国计算机学会青少年电脑教育探索与创新研讨会
• 2008中国计算机大会
• 第四届中国计算机网络与信息安全学术会议(CCNIS2011)
• 第二届全国虚拟仪器学术交流会
• 2003信息保密专业委员会学术年会

更多>>

• Proceedings of the Twenty-First annual conference on Computer personnel research
• 12th International Conference on Knowledge Engineering and Knowledge Management: Methods, Models, and Tools EKAW 2000 Juan-les-Pins, France, October 2-6, 2000
• IFIP TC11/WG11.8 Third Annual World Conference on Information Security Education (WISE3) Jun 26-28, 2003 Monterey, California, USA
• 2010 International Conference on Networking, Sensing and Control (ICNSC)
• Field programmable logic and applications
• Programming languages and systems
• Proceedings of the Third IASTED International Conference on Communications and Computer Networks
• Optical sensing and detection III
• Trusted systems
• 7th World Multiconference on Systemics, Cybernetics and Informatics(SCI 2003) vol.7: Communication, Network and Control Systems, Technologies and Applications: I

更多>>

• 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

更多>>