Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
ENGLISHIN FOCUS ENGLISH IN PHYSICAL SCIENCE
J.P.B.ALLEN H.G.WIDDOWSON2222 年出版0 页ISBN：
ROBIN J.WILSON LOWELL W.BEINEKE2222 年出版423 页ISBN：0127578404
OPTIMAL CONTROL THEORY WITH APPLICATIONS IN ECONOMICS
THOMAS A.WEBER A.V.KRYAZHIMSKIY2011 年出版360 页ISBN：9780262015738
Advances in catalysis science and technology
ed. by T.S.R.Prasada Rao1985 年出版771 页ISBN：0470201878
DEVELOPMENTS IN WATER SCIENCE 19 PIPEFLOW ANALYSIS
DAVID STEPHENSON1984 年出版204 页ISBN：0444422838
APPLICATIONS OF COLLEGE MATHEMATICS
A.WILLIAM GRAY AND OTIS M.ULM1970 年出版360 页ISBN：
