8th international workshop on ACL2 theorem prover and its applications 2009

• 计算机应用与软件
• 工业控制计算机
• 传动技术
• 信息与电脑
• 数码
• 首都信息化
• 电脑与信息技术
• 化学传感器
• 光盘技术
• 遥感学报

更多>>

• Journal of systems and software
• Archives of Computational Methods in Engineering
• IBM database magazine
• Control Engineering Practice
• International journal of systems assurance engineering and management
• Journal of Computer and Systems Sciences International
• International journal of art, culture and design technologies
• Remote Sensing Reviews
• International journal on digital libraries
• The international arab journal of information technology

更多>>

• 2009全国通信新理论与新技术学术大会暨全国计算机网络与通信学术会议
• 第十二届全国测试与故障诊断技术研讨会
• 第十三届全国遥测遥控技术年会
• 2014年江苏省仪器仪表学会学术年会
• 2006遥感科技论坛暨中国遥感应用协会2006年年会
• 中国计算机用户协会网络应用分会2011年第十五届网络新技术与应用年会
• 全国信息技术高级研讨会
• 2008年LMS中国用户大会
• 第十六届全国数据库学术会议
• 第七届中国计算机图形学大会

更多>>

• Stereoscopic Displays and Virtual Reality Systems XIV; Proceedings of SPIE-The International Society for Optical Engineering; vol.6490; Electronic Imaging Science and Technology
• Optical Sensing II
• Advanced Wavefront Control: Methods, Devices, and Applications IV
• ER 2002 Workshops on Advanced Conceptual Modeling Techniques ECDM, MobIMod, IWCMQ, and eCOMO; Oct 7-11, 2003; Tampere, Finland
• 2014 International Conference on Service Science
• Recent advances in the message passing interface
• E-Commerce and Web Technologies
• 2014 International Conference on Optimization, Reliabilty, and Information Technology
• Advances in Neural Networks - ISNN 2007 pt.1; Lecture Notes in Computer Science; 4491
• Annual German Conference on Artificial Intelligence(KI 2007); 20070910-13; Osnabruck(DE)

更多>>

• 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

更多>>