软件工程 领域、需求与软件设计

DINES BJORNERXXX 年出版766 页ISBN：7302154279

本书介绍软件开发的基本原理和技巧。

软件工程．抽象与建模

（丹）比约纳（Bjorner，D.）著2007 年出版752 页ISBN：7302154287

本书介绍抽象与建模的基本原理和技巧。

COMBINATORICS OF COXETER GROUPS

ANDER BJORNER2005 年出版366 页ISBN：

软件工程 系统与语言规约

（丹）比约纳（Bjorner，D.）著2007 年出版802 页ISBN：9787302154327

本书介绍系统与语言的规约的基本原理和技术。

简捷图示场地施工细部手册

（美）尼古拉斯·T.丹斯（Nicholas. T.Dines），（美）凯尔·D.布朗（Kyle D.Brown）著；王剑译2002 年出版400 页ISBN：7112047501

景观设计师便携手册

（美）尼古拉斯·T.丹尼斯（Nicholas Dines），（美）凯尔·D.布朗（Kyle Brown）著；刘玉杰等译2002 年出版481 页ISBN：7112049903

CASE FILES ORTHOPAEDIC SURGERY 骨科学案例45例

DINES2013 年出版0 页ISBN：

LITERARY DISCOURSE A SEMIOTIC PRAGMATIC APPROACH TO LITERATURE

JORGEN DINES JOHNANSEN2002 年出版489 页ISBN：