 |
0 索取号:TP303/E20073.2 作者:Williams、 Rob.、 出版社:北京 : China Machine Press, 2007.
|  |
0 索取号:TP309/200710 作者:张立和、 出版社:北京 : 国防工业出版社, 2007
|
 |
0 索取号:TP301.6/200710 作者:张德富、 出版社:北京 : 国防工业出版社, 2007
|  |
0 索取号:TP309/20079 作者:王新杰、陈珍成、王连强、 出版社:北京 : 中国标准出版社, 2007
|
 |
0 索取号:TP301.6/20077 作者:裴定一、徐祥、 出版社:北京 : 人民邮电出版社, 2007
|  |
0 索取号:TP309/E20074 作者:Loepp、 Susan.、Wootters、 William Kent.、 出版社:Cambridge ; New York : Cambridge University Press, 2006.
|
 |
0 索取号:TP309.3/E20071 作者: 出版社:New York : IEEE ; Hoboken, N.J. : Wiley-Interscience, c2003.
|  |
0 索取号:TP309.7/20071 作者:赵泽茂、 出版社:北京 : 科学出版社, 2007
|
 |
0 索取号:TP302.1/E20063-2 作者:Marwedel、 Peter.、 出版社:北京 : 科学出版社, 2007.
|  |
0 索取号:TP302/E20072 作者: 出版社:北京 : 科学出版社, 2007.
|
 |
0 索取号:TP302-53/E801/16 作者:Asilomar Conference on Circuits、 Systems、 and Computers (16th : 1982 : Pacific Grove、 Calif.)、Kirk、 Donald E.、 1937- CAL n2005279638# ba0yba0y、Naval Postgraduate School (U.S.)、University of Santa Clara.、IEEE Computer Society.、 出版社:Silver Spring, Md. : IEEE Computer Society Press, c1983.
|  |
0 索取号:TP303/E906 作者:Willis、 Neil.、Kerridge、 Jon.、 出版社:London : Pitman, 1983.
|
 |
0 索取号:TP302.2-532/E20011/1988 作者:Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、 出版社:Berlin : Springer-Verlag, c1989.
|  |
0 索取号:TP302/E9032 作者:Wood、 Michael (Michael B.)、Elbra、 Tony、 出版社:Manchester, England : NCC Publications, 1984
|
 |
0 索取号:TP302/E9018 作者: 出版社:Wien : Springer, c1984.
|  |
0 索取号:TP301-53/E903/1989 作者:Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、 出版社:Berlin : Springer-Verlag, c1989.
|