18th International Conference on Automated Deduction, Jul 27-30, 2002, Copenhagen, Denmark

• 电脑爱好者
• 计算机应用文摘
• 系统仿真技术
• 福建电脑
• 自动化学报
• 电脑入门
• 微型计算机
• 传感技术学报
• 卷宗
• 直通VIP

更多>>

• Australian journal of intelligent information processing systems
• Electronic Computers, IEEE Transactions on
• Computer User
• International journal of parallel programming
• Computer architecture news
• Networks
• Network Computing
• International journal of computers and their applications
• Computer science review
• Intelligent data analysis

更多>>

• 第七届中国信息融合大会
• 第十九届多国仪器仪表学术会议
• 第六届输配电技术国际会议
• 中国计算机学会第一届金融电子化学术交流会
• 2013年全国自动化教育学术年会
• 2010系统仿真技术及其应用学术会议
• 第十四届全国多媒体技术、第一届全国普适计算、第一届全国人机交互联合学术会议（第一届全国和谐人机环境联合学术大会）
• 第六届全国高校计算机网络教学暨网络工程专业建设研讨会
• 第27次全国计算机安全学术交流会
• 第五届中国人工智能联合学术会议

更多>>

• International Workshop on Applied Parallel Computing: State of the Art in Scientific Computing(PARA 2004); 20040620-23; Lyngby(DK)
• 9th International Conference on Principles and Practice of Constraint Programming - CP 2003; Sep 29-Oct 3, 2003; Kinsale, Ireland
• Symposium on Simulation for Architecture and Urban Design
• 2016 Third International Conference on Computing Measurement Control and Sensor Network
• 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Supplemental Volume
• 2010 Pan American Health Care Exchange (PAHCE 2010)
• HCI International '99: the 8th International Conference on Human-Computer Interaction Vol.2, Aug 22-26, 1999, Munich, Germany
• Proceedings of the 2003 Eurographics/IEEE TVCG Workshop on Volume graphics
• On the move to meaningful internet systems: OTM 2014 conferences
• Intelligent computer mathematics

更多>>

• 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

更多>>