李莹,吴江琴著2010 年出版200 页ISBN:9787308066679
本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
张银鹤,宋礼鹏,郝春雨等编著2012 年出版354 页ISBN:9787122136152
本书从初学者的角度出发,以通俗易懂的语言、丰富多彩的实例,详细介绍了使用C语言进行程序开发应该掌握的各方面知识。全书共14章,首先介绍了C语言的基础知识,然后重点对C程序的编写进行讲解。另外,还对C语言中的...
骆琳,孙志雯,张哲主编2011 年出版255 页ISBN:9787513512336
《实用医学汉语·语言篇4》在编写过程中,词汇量和语法范围兼顾新HSK(四级)考试大纲的要求,并包含了新HSK(五级)考试大纲中的部分词汇,在练习中体现了新HSK(四级和五级)的考试题型。该教材主要适用于来华学习医学......
吕国英,杨红菊,徐乾等编著2012 年出版229 页ISBN:9787302291824
高级语言程序设计实验指导和习题集包括四个部分:第一部分实验指导;第二部分习题集;第三部分自测题;第四部分课程设计大纲;第五部分习题答案,可以为学生学习和掌握C语言及其程序设计提供充分的资料。...
复旦大学外文学院编;张冲主编2008 年出版224 页ISBN:9787309060638
本书从不同角度和领域向读者展示了复旦近年来研究生在语言文学研究方面所取得的研究成果和进步。
刘金明著2008 年出版193 页ISBN:9787560080253
互文性(intertextuality)理论,如果要追本穷源的话,是当代西方后现代主义文化思潮中产生的一种文本理论,它突出了文本内容之间与形式之间的相互作用,突出了文本与文化表意实践之间的关系,因此拓宽了文学研究的视野,....
(美)MARYMCGROARTY主编;彭宣维导读2016 年出版420 页ISBN:9787100125017
本书为“剑桥应用语言学年度评论”第24卷(2004),本卷对人们在语言教学相关研究方面的进展给予综论性描写,大量涉及二语教学和外语教学的研究进展与相关问题。本卷共收15篇文章,分4个大类,即听说读写教学研究,4篇.....
泽德.A.肖2018 年出版314 页ISBN:9787115477309
这本书的目标是让读者掌握足够的C语言技能,从而可以自己用C语言些程序或者修改别人的C语言代码,成为一个名优秀的程序员,但这并不完全是一本讲C语言编程的书,书中还重点关注防御性编程。本书以习题的方式引导读...
韦秀玉著2017 年出版235 页ISBN:9787307198777
本书从艺术语言的视角,关注艺术对象区别于其它物品的独特方面,即它们的视觉特性。根据媒介的类型对视觉艺术作品进行归类,粗略分为绘画、工艺美术、雕塑、园林、建筑、影视等等。本书主要研究绘画、工艺美术品...