Formal Methods for Performance Evaluation; Lecture Notes in Computer Science; 4486

• 计算机研究与发展
• 软件
• 传感器与微系统
• 自动化博览
• 自动识别技术与应用
• 计算机科学与探索
• 计算机应用研究
• 轻松学电脑
• 控制理论与应用
• 中国自动识别技术

更多>>

• Peer-to-peer networking and applications
• Computer Graphics Forum
• Computers & geosciences
• Informatica
• Computerworld
• iBusiness Dossier
• International journal of human capital and information technology professionals
• ACM Journal of Computer Documentation
• International Journal on Document Analysis and Recognition
• Journal of information technology research

更多>>

• 第八届MES（制造执行系统）开发与应用专题研讨会
• 第十七届全国数据库学术会议
• 第十五届全国振动与噪声控制高技术及应用会议
• 2003信息保密专业委员会学术年会
• 第五届全国信息隐藏学术研讨会
• 第九届全国虚拟现实与可视化学术会议
• 第一届中国传感器网络学术会议(CWSN 2007)
• 信息系统协会中国分会第三届学术年会
• 2009年中国智能自动化会议
• 首届智能CAD与数字娱乐学术会议

更多>>

• 3rd Workshop on hybrid approaches to translation
• Recent Advances in Parallel Virtual Machine and Message Passing Interface
• Information security, coding theory and related combinatories : Information coding and combinatorics
• First ACL workshop on ethics in natural language processing
• 1st ACM international workshop on multimedia technologies for distance learning 2009
• Workshop on massive data analytics on the cloud 2010
• ACM/IFIP/USENIX International Middleware Conference; 20041018-22; Toronto(CA)
• 28th Conference on Current Trends in Theory and Practice of Informatics, 28th, Nov 24-Dec 1, 2001, Piest'any, Slovak Republic
• Mobile Robots VII
• 2014 Seventh International Joint Conference on Computational Sciences and Optimization

更多>>

• 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

更多>>