21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版
蒋宗礼,姜守旭编著2013 年出版287 页ISBN:9787302318026
本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验,选择和组织有关内容撰写而成。全书分10章,介绍基础知识,形式语言,文法,正则语言的文法、自动机、正则表达式描述和性质,上下文无关语言的文法.....
蒋忠信著2018 年出版469 页ISBN:9787564361945
本书是著者数十年尤其是“5·12”汶川地震后十年来对滑坡(边坡)、崩塌(危岩)与泥石流治理工程勘查设计技术的经验总结,系在《震后山地地质灾害治理工程设计概要》的基础上全面增加滑坡与崩塌的地质勘查技术,补充....
文范纯,习再安,蒋阳德编著2014 年出版131 页ISBN:9787122187192
本书介绍了农家有机肥和当前主要化学肥料的特性及主要养分含量;重点介绍了根部施肥的测土配方计算方法以及在测土配方施肥计算时应考虑的几个问题;同时还介绍了施肥方法与具体要求。在本书中,还把植物生长调节...
刘镇主编;胡兴福主审;杨婷,胡光宇,汪一鸣等副主编;邱长乐,牛益民,李冰等编2013 年出版250 页ISBN:9787560340784
本教材包括理论与实务两部分,理论介绍工程资料的概念、分类和管理,实务部分介绍工程资料的整理过程和填写要求,以施工工艺过程及工程资料表格形成为主线,用填写范例、相关规定结合工艺流程的编排形式。使读者在...
方向明主编;俞卫锋主审;王英伟,张诗海,赵晶,左云霞,陶国才副主编;于泳浩,王强,王东信等编委;王颖,王海宏,申帮利等编者;胡艳,侯金超编写秘书2012 年出版677 页ISBN:9787030342522
本书是国内第一本从分子水平阐述临床麻醉学、重症医学、和疼痛医学相关机制的书籍。随着遗传学、分子免疫学、分子生物学等理论与技术的发展和应用,临床麻醉学、危重症医学和疼痛医学的机制得到了较为深入的...
刘爽,李亚,刘书等编委;李志题主编;郑伟彬,吴晶晶,王媛媛等编辑2013 年出版308 页ISBN:9787513309813
我社已经出版《给理想一点时间》两部,本书是凤凰网博报博文集系列书之三,书中精选了几十位有影响力的凤凰博主点击量高、广受读者欢迎的文章,汇集成册。所选文章话题上具有广泛关注度,观点理性,文字具有可读性。...
甲央,王明星主编;达瓦次仁等撰文;严钟义等摄影2000 年出版245 页ISBN:7505406876