 |
0 索取号:TP33/E905 作者:Cohen、 Alan.、 出版社:Chichester [West Sussex] ; New York : Wiley, 1983.
|  |
0 索取号:TP33/E806 作者:Deem、 Bill R.、Muchow、 Kenneth、 joint author.、Zeppa、 Anthony、 joint author.、 出版社:Reston, Va. : Reston Pub. Co., 1977.
|
 |
0 索取号:TN431.202/E991 作者:Rabaey、 Jan M.、 出版社:Beijing : Tsinghua University Press, c1999.
|  |
0 索取号:TP312/E9027 作者:O'Donnell、 Michael J.、 1952-、 出版社:London Cambridge, Mass. : MIT Press, 1985.
|
 |
0 索取号:TP312/E90112 作者:Mirkowska-Salwicka、 Grazyna.、Salwicki、 Andrzej.、 出版社:Dordrecht ; Boston : D. Reidel Pub. Co. ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 1987.
|  |
0 索取号:TP312/E902 作者:Johansson、 Anna-Lena、 1951-、Eriksson-Granskog、 Agneta、 1957-、Edman、 Anneli、 1952-、 出版社:Berlin ; New York : Springer-Verlag, 1989.
|
 |
0 索取号:TP311/E906 作者:Van Hentenryck、 Pascal.、 出版社:Cambridge, Mass. : MIT Press, 1989.
|  |
0 索取号:TP311/E905 作者:Taylor、 Stephen、 1956-、 出版社:Englewood Cliffs, N.J. : Prentice Hall, 1989.
|
 |
0 索取号:TP311/E9952 作者:Tick、 Evan、 1959-、 出版社:Cambridge, Mass. : MIT Press, 1991.
|  |
0 索取号:TP311/E998 作者:Deville、 Yves、 1960-、 出版社:Wokingham, England ; Reading, Mass. : Addison-Wesley, 1990.
|
 |
0 索取号:TP311/E999 作者:Ceri、 Stefano、 1955-、Gottlob、 G. (Georg)、Tanca、 L. (Letizia)、 出版社:Berlin ; New York : Springer-Verlag, 1990.
|  |
0 索取号:TP31-53/E991/1990 作者:PLILP '90 (1990 : Link̈Оping、 Sweden)、Deransart、 Pierre.、MałУszýНski、 J. (Jan)、 1941-、 出版社:Berlin ; New York : Springer-Verlag, 1990.
|
 |
0 索取号:TP31-53/E9011/8 作者:Logic Programming Conference (8th : 1989 : Tokyo、 Japan)、Furukawa、 K̄Оichi.、Tanaka、 H. (Hazumi)、Fujisaki、 T. (Tetsunosuke)、 出版社:Berlin ; New York : Springer, 1991.
|  |
0 索取号:TP31-53/E9011/6 作者: 出版社:Berlin ; New York : Springer-Verlag, 1988.
|
 |
0 索取号:TP31-53/E9011/4 作者: 出版社:Berlin ; New York : Springer-Verlag, 1986.
|  |
0 索取号:TP331.1-62/E802 作者:United Technical Publications.、 出版社:Blue Ridge Summit, Pa. : G/L Tab Books, 1976.
|