 |
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/E994
作者：
出版社：N.Y. Boston : Academic Press, 1992.
| |
0
索取号：TP301/E901
作者：Davis、 Martin、 1928-、Weyuker、 Elaine J.、
出版社：New York : Academic Press, 1983.
|
|
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-61/E801
作者：
出版社：New York M. Dekker [1975]-<c1988 >
|
|
0
索取号：TP3-61/E901.2
作者：
出版社：New York : Van Nostrand Reinhold Co., 1983.
| |
0
索取号：TP3-61/E803
作者：
出版社：New York : Petrocelli/Charter, 1976.
|
|
0
索取号：TP3-53/E8015/4
作者：GI-Fachtagung Theoretische Informatik (4th : 1979 : Aachen)、Weihrauch、 K. (Klaus)、 1943-、Gesellschaft für Informatik.、
出版社：Berlin ; New York : Springer-Verlag, 1979.
| |
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/E8015/3
作者：
出版社：Singapore ; Teaneck, NJ : World Scientific, 1989.
|
|
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/E905/28
作者：Symposium on Foundations of Computer Science (28th : 1987)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Washington, D.C. : IEEE Computer Society Pr., c1987.
| |
0
索取号：TP3-53/E905/26
作者：Symposium on Foundations of Computer Science (26th : 1985)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Washington, D.C. : IEEE Computer Society Press, c1985.
|
粤公网安备 44030602003680号