纳锐作弊形式及审查方法实务全书 上

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

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

日语形式名词

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

常微分方程数值解法 刚性问题与边值问题

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

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

形式逻辑 修订本 第2版

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

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

英汉形式句法

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