Hardware description languages and their applications: Specification, modelling, verification and synthesis of microelectronic systems

• 新电脑
• 制造业自动化
• 软件学报
• 计算机与数字工程
• 高性能计算技术
• 计算机研究与发展
• 首都信息化
• 自动化与仪表
• 光盘技术
• 计算机科学

更多>>

• Information and computation
• SC magazine
• Theory and Practice of Logic Programming
• IBM database magazine
• International journal on digital libraries
• International journal of cloud applications and computing
• Applied numerical mathematics
• International journal of cognitive informatics and natural intelligence
• Algorithmica
• RSTI

更多>>

• 中国教育和科研计算机网CERNET第十三届学术年会
• 2008江苏省自动化学会学术年会
• 第八届全国互联网与音视频广播发展研讨会
• 2011计算机辅助工程及其理论研讨会
• 电子政务与社会管理创新研讨会
• 第六届输配电技术国际会议
• 首届泛珠三角先进制造技术论坛暨第八届粤港机电工程技术与应用研讨会
• 2014年江苏省仪器仪表学会学术年会
• 第十八届全国信息保密学术会议
• 第三届中国Rough集与软计算机学术研讨会

更多>>

• Soft Methods for Handling Variability and Imprecision
• International Symposium on Advances in Visual Computing(ISVC 2005); 20051205-07; Lake Tahoe,NV(US)
• Electro-optical remote sensing, photonic technologies, and applications VI
• Distributed computing and internet technology
• Active networks
• Workshop on discontinuous structures in natural language processing
• 2013 IEEE Workshop on Hybrid Intelligent Models and Applications
• International Joint Conference on Automated Reasoning(IJCAR 2004); 20040704-20040708; Cork; GB
• Proceedings of the ACM/SIGAPL conference on APL as a tool of thought (session tutorials)
• ICMIT 2007;International Conference on Mechatronics and Information Technology; 20071205-06;20071205-06; Gifu(JP);Gifu(JP)

更多>>

• 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

更多>>