 |
0 索取号:TP302-53/E801/8 作者:Asilomar Conference on Circuits、 Systems、 and Computers (8th : 1974 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.).、University of Santa Clara.、 出版社:North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1975.
|  |
0 索取号:TP302-53/E801/7 作者:Asilomar Conference on Circuits、 Systems and Computers (7th : 1973 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1974]
|
 |
0 索取号:TP302-53/E801/6 作者:Asilomar Conference on Circuits and Systems (6th : 1972 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:New York : IEEE, 1972.
|  |
0 索取号:TP302-53/E801/5 作者:Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1972]
|
 |
0 索取号:TP302-53/E907/1984 作者:IEEE International Conference on Computer Design (1984 : Port Chester、 N.Y.)、IEEE Computer Society.、IEEE Circuits and Systems Society.、International Federation for Information Processing.、 出版社:Silver Spring, MD : IEEE Computer Society Press, c1984.
|  |
0 索取号:TP3-55/E905 作者: 出版社:Berlin ; New York : Springer-Verlag, c1985.
|
 |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:TP3-53/E8014/1981 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-55/E9010 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|  |
0 索取号:TP3-53/E8014/1980 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|
 |
0 索取号:TP3-55/E802 作者:International Conference on Mathematical Studies of Information Processing (1978 : Kyoto、 Japan)、Blum、 E. K. (Edward K.)、 1923-、Paul、 M. (Medford)、Takasu、 Satoru、 1931-、 出版社:Berlin ; New York : Springer-Verlag, 1979.
|  |
0 索取号:TP3-53/E8025/1975 作者:Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、 出版社:Long Beach, CA : available from IEEE Computer Society, c1975.
|
 |
0 索取号:TP3-53/E8025/1973 作者:Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、 出版社:[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.
|  |
0 索取号:TP3-53/E905/21 作者:Symposium on Foundations of Computer Science (21st : 1980 : Syracuse、 N.Y.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Long Beach : IEEE Computer Society, 1980.
|
 |
0 索取号:TP3-53/E8012/1 作者:European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、 出版社:Uxbridge : Online (Computer Systems) Ltd., [1974].
|  |
0 索取号:TP3-53/E9021/8 作者:Conference on Electronic Computation (8th : 1983 : Houston、 Tex.)、Nelson、 James K.、American Society of Civil Engineers. Structural Division. Committee on Electronic Computation.、 出版社:New York, N.Y. : ASCE, 1983.
|