Teaching formal methods

• 美与时代（上旬刊）
• 党建研究内参
• 云南行政学院学报
• 求是
• 红广角
• 中共四川省委省级机关党校学报
• 山东行政学院学报
• 城市党报研究
• 四川心理科学
• 政府法制

更多>>

• Cogent Environmental Science
• Neurochemical journal
• International Journal of Clinical and Health Psychology
• Journal of Social Psychology
• Journal of Cognition and Development
• Psychological Review
• American Journal of Applied Psychology
• Contemporary Buddhism
• Cognitive processing
• Social Epistemology: A Journal of Knowledge, Culture and Policy

更多>>

• 湖南省第五届研究生创新论坛——湖湘文化传承与发展研究分论坛
• 2009北京地区哲学专业研究生学术论坛
• 长安佛教学术研讨会
• 中国心理学会心理学教学工作委员会与人格心理学分会2012年学术年会
• 2013年第一届慈宗国际学术论坛
• 第八届中国心理学家大会
• 全国第三届生态美学学术研讨会
• 中国航海学会航海心理学专业委员会2015年学术年会
• 中国宝卷生态化保护与传承交流研讨会
• 第六届农林高校哲学社会科学发展论坛

更多>>

• International Conference on Asian Digital Libraries(ICADL 2004); 20041213-17; Shanghai(CN)
• Global product development
• Proceedings of the 26th annual international ACM SIGIR conference on Research and development in informaion retrieval
• Proceedings of the Sixteenth ACM conference on Conference on information and knowledge management
• ISSI 2011
• ICMSA 2005 Conference Proceedings
• The Eight China-Japan Symposium on Statistics
• 30th annual national conference of the American Society for Engineering Management 2009
• 9th ACM/IEEE joint conference on digital libraries 2009
• Hospotality Development under Globalization

更多>>

• 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

更多>>