 |
0 索取号:TP302/E808 作者:Kaufmann、 A. (Arnold)、 1911-、Grouchko、 Daniel、 joint author.、Cruon、 R.、 joint author.、 出版社:New York : Academic Press, 1977.
|  |
0 索取号:TP301-53/E991/6 作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|
 |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|  |
0 索取号:O24-53/E803/13 作者:ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、 出版社:New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
|
 |
0 索取号:TP312-53/E901/1979 作者:Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|  |
0 索取号:TP3-53/E8014/1978 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane、 Poland)、Winkowski、 J́Оzef、 1934-、 出版社:Berlin ; New York : Springer-Verlag, 1978.
|
 |
0 索取号:TP3-53/E8014/1977 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : TatransḱА Lomnica、 Czechoslovakia)、Gruska、 Jozef.、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|  |
0 索取号:TP3-53/E8017/2 作者:International Symposium on Operating Systems Theory and Practice、 2d、 Rocquencourt、 France、 1978.、Lanciaux、 D.、Institut de recherche d'informatique et d'automatique.、Carnegie-Mellon University.、 出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.
|
 |
0 索取号:TP3-53/E8014/1991 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (16th : 1991 : Kazimierz、 Puławy、 Poland)、Tarlecki、 Andrzej.、 出版社:Berlin ; New York : Springer-Verlag, c1991.
|  |
0 索取号:TP3-53/E8014/1990 作者: 出版社:Berlin ; New York : Springer-Verlag, 1990,c1986.
|
 |
0 索取号:TP3-53/E9040/6 作者:Delaware Bay Computer Conference (6th : 1983 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、 出版社:Silver Springs, MD : IEEE Computer Society Press, c1983.
|  |
0 索取号:TP3-53/E997/6 作者:Symposium on Computer Arithmetic (6th : 1983 : Aarhus University)、IEEE Computer Society. Technical Committee on Computer Architecture.、Aarhus universitet.、 出版社:N.Y. Silver Spring, Md. : IEEE Computer Society Press, 1983.
|
 |
0 索取号:TP3-53/E997/5 作者:Symposium on Computer Arithmetic (5th : 1981 : University of Michigan)、IEEE Computer Society. Technical Committee on Computer Architecture.、University of Michigan.、 出版社:N.Y. Los Angeles, CA : The Society ; Piscataway, N.J. : IEEE Service Center, 1981.
|  |
0 索取号:TP3-53/E997/3 作者:Symposium on Computer Arithmetic、 3d、 Southern Methodist University、 1975.、IEEE Computer Society.、 出版社:N.Y. IEEE Long Beach, Calif. : The Society, 1975.
|
 |
0 索取号:TP338.6-532/E20062/1987 作者:International Conference on Parallel Processing (1987 : Pennsylvania State University)、Sahni、 Sartaj.、Pennsylvania State University. Dept. of Electrical Engineering.、 出版社:University Park, PA : Pennsylvania State University Press, c1987.
|  |
0 索取号:TP3-53/E806/1971 作者:Symposium on Computers and Automata (1971 : New York)、Fox、 Jerome.、Polytechnic Institute of Brooklyn. Microwave Research Institute.、 出版社:Brooklyn, N.Y. : Polytechnic Press of the Polytechnic Institute of Brooklyn, c1971.
|