-
-
校园文学类活动指导手册
温红青编著2014 年出版179 页ISBN:9787553432953校园文化艺术活动中文学类活动作为学校教育教学工作的一个组成部分,不仅在学校的文学教学工作与文化建设中,也在学校的德育教育工作中也发挥着巨大的作用。本书主要包括古典文学,现代文学,当代文学等活动内容。...
-
新概念C语言程序设计
张基温编著2003 年出版249 页ISBN:7113054579本书共分为4章:第1章介绍C语言的基本语法;第2章介绍最基本的算法设计方法;第3章介绍在程序中组织数据的基本方法;第4章进一步介绍算法设计的重要策略,更为深入的学习C语言的程序设计。...
-
岭南文化书系 客家方言
温昌衍,王秋珺编著2015 年出版193 页ISBN:9787566814845客家方言是客家人在迁徙中形成的一种交际工具,它在很大程度上保留了中原古韵,但又有所发展,吸收并融化了客家土著的语言成分。本书对客家方言主要是梅州客家方言进行了详细介绍,主要内容包括:客家方言的分布、形...
-
-
-
语用与认知语用学研究
温晓亮;江晶瑶;柴冒臣2017 年出版172 页ISBN:9787569200928认知语言学这个名称,有广义和狭义两种理解。语言能力不是一种特殊的认知能力,它同人的一般认知能力没有什么本质上的差别,这就是狭义的“认知语言学”。本书分为六章,从六个角度对认知语言进行研究,主要是狭义的...
-
高速公路病害分析与处治技术
封建武,温高峰主编2009 年出版329 页ISBN:9787114078378本书结合当前公路建设热点和难点问题,将对沥青路面水损害的机理和处治技术进行了系统详尽分析,既具备一定的理论水平,又与实际紧密结合,选题及时准确。本书作者长期在公路建设和养护一线从事技术工作,具备扎实的...
-
高阶逻辑辅助证明系统
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
中国模式 防灾救灾与灾后重建
谢永刚著2015 年出版267 页ISBN:9787514152722本书梳理了中国历史上的防灾救灾的经验和教训,并以98‘大洪水、5.12汶川大地震、舟曲特大泥石流等重大灾害为背景,分析了防灾减灾以及灾后经济恢复和灾后重建的办法和效果,并与美、英、日等发达国家的减灾救灾...
