Joint International Workshop on Process Algebra and Probabilistic Methods: Performance Modelling and Verification PAPM-PROBMIV 2001, Sep 12-14, 2001, Aachen, Germany

• 电脑技术
• 计算机测量与控制
• 计算机应用文摘
• 电脑时空
• 计算机工程
• 软件世界
• 程序员
• 金卡工程
• 自动化与信息工程
• 软件学报

更多>>

• Information management & computer security
• Internet Markets
• ACM transactions on Asian language information processing
• Evolutionary computation
• 情報処理
• Software
• International journal of intelligent information and database systems
• IBM database magazine
• International Journal of Pattern Recognition and Artificial Intelligence
• International Journal of Process Systems Engineering

更多>>

• 中国自动化学会第十六届青年学术年会
• 2009年中国人工智能学会智能检测与运动控制技术会议
• 第十七届全国数据库学术会议
• 全国第20届计算机技术与应用（CACIS）学术会议
• MSC.Software虚拟产品开发(VPD)中国用户大会
• 2003年全国理论计算机科学学术年会
• 中国计算机学会2004年信息保密专业委员会学术年会
• 第七届工业仪表与自动化学术会议
• 第十六届全国数据库学术会议
• 第二十二届全国计算机安全学术交流会

更多>>

• Quantum Sensing and Nanophotonic Devices IV; Proceedings of SPIE-The International Society for Optical Engineering; vol.6479
• 1st workshop on natural language processing and information retrieval
• Proceedings of the 5th ACM symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
• 2016 1st International Workshop on Cyber-Physical Production Systems
• International Workshop on Machine Learning for Multimodal Interaction(MLMI 2005); 20050711-13; Edinburgh(GB)
• Web services and formal methods
• Industry Applications Society Annual Meeting, 1988
• Logic program synthesis and transformation
• Third Workshop on Metaphor in NLP 2015
• On the move to meaningful internet systems: OTM 2014 conferences

更多>>

• 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

更多>>