2016 ACM/IEEE International Conference on Formal Methods and Models for System Design

• 中国自动识别技术
• 现代计算机（专业版）
• 信息技术与信息化
• 新电脑
• 遥感学报
• 测试技术学报
• 计算机系统应用
• 计算机技术与发展
• 软件导刊
• 家庭电子（爱好者）

更多>>

• ACM transactions on computer systems
• eWeek
• International journal of information privacy, security and integrity
• International journal of software science and computational intelligence
• Neural Network World
• Ada Letters
• ACM Transactions on Modeling and Computer Simulation
• Information Week
• Computers, Materials & Continua
• Systems & Network Management Journal

更多>>

• 第五届中国计算机支持的协同工作学术会议（C=CSCW2006）与第三届全国智能信息网络学术会议（IIN2006）
• 第十六次全国计算机安全学术交流会
• 2005川渝地区自动化与电控技术年会
• 第十届全国数据通信学术会议
• 2010年亚太信息网络与数字内容安全会议
• 第九届中国多智能体系统与控制会议（MASC2013）
• 第七届全国高校计算机网络教学暨网络工程专业建设研讨会
• 2007全国开放式分布与并行计算学术年会
• 第十一届和谐人机环境联合会议
• 全国（第六届）自动化应用技术交流会

更多>>

• Ergonomics and health aspects of work with computers
• 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst
• Proceedings of the 3rd European Conference on Mobile Robots
• Datalog in academia and industry
• Workshop on applications of tree automata techniques in natural language processing 2012
• Mathematical software - ICMS 2010
• Proceedings of the International Workshop on Image Compression and Image Processing
• Proceedings of the 2006 international workshop on Summit on software engineering education
• Computational methods for the innovative design of electrical devices
• Multimedia, hypermedia, and virtual reality : Models, systems, and applications

更多>>

• 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

更多>>