2005 年出版422 页ISBN:7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖...
2001 年出版259 页ISBN:7201038168
加拿大国际开发署公民社会项目中国青少年发展基金会资助:本书包括三个部分。第一部分为志愿活动及其计量;第二部分为志愿服务领域;第三部分为志愿活动管理。...
2005 年出版219 页ISBN:7501168857
本书作者用形象化的例子,向父母、教育工作者阐述了不同类型孩子的行为特征,以便更好了解孩子。
2005 年出版299 页ISBN:7301081340
本书从公共行政与法的关系的视角,通过对行政法制的类型分析,描述了各种类型的行政法制的基本特征,阐述了行政法的逻辑发展史,揭示了行政法的一般发展轨迹,在此基础之上提出了我国行政法的发展思路。...
2004 年出版378 页ISBN:7301074492
非写实小说,又称表意小说。本文作者从表现类型入手,按精怪类、鬼神类和梦魂类进行全面的分析。在研讨具体作品形态的同时,阐述唐代非写实小说某些显眼的主题模式、艺术品格、表现手法和叙述方式,并且大力追溯各...
2006 年出版240 页ISBN:7040196220
本书分上、下两册出版。上册6章,内容为函数与极限,一元函数微积分,微分方程;下册4章,内容为向量代数与空间解析几何,多元函数微积分,无穷级数。本书按照适当降低理论深度,突出微积分中实用的分析和运算方法,着重基本...
2006 年出版433 页ISBN:7811101262
本书以战国前考古文物为对象,分析其特征和规律,具有较高学术价值。
2001 年出版204 页ISBN:7508216296
《保护地设施类型与建造》由辽宁省农业职业技术学院吴国兴教授等编著。主要内容包括:我国保护地设施建造概述,简易保护地设施,塑料大棚、塑料中棚、塑料小拱棚和温室的结构类型、采光设计、保温设计、建造施工...
2006 年出版278 页ISBN:7207070497
本书通过对国际贸易范畴演进的创新,建立起产业与贸易相关机制的分析框架,对我国贸易发展及存在的问题进行梳理,对我国贸易未来提出一些建议。...
2006 年出版239 页ISBN:7564103884
在全球化的今天,千百年相对稳定的城市形态遭受着巨变,中国许多历史性城市的个性正在丧失。本书选择我国重要的历史文化名城——苏州为案例进行系统理论研究,整理其历史脉络,探寻其演化机制,剖析其中的规律性和真...