面向对象软件的形式验证技术

本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

日语形式名词

本书对日语中最常见的形式名词，通过大量的例句和文章进行了系统分析，阐述了这些形式名词在各种场合的表现形态、语法功能和微妙的语感。实为日语学习的良师益友。对日语专业的学生、各类日语学习者及日语工作...

中国海洋符号 海盐传奇

本书从“盐与人类”“盐政史话”“盐区回眸”“盐场春秋”“盐商故事”和“文化遗产”六个方面勾勒出海盐的符号形象。在讲述传统中国海盐的生产技术、管理制度、利益分配、著名人物与事件的同时，还介绍了盐...

基于形式概念分析的Folksonomy知识发现研究

意义与形式：英美作家作品风格生成论

形式逻辑 修订本 第2版

红色语言（REDL）的非形式说明书

美国短篇小说 批评与艺术形式嬗变研究

英汉形式句法

本书具有以下特点：吸收了英、汉句法研究的新成果来分析英语、汉语句法，藉此为语言研究者提供新视野；形式句法在我国的普及程度不如国外，而形式句法对语言的描述与传统句法对语言的描述大相径庭，本书帮助读者在理...

武装的眼睛 现代新闻报道形式及其写作