Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN:3540534792
ENCYCLOPEDIA OF CHEMICAL TECHNOLOGY FOURTH EDITION VOLUME 3 KIRK-OTHMER
1992 年出版1121 页ISBN:0471526711
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN:9783540713883
ENCYCLOPEDIA OF CHEMICAL TECHNOLOGY FOURTH EDITION VOLUME 1 KIRK-OTHMER
1991 年出版1087 页ISBN:047152669X
ENCYCLOPEDIA OF CHEMICAL TECHNOLOGY FOURTH EDITION VOLUME 2 KIRK-OTHMER
1992 年出版1018 页ISBN:047152669X