Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
COLOR SCIENCE：CONCEPTS AND METHODS，QUANTITATIVE DATA AND FORMULAE 2ND EDITION
GUNTER WYSZECKI，W.S.STILES2222 年出版950 页ISBN：0471021067
环境科学 交叉关系学科 第14版 = ENVIRONMENTAL SCIENCE A STUDY OF INTERRELATIONSHIPS (FOURTEENTH EDITION)
ELDON D.ENGER2017 年出版495 页ISBN：9787302459439
内容包括：环境学科的交叉性，环境伦理，风险、经济与环境，物质、能量与环境，环境与生物，生态系统及群落种类，人口特点与人口问题，能源与文明：消费模式，非可再生能源，可再生能源，生物多样性，土地使用规划，......
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
METHODS TOWARD A SCIENCE OF BEHAVIOR AND EXPERIENCE UNIVERSITY OF MASSACHUSETTS PSY 241
WILLIAMS J.RAY2002 年出版333 页ISBN：0534002331
Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
