 |
0 索取号:TP311.13/E20033 作者:Hutchinson、 Sarah E.、Coulthard、 Glen J.、 出版社:Chicago : Irwin, c1996.
|  |
0 索取号:TP311.13/E991.3 作者:Korth、 Henry F.、Silberschatz、 Abraham.、 出版社:New York : McGraw-Hill, c1999.
|
 |
0 索取号:TP311.5/E20031 作者:Kemerer、 Chris F.、 出版社:Boston, Mass. : Irwin/McGraw-Hill, c1997.
|  |
0 索取号:TP311.13/E20032 作者:Kaluzniacky、 Eugene.、Kanabar、 Vijay.、 出版社:Chicago : Irwin, 1996.
|
 |
0 索取号:TP311.5/E20032.5 作者:Schach、 Stephen R.、 出版社:北京 : CITIC Publishing House ; McGraw-Hill, 2002.
|  |
0 索取号:TP311.1/E20031 作者:Foster、 Ian、 1959-、 出版社:北京 : 人民邮电出版社, 2002.
|
 |
0 索取号:TP311.5/E20024.2 作者:Pfleeger、 Shari Lawrence.、 出版社:北京 : 高等敎育出版社 ; Pearson Education, 2001.
|  |
0 索取号:TP311/E20024.5 作者:Whitten、 Jeffrey L.、Bentley、 Lonnie D.、Dittman、 Kevin C.、 出版社:北京 : 高等敎育出版社, c2001.
|
 |
0 索取号:TP311.1-532/E20031/18 作者:International Conference on Logic Programming (18th : 2002 : University of Copenhagen)、Stuckey、 Peter J.、Federated Logic Conference (3rd : 2002: Copenhagen、 Denmark)、 出版社:Berlin ; London : Springer, c2002.
|  |
0 索取号:TP311-532/E993/4 作者:International Conference on Algebraic Methodology and Software Technology (4th : 1995 : Montréal、 Québec)、Alagar、 Vangalur S.、 1940-、Nivat、 M.、 出版社:Berlin : Springer-Verlag, c1995.
|
 |
0 索取号:TP311.5/E20014/1998 作者:UML '98 (1998 : Mulhouse、 France)、B́Еzivin、 J. (Jean)、Muller、 Pierre-Alain.、 出版社:New York : Springer-Verlag, 1999.
|  |
0 索取号:TP311/E9920 作者:Feijen、 W. H. J.、Gasteran、 A.J.M. (Antonetta J. M.)、 1952-、 出版社:New York : Springer, c1999.
|
 |
0 索取号:TP311-532/E991/1999 作者:European Conference on Object-Oriented Programming (13th : 1999 : Lisbon、 Portugal)、Guerraoui、 Rachid.、 出版社:New York : Springer, 1999.
|  |
0 索取号:TP311-532/E996/1998 作者:IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification、Testing、 and Verification (1998 : Paris、 France)、Cavalli、 Ana.、Budkowski、 Stan.、Najm、 Elie.、IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols (11th : 1998 : Paris、 France)、IFIP WG 6.1 International Symposium on Protocol Specification、 Testing、and Verification (18th : 1998 : Pari、 出版社:Boston : Kluwer Academic Publishers, 1998.
|
 |
0 索取号:TP311.5/E20001 作者:Bruegge、 Bernd.、Dutoit、 Allen H.、 出版社:Upper Saddle River, NJ : Prentice Hall, 2000.
|  |
0 索取号:TP311.11/E20011 作者:Chang、 Chin-Liang.、Chang、 Chin-Liang、 出版社:Singapore : World Scientific, c1997.
|