3rd ACM SIGPLAN workshop on programming languages meets program verification 2009

• 程序员：游戏创造
• 中国自动识别技术
• 测试技术学报
• 中国信息技术教育
• 计算机工程
• 金卡工程
• 条码与信息系统
• 计算技术与自动化
• 软件
• 福建电脑

更多>>

• European journal of information systems
• International journal of applied geospatial research
• Journal of logic and computation
• International Journal of Systems and Service-Oriented Engineering
• Journal of information technology research
• Web Intelligence and Agent Systems
• Requirements Engineering
• Theory and Practice of Logic Programming
• Evolutionary Intelligence
• Machine Learning

更多>>

• 第五届图像图形技术与应用学术会议
• 2012中国计算机大会
• 2004北京国际智能交通论坛
• 第八届中国智慧城市建设技术研讨会
• 信息系统协会中国分会2006年学术研讨会
• 2007年首届仪表、自动化与先进集成技术大会
• 第20次全国计算机安全学术交流会
• 第13届全国计算机、网络在现代科学技术领域的应用学术会议
• 2014年CKC杯全国纵横汉字输入大赛暨纵横码学术研讨会
• 中国自动化学会第十四届青年学术会议

更多>>

• Conference on visual communications and image processing; 20090120-22; San Jose, CA(US)
• Autonomous and intelligent systems
• International Workshop on Sequences, Subsequences, and Consequences(SSC 2007); 20070531-0602; Los Angeles,CA(US)
• 3rd Workshop on hybrid approaches to translation
• International Conference on Machines, Computations, and Universality(MCU 2004); 20040921-24; Saint Petersburg(RU)
• Proceedings of the 2010 IEEE Network Operations and Management Symposium
• International Conference on Digital Human Modeling(ICDHM 2007); International Conference on Human-Computer Interaction(HCI); 20070722-27; 20070722-27; Beijing(CN); Beijing(CN)
• Proceedings of the First ACM symposium on Symbolic and algebraic manipulation
• ACM(Association for Computing Machinery) Workshop on Digital Rights Management; 20031027; Washington,DC; US
• 2010 International Conference on Information Science and Applications (ICISA 2010)

更多>>

• 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

更多>>