Verification, model checking, and abstract interpretation

• 高保真音响
• 电子技术
• 世界专业音响与灯光
• 数字技术与应用
• 山西通信科技
• 光子技术
• 电子科技学刊
• 广东通信技术
• 中国电信业
• 音响世界

更多>>

• Elektronik
• POF newsletter
• 電子材料
• Telecom
• Wireless Communications, IEEE
• Electronic Servicing & Technology
• CQ Amateur radio
• Electronics Today
• Canadian journal of communication
• Circuitree

更多>>

• 中国宇航学会特种装备专业委员会第十四届学术交流会暨中国航天信息协会制导与引信专业信息网08011学术交流会暨全网大会
• 2008中日电子电路秋季大会暨秋季国际PCB技术/信息论坛
• 中国电子学会敏感技术分会电压敏专业学部第十七届学术年会
• 第六届全国消费电子技术交流会
• 第五届变频器行业企业家论坛
• 到2020年中国通信科技发展方向及相关政策研讨会
• 第八届全国固体薄膜学术会议
• 2015年全国天线年会
• 中国电子学会真空电子学分会第十七届学术年会暨军用微波管研讨会
• 2013湖南省高校电子信息技术教学学术研讨会

更多>>

• Conference on Complex Mediums IV: Beyond Linear Isotropic Dielectrics Aug 4-5, 2003 San Diego, California, USA
• Symposium on Three-Dimensional Nanoengineered Assemblies Dec 1-5, 2002 Boston, Massachusetts, U.S.A.
• Conference on Cost and Performance in Integrated Circuit Creation Feb 27-28, 2003 Santa Clara, California, USA
• Workshop on Intrinsic Multiscale Structure and Dynamics in Complex Electronic Oxides Jul 1-4, 2002 Trieste, Italy
• IPC SMEMA Council APEX Exhibition Conference: Proceedings of the Technical Program Jan 19-24, 2002 San Diego, California
• Generation, Amplification, and Measurement of Ultrashort Laser Pulses
• Laser resonators, microresonators, and beam control XVI
• Technologies for optical countermeasures VI
• International Symposium on Photoelectronic Detection and Imaging; 20070909-12; Beijing(CN)
• Device-Independent Color Imaging and Imaging Systems Integration

更多>>

• 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

更多>>