Web Services, Formal Methods, and Behavioral Types

• 中文信息学报
• 集成技术
• 金卡工程
• 程序员
• 计算机工程与设计
• 自动化学报
• 微型电脑应用
• 模式识别与人工智能
• 自动识别技术与应用
• 计算机安全

更多>>

• Pattern Analysis and Applications
• EContent
• International journal of mobile and blended learning
• Control Theory & Advanced Technology
• Sensors and materials
• Natural language semantics
• Managing automation
• Journal of information technology research
• Industrial Robot
• Revue d'Intelligence Artificielle

更多>>

• 第七届计算机工程与工艺学术年会
• 中国空间科学学会成像光谱技术与应用学术会议
• 第十九届网络新技术与应用年会
• 全国第五届计算机辅助生产管理学术会议
• 2012年江苏省人工智能学术会议
• 1995年全国计算机新技术与高层次计算机继续教育研讨会
• 2015全国仿真技术学术会议
• 2001嵌入式系统及单片机国际学术交流会
• 2011年亚太信息网络与数字内容安全会议(APCID2011)
• 第二十届中国控制会议

更多>>

• Parallel and distributed computing and systems
• Proceedings of the Twelfth annual CCSC South Central conference on The journal of computing in small colleges
• Proceedings of the 2003 annual national conference on Digital government research
• International Workshop on Web Content Caching and Distribution(WCW 2004); 20041018-20; Beijing(CN)
• Advances in Artificial Intelligence
• Proceedings of the 2005 joint conference on Smart objects and ambient intelligence
• Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Nov 24-27, 1998, Canberra, Australia
• Advances in bio-imaging: from physics to signal understanding issues : State-of-the-art and challenges
• International Conference on Generative Programming and Component Engineering(GPCE 2005); 20050929-1001; Tallinn(EE)
• Artificial Intelligence in Theory and Practice II

更多>>

• 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

更多>>