 |
0 索取号:TP302/E907 作者:Green、 David、 1941-、 出版社:Workingham, England ; Reading, Mass. : Addison-Wesley, 1986.
|  |
0 索取号:TP302/E9010 作者:Fletcher、 William I.、 1938-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1980.
|
 |
0 索取号:TP302/E9016 作者:Davis、 William S.、 1943-、 出版社:Reading, Mass. : Addison-Wesley, 1983.
|  |
0 索取号:TP302/E9014 作者:Downs、 Thomas、 1946-、Schulz、 Mark F.、 1951-、 出版社:New York : Van Nostrand Reinhold, 1989,c1988.
|
 |
0 索取号:TP302/E807 作者:Doran、 R. W.、 出版社:London ; New York : Academic Press, 1979.
|  |
0 索取号:TP302/E806.2 作者:Blakeslee、 Thomas R.、 1937-、 出版社:New York : J. Wiley, 1979.
|
 |
0 索取号:TP302/E805.2 作者:Baase、 Sara.、 出版社:Reading, Mass. : Addison-Wesley Pub. Co., 1988.
|  |
0 索取号:TP302/E805 作者:Baase、 Sara.、 出版社:Reading, Mass. : Addison-Wesley Pub. Co., 1978.
|
 |
0 索取号:TP302/E9013 作者:Beeler、 J. R.、 出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : Elsevier Science Pub. Co. [distributor], 1983.
|  |
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/E9017 作者:Andrews、 Michael、 1940-、 出版社:Potomac, Md. : Computer Science Press, 1980.
|
 |
0 索取号:TP302/E803 作者:Hayes、 John P. (John Patrick)、 1944-、 出版社:New York : McGraw-Hill, 1978.
|  |
0 索取号:TP301.1/E803 作者:Chasen、 Sylvan H.、 1926-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1978.
|
 |
0 索取号:TP301.1/E802 作者:Gill、 Arthur、 1930-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1976.
|  |
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.
|