Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
EMPIRICAL POLITICAL ANALYSIS:RESEARCH METHODS IN POLITICAL SCIENCE FOURTH EDITION
JAROL B.MANHEIM AND RICHARD C.RICH2222 年出版465 页ISBN：0801313074
Marketing Engineering:Computer-Assisted Marketing Analysis and Planning 第2版
[美]利连（Lilien2003 年出版518 页ISBN：
SYMPOSIUM ON FLOW-INDUCED VIBRATIONS VOLUME 6 COMPUTATIONAL ASPECTS OF FLOW-INDUCED VIBRATION
M.P.PAIDOUSSIS1984 年出版79 页ISBN：
MECHANICS OF FLOW-INDUCED SOUND AND VIBRATION VOLUME 1:GENERAL CONCEPTS AND ELEMENTARY SOURCES
WILLIAM K.BLAKE2222 年出版425 页ISBN：0121035018
Mechanics of Flow-Induced Sound and Vibration Volume 2 Complex Flow-Structure Interactions
William K. Blake2017 年出版672 页ISBN：0128092743
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
