International SPIN Workshop on Model Checking Software; 20050822-24; San Francisco,CA(US)

• 电脑开发与应用
• 高性能计算技术
• 计算机测量与控制
• 计算机学报
• 河北遥感
• 计算机安全
• 电脑时空
• 计算机应用
• 宽带世界
• 通讯和计算机

更多>>

• Electronic Computers, IEEE Transactions on
• Canadian Journal of Remote Sensing
• Int. J. Social Computing and Cyber-Physical Systems
• Productivity management
• International journal of gaming and computer-mediated simulations
• .Net Developer's Journal
• International Journal of Pattern Recognition and Artificial Intelligence
• International journal of information systems and social change
• Automatika
• International journal of computer science and network security

更多>>

• 2014ANSYS中国技术大会
• 第十届中国系统建模与仿真技术高层论坛
• 中国电子学会电子产业战略研究分会第九届学术研讨会(年会)
• 第七届中国可信计算与信息安全学术会议
• 中国计算机学会职业教育委员会第三届年会
• 中国计算机学会青少年电脑教育探索与创新研讨会
• 华东师范大学“数据科学与工程”论坛内存计算数据管理主题报告会
• 2015年全国开放式分布与并行计算学术年会
• 全国第七届工业控制系统应用学术会议
• 第二十二届测试与故障诊断技术研讨会

更多>>

• Proceedings of the 2012 ACM conference on emerging networking experiments and technologies
• Multi-agent systems
• Photonic Quantum Computing II
• Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems
• Proceedings of the 4th international software process workshop on Representing and enacting the software process
• International School on Formal Methods for the Design of Computer, Communication, and Software Systems(SFM-Moby 2005); 20050426-30; Bertinoro(IT)
• 2018 International Conference on Smart Systems and Inventive Technology
• Artificial Intelligence for Knowledge Management
• Small-scale robotics: from nano-to-millimeter-sized robotic systems and applications
• Robot Communication and Coordination, 2009. ROBOCOMM '09

更多>>

• 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

更多>>