 |
0 索取号:TP302/E908.4 作者:Holdsworth、 B. (Brian)、 出版社:Oxford : Newnes, c2002.
|  |
0 索取号:TP302/E805.3-2 作者:Baase、 Sara.、Van Gelder、 Allen.、 出版社:北京 : 高等敎育出版社, 2001.
|
 |
0 索取号:TP301-53/E991/14 作者:Symposium on Logic in Computer Science (14th : 1999 : Trento、 Italy)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif : IEEE Computer Society Press, c1999.
|  |
0 索取号:TP302.2-532/E20011/1999 作者:Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、 出版社:Berlin ; New York : Springer, c1999.
|
 |
0 索取号:TP301/E991 作者:Huth、 Michael、 1962-、Ryan、 Mark、 1962-、 出版社:New York : Cambridge University Press, 1999.
|  |
0 索取号:TP301-53/E991/13 作者:Symposium on Logic in Computer Science (13th : 1998 : Indianapolis、 Ind.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、Indiana University、 Bloomington.、IEEE Xplore (Online service)、 出版社:Los Alamitos, California : IEEE Computer Society Press, c1998.
|
 |
0 索取号:TP301.2/E20011 作者:Simovici、 Dan A.、Tenney、 Richard L.、 出版社:Singapore ; New Jersey : World Scientific, 1999.
|  |
0 索取号:TP301.6/E20013 作者:Ling、 Nam.、Bayoumi、 Magdy A.、 出版社:Singapore ; River Edge, NJ : World Scientific, c1999.
|
 |
0 索取号:TP301.6-532/E992/4 作者:International ACPC Conference (4th : 1999 : Salzburg、 Austria)、VajteřСic、 MaríАn.、Zinterhof、 Peter.、Uhl、 Andreas、 1968-、 出版社:New York : Springer, 1999.
|  |
0 索取号:TP301.6/E20012 作者:Windeknecht、 Thomas G.、Thomas G. Windeknecht、 出版社:Exeter, England : Intellect, c1999.
|
 |
0 索取号:TP301.6-532/E995/1997 作者:ParCo97 (1997 : Bonn、 Germany)、D'Hollander、 E.、 出版社:Amsterdam ; New York : Elsevier Science, c1998.
|  |
0 索取号:TP303/E801.3 作者:Mano、 M. Morris、 1927-、 出版社:Beijing Tsinghua University Press 1998.
|
 |
0 索取号:TP302/E20071-2 作者:Whitten、 Jeffrey L.、Bentley、 Lonnie D.、Ho、 Thomas I. M.、 1948-、 出版社:St. Louis : Times Mirror/Mosby College Pub., 1986.
|  |
0 索取号:TP301.6-532/E993/4 作者:International EURO-PAR Conference (4th : 1998 : Southampton、England)、Pritchard、 David、 1955-、Reeve、 Jeff、 1956-、 出版社:Berlin ; New York : Springer, c1998.
|
 |
0 索取号:TP302.1/E993 作者: 出版社:London ; New York : Beijing: Springer-Verlag, World Publishing Co. , c1994.
|  |
0 索取号:TP302.1/E992 作者: 出版社:Boston : Kluwer Academic Publishers, c1998.
|