Theory and Applications of Satisfiability Testing - SAT 2008

• 化学传感器
• 计算机工程与设计
• 电脑编程技巧与维护
• 计算机集成制造系统
• 智能系统学报
• 计算机与现代化
• 音响改装技术
• 自动化学报
• 宽带世界
• 家庭电子（爱好者）

更多>>

• Automated software engineering
• Journal of computer security
• Web techniques
• Data Storage
• Computer Review
• Foundations and trends in human-computer interaction
• Foundations and trends in robotics
• Multiagent and grid systems
• International Journal of Digital Literacy and Digital Competence
• IEEE security & privacy

更多>>

• 第十二届全国高等学校过程装备与控制工程专业教学与科研校际交流会
• 马斯特杯2003年中国机器人大赛及研讨会
• 第五届全国仿真器学术会
• 全国工业企业计算机应用学术交流会
• 中国自动化学会、中国仪器仪表学会2004年西南三省一市自动化与仪器仪表学术年会
• 第十三届中国不确定系统年会暨第九届中国智能计算大会
• 第七届中国智能计算大会
• 第五届全国信息隐藏学术研讨会
• 全国抗恶劣环境计算机第二十五届学术年会
• 第六届输配电技术国际会议

更多>>

• Languages and Compilers for High Performance Computing
• International Conference on Big Data Computing, Applications and Technologies
• Computer vision and image analysis : Pattern recognition and basic technologies
• Object-oriented technology: ECOOP 2008 workshop reader
• Field and service robotics
• 2018 International Conference on Advancements in Computational Sciences
• Network-based parallel computing : Communication, architecture, and applications
• International Conference on Computational Intelligence and Security(CIS 2005) pt.1; 20051215-19; Xi'an(CN)
• Iberian Conference on Pattern Recognition and Image Analysis(IbPRIA 2007) pt.2; 20070606-08; Girona(ES)
• Networks-on-Chip, 2009. NoCS 2009

更多>>

• 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

更多>>