秦训刚,蒋红森主编2009 年出版183 页ISBN:9787535243980
本书选取感人的美德故事,以引人入胜的情节、真挚感人的语言,向中小学生展现生活中的真、善、美,对学生进行“责任”、“廉洁”、“勤俭”、“诚信”等方面的教育。...
王万森主编2014 年出版441 页ISBN:9787209087674
本书以论文的形式,分别就三四十位中国现当代作家,包括张贤亮、史铁生、铁凝、王安忆、叶兆言、毕淑敏等,特别是山东籍作家张炜、莫言等的文学作品内在意蕴和艺术风格、创作个性进行了分析和探讨,从中观的视角,探...
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
数据库系统开发教程 基于SQL Server 2005+VB.NET 2005
李春葆,曾平,赵丙秀编著2009 年出版403 页ISBN:9787302192022
本书主要讲授数据库应用系统的开发方法,应用系统设计以SQL Server 2005为平台,其前端应用开发工具采用VB.NET 2005。
李春喜,邵云,姜丽娜编著2008 年出版289 页ISBN:9787030215734
本书系统地介绍了生物统计学的基本原理和方法,在简要叙述了生物统计学的概念、产生、发展和作用、生物学研究中试验资料的整理、特征数的计算、概率和概率分布、抽样分布基础上,着重介绍了平均数和频率的假设...
李春波主编2008 年出版363 页ISBN:9787811125832
本对云南民大预科教育的工作经验进行了总结,对未来我省民族预科教育提出了切实的建议和措施。
童庆炳,王一川,李春青著2010 年出版338 页ISBN:9787301173275
《文化与诗学》是一本涵盖了文学理论、文学批评、文化研究和文学类书评的论文集,关注学科发展中各种前沿问题,对之进行了细致的讨论。本辑内容包含对于文艺学学科的探讨、北美汉学界的两宋词论研究、从出土楚...
李春贵,孙自广主编2009 年出版229 页ISBN:9787562331650
C语言程序设计是一门计算机或相关专业的编程基础课程,本书是C语言程序设计的实验实训教材,其内容包括:C程序设计实验指导、重点知识的学习与复习指导、实训(课程设计)指导,等级考试等内容,贯穿了从授课、练习、......
李立安,李冬华主编;童英,李春东,王双福等副主编2012 年出版195 页ISBN:9787509159811
本书由具有临床实践和考务经验的专家,按照最新的考试大纲要求,认真研究历年考题,对历年考试进行了详细的分析和归纳,在编写结构上分为正文和历年考点串讲两部分,正文部分既考虑到知识点的全面性,又突出重点,历......