Formal description techniques IX : Theory, application and tools

• 软件
• 计算机科学与探索
• 软件导刊
• 自动识别技术与应用
• 电脑知识与技术（数字社区与智能家居）
• 电脑高手
• 办公自动化（综合版）
• 传感器世界
• 兵工自动化
• 航空计算技术

更多>>

• Artificial Intelligence in Engineering
• Foundations of computing and decision sciences
• Robotica
• Performance evaluation review
• Computers & education
• Foundations and trends in robotics
• Journal of automation and information sciences
• International journal of agent technologies and systems
• Remote Sensing Reviews
• International journal of information technologies and systems approach

更多>>

• 2015中国计算机网络安全年会
• 2013全国计算机网络与通信学术会议
• 2013年全国智能科学与技术教育暨教学学术研讨会
• 首届全国重点医院康复医学科主任论坛
• 中国计算机用户协会网络应用分会2011年第十五届网络新技术与应用年会
• 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)
• 第五届和谐人机环境联合学术会议（HHME2009）、第18届全国多媒体学术会议(NCMT2009)、第4届全国普适计算学术会议(PCC2009)、第5届全国人机交互学术会议(CHCI2009)
• 中国自动化学会华东地区第十九届学术年会
• 第23届过程控制会议
• 2006'第四届全国（南昌）防霉防菌技术研讨及产品交流会

更多>>

• International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA'02 Vol.3, Jun 24-27, 2002, Las Vegas, Nevada, USA
• Unmanned Systems Technology VIII pt.1
• International Conference on Medical Image Computing and Computer-Assisted Intervention(MICCAI 2005) pt.2; 20051026-29; Palm Spring,CA(US)
• Collaboration technologies and social computing
• 2015 8th International Conference on u- and e-Service, Science and Technology
• 2015 4th International Conference on Interactive Digital Media
• Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
• 7th World Multiconference on Systemics, Cybernetics and Informatics(SCI 2003) vol.12: Information Systems, Technologies and Applications: II
• Southeastern International Conference on Combinatorics, Graph Theory and Computing; 20060306-10; Boca Raton,FL(US)
• Advanced information systems engineering

更多>>

• 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

更多>>