Symposium on Verification: Theory and Practice; 20030629-20030704; Taormina; IT

• 家庭电子（维修版）
• 大众软件
• 音响改装技术
• 软件
• 自动化技术与应用
• 高性能计算技术
• 电脑知识与技术（数字社区与智能家居）
• 工业控制计算机
• 网络与信息安全学报
• 软件工程师

更多>>

• Artificial intelligence
• International journal of cloud applications and computing
• IEEE transactions on systems, man and cybernetics. Part C
• Software quality professional
• Multimedia Systems
• Systems & Network Management Journal
• Interfaces and free boundaries
• Software Testing, Verification and Reliability
• International journal of web services research
• Intelligent decision technologies

更多>>

• 全国抗恶劣环境计算机第十九届学术年会
• 第十一届全国遥测遥控技术年会
• 第十一届全国计算语言学学术会议
• 2013工业与信息化产品环境技术研讨会
• 中国西部嵌入式系统与单片机技术论坛2005学术年会
• 中国计算机用户协会信息系统分会2004年信息技术交流大会
• 2006年全国工业控制计算机年会
• 中国电子学会电子系统工程分会第七届军事信息系统软件仿真学术研讨会
• 天津市自动化学会第14届年会
• 第四届全国康复治疗学术大会

更多>>

• Sensors, and command, control, communications, and intelligence (C3I) technologies for homeland security, defense, and law enforcement applications XV
• Proceedings of the 2017 20th Conference on Innovations in Clouds, Internet and Networks
• IST/FET International Workshop on Global Computing: Programming Environments, Languages, Security, and Analysis of Systems GC 2003; Feb 9-14, 2003; Rovereto, Italy
• Digital Video Compression on Personal Computers: Algorithms and Technologies
• 2013 International conference on process equipment, mechatronics engineering and material science
• 2014 First International Conference on Automation, Control, Energy and Systems
• European Symposium on Research in Computer Security; 20070924-26; Dresden(DE)
• Proceedings of the 2012 ACM SIGPLAN International symposium on memory management
• Fuzzy Information Processing Society, 2009. NAFIPS 2009
• Annual Conference on Neural Information Processing Systems(NIPS); 20031208-13; British Columbia(CA)

更多>>

• 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

更多>>