Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
Domino and intramolecular rearrangement reactions as advanced synthetic methods in glycoscience
Zbigniew J. Witczak ; Roman Bielski2016 年出版336 页ISBN：1119044208
MONOGRAPHS ON ATHEROSCLEROSIS VOL 9 CLINICAL METHODS IN STUDY OF CHOLESTEROL METABOLISM
1979 年出版167 页ISBN：3805529864
ASIA PACIFIC JOURNAL OF SOCIAL WORK VOLUME 11
JULY 20012001 年出版140 页ISBN：9812101829
THE BRITISH ENCYCOLPAEDIA OF MEDICAL PRACTICE VOLUME 11
ADAM CLARK1943 年出版730 页ISBN：
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
LECTURE NOTES IN MATHEMATICS 1054: GALERKIN FINITE ELEMENT METHODS FOR PARABOLIC PROBLEMS
1984 年出版240 页ISBN：3540129111;0387129111
LECTURE NOTES IN MATHEMATICS 1081: MODULAR REPRESENTATION THEORY: NEW TRENDS AND METHODS
1984 年出版231 页ISBN：3540133895;0387133895
LECTURE NOTES IN MATHEMATICS 1044: DISCRETIZATION METHODS FOR STABLE INITIAL VALUE PROBLEMS
1984 年出版201 页ISBN：3540128808;0387128808
