 |
0 索取号:TN141/E901 作者:Weston、 G. F.、Bittleston、 R.、 出版社:London : Granada, 1982.
|  |
0 索取号:TN20-532/E20031/2001.2 作者: 出版社:Bellingham, Washington : SPIE, c2001.
|
 |
0 索取号:O14/E701 作者:Cangelosi、 Vincent E.、 出版社:Columbus, Ohio : C.E. Merrill Books, [1967].
|  |
0 索取号:O141/E701 作者:Shoenfield、 Joseph R. (Joseph Robert)、 1927-、 出版社:Reading, Mass. : Addison-Wesley Pub. Co., c1967.
|
 |
0 索取号:TN4/E20022 作者: 出版社:Singapore ; River Edge NJ : World Scientific, c2001.
|  |
0 索取号:O141/E993 作者:Summer School and Conference on Mathematical Logic (1988 : Chaæika、 Varnenski okræug、 Bulgaria)、Petkov、 Petio Petrov.、Heyting、 A. (Arend)、 1898-、 出版社:New York : Plenum Press, c1990.
|
 |
0 索取号:O141-53/E901 作者:Logic Colloquium '88 (1988 : Padova、 Italy)、Ferro、 Robert.、 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
|  |
0 索取号:O141/E906 作者:Bergmann、 Merrie.、Moor、 James、 1942-、Nelson、 Jack、 1944-、 出版社:New York : Random House, c1980.
|
 |
0 索取号:O1-0/E702 作者:Kac、 Mark.、Ulam、 Stanislaw M.、 出版社:London ; Middlesex : Penguin, 1968.
|  |
0 索取号:TN702/E20022 作者: 出版社:Boston : Kluwer Academic Publishers, c2001.
|
 |
0 索取号:G30/E802-2 作者:Popper、 Karl Raimund、 Sir、 1902-、 出版社:London : Routledge Classics, 2002, 1959.
|  |
0 索取号:TN710-532/E20031/2000 作者:VHDL International. Users Forum. Fall Workshop (2000 : Orlando、 Fla.)、IEEE Computer Society. Design Automation Technical Committee.、IEEE Circuits and Systems Society.、VHDL International.、 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2000.
|
 |
0 索取号:TN7-53/E20071/41 作者:Midwest Symposium on Circuits and Systems (40th : 1998 : Notre Dame、 Indiana)、IEEE Circuits and Systems Society.、 出版社:Los Alamitos, CA : IEEE Computer Soicety, c1998.
|  |
0 索取号:TN7-53/E20071/42.2 作者:Midwest Symposium on Circuits and Systems (42nd : 1999 : Las Cruces、 N.M.)、Ramírez-Angulo、 Jaime.、IEEE Xplore (Online service)、IEEE Circuits and Systems Society.、 出版社:[New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1999.
|
 |
0 索取号:TN7-53/E20071/42.1 作者:Midwest Symposium on Circuits and Systems (42nd : 1999 : Las Cruces、 N.M.)、Ramírez-Angulo、 Jaime.、IEEE Xplore (Online service)、IEEE Circuits and Systems Society.、 出版社:[New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1999.
|  |
0 索取号:TP301-53/E991/15 作者:Symposium on Logic in Computer Science (15th : 2000 : Santa Barbara、 Calif.)、IEEE Xplore (Online service)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2000.
|