QUANTITATIVE SYSTEM PERFORMANCE COMPUTER SYSTEM ANALYSIS USING QUEUEING NETWORK MODELS
EDWARD D.LAZOWSKA2222 年出版0 页ISBN：
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
COMPUTATIONAL METHODS FOR RELIABILITY AND RISK ANALYSIS Series on Quality
Reliability and Engineering Statistics Vol.142009 年出版340 页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：
Mechanics of Flow-Induced Sound and Vibration 1 General Concepts and Elementary Sources
William K. Blake2017 年出版478 页ISBN：0128092736
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
