Fields of logic and computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

• 条码与信息系统
• 程序员
• 互联网周刊
• 制造业自动化
• 程序员：游戏创造
• 中文信息学报
• 控制理论与应用
• 传动技术
• 家庭电子
• 机器人技术与应用

更多>>

• World Wide Web
• Acta Automatica Sinica
• A P L quote quad
• Foundations and Trends in Computer Graphics and Vision
• International journal of data mining, modelling and management
• International journal of human capital and information technology professionals
• Advanced imaging
• Formal Methods in System Design
• Evolutionary computation
• Journal of the Association for Information Systems

更多>>

• 2010（第三届）全国网络与信息安全学术会议
• 2006年中国西部地区信息技术学术研讨会
• 2005全国自动化新技术学术交流会
• 全国信息安全与通信保密技术研讨会
• 重庆市自动化与仪器仪表学会建会二十周年庆祝会暨学术交流会
• 河南省计算机学会2011年学术年会
• 第七届全国技术过程故障诊断与安全性学术会议
• 2011年全国数字媒体技术专业建设与人才培养研讨会
• 1999年中国智能自动化学术会议
• 2011年江苏省人工智能学术会议

更多>>

• ICSE workshop on quantitative stochastic models in the verification and design of software systems 2010
• International Workshop on Computational Logic in Multi-Agent Systems(CLIMA IV); 20040106-07; Fort Lauderdale,FL(US)
• Optics, Illumination, and Image Sensing for Machine Vision VI
• Computing and combinatorics
• New Developments in Electric Vehicles for Disabled Persons
• Foundations and tools for neural modeling
• Transactions of the KONWIHR Result Workshop on High Performance Computing in Science and Engineering; 20041014-15; Garching(DE)
• Southeastern International Conference on Combinatorics, Graph Theory and Computing; 20070305-09; Boca Raton,FL(US)
• Recent advances in constraints
• Recent advances in parallel virtual machine and message passing interface

更多>>

• 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

更多>>