检索到 5 条 分类号=TP312-532 的结果
-
西文图书1.Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown He TP312/L287
馆藏复本：1
可借复本：1 Workshop on Languages and Compilers for Parallel Computing
Springer, c2001.
(0) 馆藏 -
西文图书2.Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, Sep TP312/I34(I)
馆藏复本：1
可借复本：1 International Workshop on the Implementation of Functional Languages
Springer, c2001.
(0) 馆藏 -
西文图书3.Metalevel architectures and separation of crosscutting concerns : third international conference, RE TP312/M587
馆藏复本：1
可借复本：1 Reflection 2001
Springer, c2001.
(0) 馆藏 -
西文图书4.ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z TP312/Z39
馆藏复本：1
可借复本：1 International Conference of B and Z Users
Springer, c2002.
(0) 馆藏 -
西文图书5.1984 IEEE Computer Society Workshop on Visual Languages : December 6-8, 1984, Hiroshima, Japan / TP312-532/I22
馆藏复本：1
可借复本：1 IEEE Computer Society Workshop on Visual Languages
IEEE Computer Society Press, c1984.
(0) 馆藏
