 |
0 索取号:TP3-62/E908.2 作者:French、 C. S. (Carl S.)、 出版社:Eastleigh, Hants : D.P. Publications, [n.d.].
|  |
0 索取号:TP3-62/E908 作者:French、 C. S. (Carl S.)、 出版社:Eastleigh, Hants : D.P. Publications, c1982.
|
 |
0 索取号:TP3-61/E905 作者:Anderson、 Ronald Gordon、 出版社:Plymouth : Macdonald and Evans, c1982
|  |
0 索取号:TP3-61/E801 作者: 出版社:Arlingtion, Tex. : Computer Aided Manufacturing-Interetional, [1976?]
|
 |
0 索取号:TP3-55/E904 作者: 出版社:Berlin ; New York : Springer-Verlag, c1985.
|  |
0 索取号:TP3-55/E905 作者: 出版社:Berlin ; New York : Springer-Verlag, c1985.
|
 |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:TP3-53/E8015/6 作者: 出版社:Berlin ; New York : Springer-Verlag, 1982.
|
 |
0 索取号:TP3-55/E9012 作者: 出版社:Berlin ; New York : Springer-Verlag, 1982.
|  |
0 索取号:TP3-53/E8014/1981 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-55/E909 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|  |
0 索取号:TP3-55/E9010 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-55/E9011 作者:Lampson、 B. W.、 (Butler W.)、Technische Universität München. Institut für Informatik.、Advanced Course on Distributed Systems--Architecture and Implementation (1980 : Technische Universität München)、 出版社:Berlin : Springer, 1981.
|  |
0 索取号:TP3-53/E8015/5 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-53/E8014/1980 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|  |
0 索取号:TN919.2-53/E907/1979 作者:Advanced Course on General Net Theory of Processes and Systems (1979 : Hamburg、 Germany)、Brauer、 Wilfried.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|