International Symposium of Formal Methods Europe, Mar 12-16, 2001, Berlin, Germany

• 微型计算机
• 家用电脑与游戏
• 互联网周刊
• 电脑迷
• 传感技术学报
• 计算机科学与实践
• 铁路计算机应用
• 遥感学报
• 小型微型计算机系统
• 计算机应用

更多>>

• RAIRO Theoretical Informatics and Applications
• Earth Observation and Remote Sensing
• Remote sensing letters
• AI communications
• International journal of information systems and social change
• IEEE Transactions on Robotics
• Control Theory & Advanced Technology
• International Journal of Web Based Communities
• Communications in Information and Systems
• European journal of information systems

更多>>

• 2009年中国人工智能学会智能检测与运动控制技术会议
• 2015年全国电子认证技术交流大会
• 2013年全国第九届精密工程学术研讨会
• 2005年全国开放式分布与并行计算会议
• 中国空间科学学会青年遥感技术学术研讨会
• 'OA2003办公自动化国际学术研讨会
• 中国电子学会元件分会连接器与开关第十二届学术会议
• 第六届中国传感器网络学术会议（CWSN 2012）
• 2014西门子工业专家会议
• 城市建设与生态环境监测遥感技术应用交流会

更多>>

• Engineering Interactive Systems 2008
• Fields of logic and computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
• Statistics, mathematics and computers : Caring for the forest: research in a changing world
• 2015 Third International Conference on Computer, Communication, Control and Information Technology
• Proceedings of the 1986 workshop on Applied computing
• Exploring Novel Banking User Interfaces: Usability Challenges in Design & Evaluation
• 2017 IEEE International Symposium on Workload Characterization
• 2015 11th IEEE International Conference and Workshops on Automatic Face and Gesture Recognition: Emotion Representation, Analysis and Synthesis in Continuous Time and Space
• 1st joint WOSP/SIPEW international conference on perfomance engineering 2010
• International workshop on underactuated grasping 2010

更多>>

• 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

更多>>