(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
楚西岩编著2013 年出版227 页ISBN:7553400793
本书细致分析了中学生成长当中的焦虑心理,鼓励他们放宽心胸,保持平稳心态。读者通过阅读这部作品,能让浮躁的心灵平静下来。本书以中学生为教育对象,牢牢把握他们成长中的心态变化,提出真诚的建议,既有助于他们.....
肖铁岩主编2009 年出版492 页ISBN:9787562451327
重庆大学在80年的发展历程中,形成了良好的学术氛围和光荣的革命传统,成为了重大人重要的精神财富。为回顾发展历史,保存珍贵史料,总结办学经验,发扬优良传统,历届校党委和校行政都非常重视校史整理、编撰工作,......
新望主编;刘宏斌,孙伯阳著2013 年出版177 页ISBN:9787541564123
改善民生是中国经济发展规律的必然要求,是改变中国经济发展过度依赖出口的必然选择,是党的宗旨的根本体现,是满足人民群众的根本需要。该套丛书,既体现了党和政府的科学抉择,又反映了群众的基本愿望;既有利于贯.....
刘宏照著2011 年出版389 页ISBN:9787532754915
本书简要回顾了国内外一百多年来林纾研究的成果,尤其是林纾小说翻译方面的研究成果,探讨了林纾的翻译思想、翻译策略、操纵林纾小说翻译的因素、林纾小说翻译成功的原因、林纾小说翻译的贡献以及林纾小说翻译...
刘宏青,颜凌芳著2010 年出版136 页ISBN:9787514101324
本书立意于寻找中国劳动力优势实现过程中的制度因素,并对这些制度变迁的经济绩效进行实证,寻找制度障碍,再基于这些研究,作出制度重构和创新的设想,试图为中国目前劳动力优势弱化的实际情况寻找制度解决的途径。...
刘永田,薛岩主编;元莉萍,徐楠副主编2012 年出版376 页ISBN:9787512408012
本书主要内容有制图基本知识与技能,投影与视图,点、线、面的投影,投影变换,点、线、面的相互关系,基本体、切割体、相交主体的表示法,零件图、装配图,零件、部件的测绘,焊接图等。...
孟繁茂,付俊岩编著2006 年出版370 页ISBN:7502441050
本书主要内容是铌在优化长条钢材性能方面的作用和含铌长条钢材新产品的开发技术与应用,长条钢材新产品包括高强度棒线、非调质钢棒、汽车用二三次加工的棒线材、建筑用型钢、钢筋、轨钢、铁钢、铁塔、角钢等...
阮岩主编2007 年出版293 页ISBN:9787536135420
本书分总论、各论和附篇等三大部分,分别介绍中西医结合耳鼻咽喉科学基础、常见耳鼻咽喉头颈疾病及其常用中西医治疗方法、专科用药、方剂及有关索引。...