NATO Advanced Research Workshop on Verification of Infinite-State Systems with Applications to Security(VISSAS 2005); 20050317-22; Timisoara(RO)

• 通讯和计算机
• 电脑爱好者
• 计算机应用文摘
• 计算机应用
• 软件与光盘
• 自动化学报
• 计算机工程与设计
• 条码与信息系统
• 现代计算机（普及版）
• 计算机工程

更多>>

• YAHOO! Internet Life
• International Journal of Engineering Intelligent Systems for Electrical Engineering and Co
• EARSeL newsletter
• Interfaces and free boundaries
• Computer and information science
• Graphical models
• Journal of information science and engineering
• International Review of Law Computers & Technology
• Journal of logic, language and information
• IBM database magazine

更多>>

• 2007全国计算机实践教学学术研讨会
• 第19届全国计算机新科技与计算机教育学术大会
• 2006北京地区高校研究生学术交流会
• 全国第四届Web信息系统及其应用学术会议、全国第二届语义Web与本体论学术研讨会、全国电子政务技术与办公自动化学术研讨会
• 2011年江苏省人工智能学术会议
• 全国计算机新科技与计算机继续教育研讨会
• 第十届中国机器学习会议
• 第二届海峡两岸科技资讯研讨会暨第十三届全国计算机情报管理学术研讨会
• 第一届中国可信计算与信息安全学术会议
• 2011中国人工生命与智能机器人会议

更多>>

• Requirements engineering: Foundation for software quality
• Innovations for requirements analysis : From stakeholders' needs to formal designs
• Reproducible research in pattern recognition
• International Conference on Discovery Science(DS 2005); 20051008-11; Singapore(SG)
• Law and Computing, 2004
• 2019 International Conference on Communications, Information System and Computer Engineering
• European Conference on Principle and Practice of Knowledge Discovery in Databases; 20060918-22; Berlin(DE)
• Workshop on conference resolution beyond ontonotes 2016
• 2016 International Conference on Logistics, Informatics and Service Sciences
• Logical Foundations of Computer Science

更多>>

• 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

更多>>