 |
0 索取号:TP302/E9028 作者:MacEwen、 Glenn H.、 出版社:New York : McGraw-Hill, 1980.
|  |
0 索取号:TP302/E904 作者:Liebowitz、 Burt H.、Carson、 John Hargadine、 1947-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1985.
|
 |
0 索取号:TP302/E992 作者:Jain、 Raj.、 出版社:New York : Wiley, 1991.
|  |
0 索取号:TP302/E9016 作者:Davis、 William S.、 1943-、 出版社:Reading, Mass. : Addison-Wesley, 1983.
|
 |
0 索取号:TP302/E994 作者:Clymer、 John R.、 出版社:Englewood Cliffs, N.J. : Prentice Hall, 1990.
|  |
0 索取号:TP302/E901 作者:Bochmann、 Gregor von、 1941-、 出版社:Berlin ; New York : Springer-Verlag, 1983.
|
 |
0 索取号:TP302/E9012 作者:Bowen、 B. A.、Buhr、 R. J. A.、 joint author.、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1980.
|  |
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 索取号:TP301/E903 作者:Scott、 Norman R. (Norman Ross)、 1918-、 出版社:Englewood Cliffs, NJ : Prentice-Hall, 1985.
|  |
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 索取号:TP30-53/E901 作者:COMNET '85 (1985 : Budapest、 Hungary)、Csaba、 ĹАszĺО、 1935-、Tarnay、 Katie、 1933-、Szentiv́Аnyi、 T.、International Federation for Information Processing. Technical Committee 6.、 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Publishers, 1986.
|  |
0 索取号:TP30-53/E801 作者: 出版社:[New York : Institute of Electrical and Electronics Engineers], 1976.
|
 |
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 索取号:TP303/E808 作者:Bochmann、 Gregor von、 1941-、 出版社:Berlin ; New York : Springer-Verlag, 1979.
|