 |
0 索取号:TP3-53/E996/1995 作者:International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus、 Denmark)、Mosses、 Peter.、Nielsen、 M. (Mogens)、 1949-、Schwartzbach、 Michael I.、Colloquium on Trees in Algebra and Programming (1995 : Aarhus、 Denmark)、Colloquium on Formal Approaches of Software Engineering (1995 : Aarhus、 Denmark)、 出版社:Berlin ; New York : Springer-Verlag, c1995.
|  |
0 索取号:TP301.2-532/E991/9 作者:International Conference of Z Users (9th : 1995 : Limerick、 Limerick、 Ireland)、Bowen、 J. P. (Jonathan Peter)、 1956-、Hinchey、 Michael G. (Michael Gerard)、 1969-、 出版社:Berlin ; New York : Springer, c1995.
|
 |
0 索取号:D971.23/E901.3 作者:Henderson、 James A.、Pearson、 Richard N.、 出版社:Boston ; London : Little, Brown and Company, 1988.
|  |
0 索取号:Q11/E992 作者:Cowen、 Richard、 1940-、 出版社:Boston : Blackwell Scientific Pub., c1990.
|
 |
0 索取号:Q39/E20032.2 作者:Cummings、 Michael R.、 出版社:St. Paul : West Pub. Co. c1991.
|  |
0 索取号:I712.45/E9998 作者:Eberhardt、 Michael C.、 出版社:New York : Penguin, 1995, c1994.
|
 |
0 索取号:O141.4/E991 作者:Edwards、 Dilwyn、Hamson、 Michael.、 出版社:Houndmills, Basingstoke, Hampshire : Macmillan, 1996.
|  |
0 索取号:Q3/E904 作者:Kowles、 Richard V.、 出版社:Columbus : C.E. Merrill Pub. Co., c1985.
|
 |
0 索取号:Q5-44/E991 作者:Ludueäna、 Richard F.、 出版社:New York : Wiley-Liss, c1995.
|  |
0 索取号:K708/E991 作者:Matson、 R. G. (Richard Ghia)、 1944-、Coupland、 Gary Graham、 1953-、 出版社:San Diego : Academic Press, c1995.
|
 |
0 索取号:H0/E9921 作者:Swiderski、 Richard M.、 出版社:Westport, Conn. : Bergin & Garvey, 1993.
|  |
0 索取号:F019.1/E996 作者:Day、 Richard H.、 出版社:Cambridge, Mass : MIT Press, c1994-
|
 |
0 索取号:I561.064/E9914 作者:Bourke、 Richard.、 出版社:New York : St. Martin's Press, 1993.
|  |
0 索取号:F830.42/E902.4 作者:Lewis、 Richard、Pendrill、 David、Simon、 David S、 出版社:London : Pitman, 1991.
|
 |
0 索取号:R914/E20061.2-2 作者:Silverman、 Richard B.、 出版社:北京 : 科学出版社, 2007.
|  |
0 索取号:R339.2/E992.3 作者:Jones、 Richard E. (Richard Evan)、 1940-、 出版社:北京 : 科学出版社, c2007.
|