Formal techniques in real-time and fault-tolerant systems

• 微型计算机
• 中国自动识别技术
• 计算技术与自动化
• 信息方略
• 软件与光盘
• 计算机时代
• 电脑知识与技术
• 电脑爱好者
• 工业控制计算机
• 数码先锋

更多>>

• International journal of computer research
• OEGAI journal
• IEEE multimedia
• International Journal of High Performance Computing Applications
• International journal of multimedia data engineering & management
• Crossroads
• International journal of embedded and real-time communication systems
• Card Technology
• CIO
• IT Professional

更多>>

• 第十一届全国图象图形学术会议
• 第五届科学数据库与信息技术学术研讨会
• 2006年中国计算机信息防护年会
• 第十二届中国Rough集与软计算学术会议、第六届中国Web智能学术研讨会及第六届中国粒计算学术研讨会联合学术会议
• 中国自动化学会全国第九届自动化新技术学术交流会
• 第八届全国多媒体技术学术会议
• 2011年中国智能自动化会议
• 中国计算机学会信息保密专业委员会2005年学术年会
• 全国首届信息系统工程监理学术会议
• 第19届全国计算机新科技与计算机教育学术大会

更多>>

• Tests and proofs
• Fifth workshop on computational linguistics for literature 2016
• E-Commerce and Web Technologies; Lecture Notes in Computer Science; 4082
• Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
• 2nd international conference on interaction sciences : Information technology, culture and human 2009
• Advances in dynamical systems and control
• Seventh International Workshop on Principles of Engineering Service-Oriented and Cloud Systems
• Ubiquitous computing application and wireless sensor
• International Conference on Artificial Intelligence and Soft Computing(ICAISC 2004); 20040607-20040611; Zakopane; PL
• Workshop on language processing and crisis information 2013

更多>>

• 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

更多>>