 |
0 索取号:TP311.5-532/E20023/11 作者:International Symposium on Software Reliability Engineering (11th : 2000 : San Jose、California、USA)、IEEE Computer Society. Technical Council on Software Engineering.、IEEE Reliability Society.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, 2000.
|  |
0 索取号:TP311.52-532/E20021/2001 作者:Oliveira、J.N.、International Symposium of Formal Methods Europe (10th : 2001 : Berlin、 Germany)、Oliveira、 JosN.、Zave、 Pamela、 1948-、 出版社:Berlin ; New York : Springer, c2001.
|
 |
0 索取号:H315/E709 作者:Hicks、 Tyler Gregory、 1921-、 出版社:New York : McGraw-Hill, 1961.
|  |
0 索取号:TB30-53/E20021/2000 作者:ASME International Mechanical Engineering Congress and Exposition (2000 : Orlando、 Florida)、Khraisheh、 Marwan K.、Godfrey、 Thomas A.、Willam、 Kaspar J.、American Society of Mechanical Engineers. Applied Mechanics Division.、 出版社:New York, N.Y. : American Society of Mechanical Engineers, c2000.
|
 |
0 索取号:TU311-532/E20011/2001 作者:International Conference on Structural Engineering、 Mechanics、 and Computation (2001 : Cape Town、 South Africa)、Zingoni、 Alphose.、 出版社:Amsterdam ; New York : Elsevier, 2001.
|  |
0 索取号:TP311.5/E20021 作者: 出版社:Berlin ; New York : Springer, c2001.
|
 |
0 索取号:O157.5/E20031 作者:Girault、 Claude.、Valk、 R. (Rüdiger).、 出版社:Berlin ; New York : Springer, c2003.
|  |
0 索取号:TP311.5/E20022 作者: 出版社:New York : Springer, c2002.
|
 |
0 索取号:TP311/E20021 作者:Lind、 Jurgen、 1968-、 出版社:Berlin ; New York : Springer, c2001.
|  |
0 索取号:TP311.5/E20018 作者:Heineman、G.T.and Councill、W.T.、Heineman、 George T.、Councill、 William T.、 出版社:Boston, MA : Addison-Wesley, c2001.
|
 |
0 索取号:TB301/E20031.3 作者:Askeland、 Donald R、 出版社:Boston : PWS Pub., c1994
|  |
0 索取号:TP311-532/E20021/33 作者:International Conference on Technology of Object-Oriented Languages (33rd : 2000 : Mont-Saint-Michel、 France)、Mitchell、 Richard.、France. Direction ǵЕńЕrale de l'armement.、Interactive Software Engineering、 Inc.、IEEE Computer Society.、Institut national de recherche en informatique et en automatique (France)、 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2000.
|
 |
0 索取号:TP311.5-532/E20021/4 作者:International Conference on Requirements Engineering (4th : 2000 : Schaumburg、 Ill.)、IEEE Computer Society. Software Engineering Technical Council.、Lucent Technologies (Firm)、FUJITSU、Rational (Firm)、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c2000.
|  |
0 索取号:TP182/E20011 作者:Liebowitz、 Jay、 1957-、 出版社:Boca Raton : CRC Press, c2001.
|
 |
0 索取号:H319.4:T/E901 作者:Meyers、 Richard A.、 出版社:New York ; Beijing : World Pub. Corp., 1989.
|  |
0 索取号:H319.4:T/E904 作者:Kitto、 Michael.、West、 Richard.、 出版社:London : Edward Arnold, 1984.
|