Abstract state machines, alloy, B and Z

• 家庭电子（爱好者）
• 电脑开发与应用
• 学电脑
• 中文信息学报
• 光盘技术
• 电脑爱好者
• 控制理论与应用
• 机器人技术与应用
• 通讯和计算机
• 计算机辅助设计与图形学学报

更多>>

• Internet Computing, IEEE
• Computer science review
• Computers, IEEE Transactions on
• International Journal of Mobile Human Computer Interaction
• International journal of web information systems
• Crossroads
• International journal of organizational and collective intelligence
• International journal of computer research
• International Journal of Web Based Communities
• Computational economics

更多>>

• 第六届全国计算机应用联合学术会议
• 2015年全国电子认证技术交流大会
• 第九届CERNET学术年会
• 中国科学院技术科学论坛第二十三次学术报告会议（CAE自主创新发展战略）
• OA'2006办公自动化学术研讨会
• 全国第五届计算机辅助生产管理学术会议
• 2010年全国软件与应用学术会议(NASAC2010)
• 中国自动化学会中南六省(区)第26届学术年会
• 2005’全国软件与应用学术会议（NASAC）
• 第五届全国计算机取证技术研讨会

更多>>

• Remote sensing and modeling of ecosystems for sustainability XIII
• 2013 3rd International Workshop on Comparing Requirements Modeling Approaches
• ACM/IFIP/USENIX International Middleware Conference; 20041018-22; Toronto(CA)
• Tenth International Conference on Information Systems Development, Sep 5-7, 2001, London, UK
• International Conference on Embedded and Ubiquitous Computing(EUC 2006); 20060801-04; Seoul(KR)
• Formal methods for eternal networked software systems
• Proceedings of the 21st annual international conference on Documentation
• Applications of Graph Transformations with Industrial Relevance
• Uncertainties Workshop: Electrical Measurements
• Developments in near Infra-Red Visible Ultraviolet Detectors

更多>>

• 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

更多>>