计算系统的形式语义 上

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

屈赋新探

《屈赋新探》乃是汤炳正先生早年一部在学术界影响深远的力作。该书以近代以来出土的文物为依据，系统考据了屈原作品中的一些问题，使学界长久以来得不到解决的疑问有了完满的答案，是建国后屈赋研究领域标志性的...

人文社会科学新探，第五辑

本书为华东政法大学人文学院部分教师的科研论文集，汇集了哲学政治、语言文学、新闻传播、大学教育等几部分五十多篇论文成果。

金属切削理论及其应用新探

研究成果获国家自然科学奖:本书汇聚了作者多年来在金属切削基础理论及其应用方面的一些研究成果，其内容包括“非欧式刀具几何学”、“非自由切削力学”和“非线性机床动力学”三个部分。...

历史与美学的选择 毛泽东文艺思想新探

汉语特殊句式的事件语义分析与计算

本书是教育部人文社会科学规划项目“汉语特殊句式的事件语义分析与计算”（项目批准号：06JA740010）的结项成果。研究的对象是现代汉语特殊句式的语义特征，所使用的分析方法是形式化的事件语义学理论，所得出的分析...

知情交融 教学模式新探

本书研究的是知情相互关系在教学的有效方式以及解决教学的基本矛盾中所起的作用。主要倡导的是通过创设一定的教学条件，使学生的认知与情绪活动在积极互动的基础上协调统一、良性循环。...

审美教育心理新探

本书从审美风景线、审美素质的内在训练范式、内在女神与素质放射、开发素质的主观内容与客观工具、意象之花与精神之果、创造性智慧——内在星光的永恒昭示、从内在开发走向外在创造的新天地、创新的内在动...

苏联、共产国际与中国革命的关系新探

少年司法制度新探

本书为重庆市哲学社科课题《城乡统筹视野中的少年司法体系建构以及犯罪预防战略》的结项成果。本书力图通过理论与实践相结合的方式，一方面对少年司法制度的系统理论予以拓新性的探索，另一方面通过相关的研究...