Refinement Techniques in Software Engineering; Lecture Notes in Computer Science; 3167

• 福建电脑
• 信息与电脑
• 小型微型计算机系统
• 传感器与微系统
• 遥感学报
• 计算机辅助设计与图形学学报
• 自动识别技术与应用
• 微型计算机
• 电子政务
• 电脑迷

更多>>

• Computer Technology Review
• Computer Economics Report
• Artificial intelligence
• New Generation Computing
• Pocket PC
• Solid-State Circuits Newsletter, IEEE
• Network Computing
• Computing and information systems technical reports
• Machine Vision and Applications
• iSeries news

更多>>

• 第15届全国计算机新科技与计算机继续教育学术会议
• 2011全国开放式分布与并行计算学术年会
• 第四届全国冶金、电力、石油和化工行业自动化技术交流暨"十五"重点推广产品演示会
• CERNET第十届学术年会
• 全国抗恶劣环境计算机第二十一届学术年会
• 全国计算机在现代科学技术领域应用学术会议
• 中国中文信息学会二十周年学术会议
• 第14届全国信息存储技术学术会议
• 全国第三届冶金自动化科技交流学术会
• 中国计算机用户协会信息系统分会2002年信息技术交流大会

更多>>

• High Performance Computing - HiPC 2008
• 21st Australian Software Engineering Conference (ASWEC 2010)
• Software engineering and formal methods
• Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops; Lecture Notes in Computer Science; 4331
• 2018 Global LIFI Congress
• International Symposium on Abstraction, Reformulation and Approximation(SARA 2005); 20050726-29; Airth Castle(GB)
• 11th ACM International Conference on Multimedia; Nov 4-6, 2003; Berkeley, California, USA
• Principles and Practice of Constraint Programming
• International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices(CASSIS 2005); 20050308-11; Nice(FR)
• Southeastcon, 2009. SOUTHEASTCON '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

更多>>