Formal methods for open object-based distributed systems

• 指挥信息系统与技术
• 家庭电子
• 数码精品世界
• 博客族
• 电脑知识与技术-经验技巧
• 电脑乐园：学生电脑
• 电脑知识与技术
• 直通VIP
• 软件世界
• 黑客防线

更多>>

• Journal of the Association for Computing Machinery
• Managing automation
• Journal of Computer and Systems Sciences International
• Theoretical Computer Science
• International journal of technology diffusion
• Computer languages
• European journal of information systems
• Delphi Informant
• Journal of gaming & virtual worlds
• Remote Sensing Reviews

更多>>

• 第二届中国（北京）城市公共安全视听信息研讨会
• 第二十届全国网络与数据通信学术会议
• 第二十一届计算机工程与工艺年会暨第七届微处理器技术论坛
• 第二届全国学生计算语言学研讨会
• 中国计算机学会信息保密专业委员会学术会议
• 全国抗恶劣环境计算机第14届学术年会
• 中国系统仿真学会成立20周年大会暨学术年会
• 2004年全国第五届成像光谱技术与应用研讨会
• 第二十四届中国数据库学术会议
• 中国电机工程学会能源与信息专委会电磁脉冲与信息系统防护学术委员会2006年学术年会

更多>>

• Dependable Computing, 2009. PRDC '09
• First International Conference on Soft-Ware 2002, Apr 8-10, 2002, Belfast, Northern Ireland
• Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2010)
• Testing: Academic and Industrial Conference - Practice and Research echniques, 2009. TAIC PART '09
• Proceedings 2015 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
• International Conference on Software Engineering Research and Practice(SERP'05) vol.2; 20050627-30; Las Vegas,NV(US)
• Proceedings of the 2010 ACM SIGPLAN erlang workshop
• ACM/IFIP/USENIX International Middleware Conference; 20051128-1202; Grenoble(FR)
• International Conference on Human-Computer Interaction(HCI International 2007); 20070722-27; Beijing(CN)
• 2014 5th European workshop on CMOS variability

更多>>

• 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

更多>>