 |
0 索取号:TP312-53/E902/4 作者:ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、 出版社:New York : The Association for Computing Machinery, c1977.
|  |
0 索取号:TP312-53/E902/3 作者:ACM Symposium on Principles of Programming Languages (3rd : 1976 : Atlanta、 Ga.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group on Programming Languages.、 出版社:New York : ACM, c1976
|
 |
0 索取号:TP312-53/E902/2 作者:ACM Symposium on Principles of Programming Languages (2nd : 1975 : Palo Alto、 Calif.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group on Programming Languages.、 出版社:New York : ACM, c1975.
|  |
0 索取号:TP311/E9927 作者: 出版社:London ; New York : Chapman and Hall, 1992.
|
 |
0 索取号:TP316/E9022 作者:Turner、 Raymond W.、 出版社:New York : Macmillan ; London : Collier-Macmillan, c1986.
|  |
0 索取号:TP311/E9954 作者:Heaven、 Stephen.、 出版社:London : Edward Arnold, 1995.
|
 |
0 索取号:O572.31-532/E991/4.2 作者: 出版社:Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c2000.
|  |
0 索取号:TP311.13-532/E20042 作者: 出版社:Bellingham, Washington : SPIE, c2000.
|
 |
0 索取号:TP302/E991 作者:Kozen、 Dexter、 1951-、 出版社:New York : Springer-Verlag, 1992.
|  |
0 索取号:TN432/E20033 作者:Rosa、 Jose M. de la.、Perez-Verdu、 Belen.、Rodriguez-Vazquez、 Angel.、 出版社:Boston : Kluwer Academic, c2002.
|
 |
0 索取号:TN43/E20043 作者:Marshall、 Andrew、 1958-、Natarajan、 Sreedhar.、 出版社:Boston : Kluwer Academic Publishers, c2002.
|  |
0 索取号:TN79/E20041 作者:Geerts、 Yves.、Steyaert、 Michiel、 1959-、Sansen、 Willy M. C.、 出版社:Boston : Kluwer Academic Publishers, c2002.
|
 |
0 索取号:TP302.2/E802 作者:Symposium on the Theory and Applications of Multiple-Valued Logic Design (1971 : Buffalo、 N.Y.)、State University of New York at Buffalo.、United States. Office of Naval Research.、 出版社:[s. l. : s. n., 1971?].
|  |
0 索取号:F019/E20041 作者:Laffont、 Jean-Jacques、 1947-、Martimort、 David.、 出版社:Princeton, N.J. : Princeton University Press, c2002.
|
 |
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 索取号:O24-53/E803/5 作者:ACM Symposium on Theory of Computing (5th : 1973 : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、 出版社:New York : Association for Computing Machinery, 1973.
|