Formal Modeling and Analysis of Timed Systems; Lecture Notes in Computer Science; 4202

• 计算机与网络
• 信息与电脑
• 计算机与现代化
• 中国高等学校学术文摘·计算机科学
• 电子竞技
• 传感器世界
• 机器人
• 信息方略
• 新电脑
• 新电脑

更多>>

• Journal of E-Government
• RCM&E
• Studies in Health Technology and Informatics
• ACM Transaction on Information and System Security
• Journal of research and practice in information technology
• Real-time systems
• Intelligent Transport Systems, IET
• Electronic Commerce Research
• Scientific Computing & Instrumentation
• International journal of gaming and computer-mediated simulations

更多>>

• 中国人工智能学会计算机辅助教育专业委员会2005年第十二届学术年会
• 2013年中国信息通信研究新进展研讨会暨第五届数字媒体技术专业建设研讨会
• 2012年第三届中国计算机学会服务计算学术会议
• 全国抗恶劣环境计算机第二十七届学术年会
• 2010年全国理论计算机科学学术年会
• 第九届全国计算语言学学术会议
• 2014西门子工业专家会议
• 信息系统协会中国分会第四届学术年会
• 第二十届计算机工程与工艺年会暨第六届微处理器技术论坛
• 第11届Java及其应用学术会议

更多>>

• 2013 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development
• American Society of Mechanical Engineers(ASME) International Design Engineering Technical Conference and Computers and Information in Engineering Conference(DETC2005) vol.2 pt.A: 31st Design Automation Conference; 20050924-28; Long Beach,CA(US)
• International Symposium on Leveraging Applications of Formal Methods(ISoLA 2004); 20061030-1102; Paphos(CY)
• Internet and network economics
• Midwest Artificial Intelligence and Cognitive Science Conference(MAICS-2005); 20050416-17; Dayton,OH(US)
• Modeling and Simulation for Military Operations III
• Hybrid systems: Computation and control
• Network Protocols, 2001
• International Conference on Computer-Aided Design of User Interfaces(CADUI'2006); 20060606-08; Bucharest(RO)
• Mobile multimedia processing : Fundamentals, methods, and applications

更多>>

• 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

更多>>