Verification, model checking, and abstract interpretation.

• 网络与信息
• 电脑知识与技术-经验技巧
• 电脑时空
• 直通VIP
• 系统仿真技术
• 自动化应用
• 小型微型计算机系统
• 计算机工程与科学
• 传感器与微系统
• 工业控制计算机

更多>>

• ISACA journal
• Journal of ambient intelligence and smart environments
• International journal of parallel programming
• COM-SAC
• RAIRO Theoretical Informatics and Applications
• International journal of transitions and innovation systems
• The Computer journal
• International journal of business data communications and networking
• MacTech magazine
• International journal of advanced pervasive and ubiquitous computing

更多>>

• 1998年中国智能自动化学术会议
• 第21届全国多媒体技术、第8届全国普适计算、第8届全国人机交互联合学术会议
• 2006有色金属行业信息化年会
• 中国电子学会电子系统工程分会第十三届信息化理论学术研讨会
• 第十二届中国Rough集与软计算学术会议、第六届中国Web智能学术研讨会及第六届中国粒计算学术研讨会联合学术会议
• 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
• 第十三届全国测试与故障诊断技术研讨会
• 2008年全国工业控制计算机年会
• 2010西门子自动化专家会议
• 2010国际信息技术与应用论坛

更多>>

• 2016 11th IEEE Symposium on Industrial Embedded Systems
• Global E-Security
• AI*IA 2011 : Artificial intelligence around man and beyond
• ACL-2012 Special workshop on rediscovering 50 years of discoveries
• International Workshop on Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation(PATMOS 2004); 20040915-17; Santorini(GR)
• 20th VLDB conference
• 7th International Workshop on Data-Intensive Computing in the Clouds
• 2009 Second International Workshop on Requirements Engineering and Law (RELAW'09)
• 2016 7th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems
• Integrated circuit and system design : Power and timing modeling, optimization and simulation

更多>>

• 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

更多>>