检索到 5 条 题名=ETAPS 2001 的结果
-
西文图书1.Foundations of software science and computation structures : 4th International Conference, FOSSACS 2 TP31/F771
馆藏复本：1
可借复本：1 FOSSACS 2001
Springer, c2001.
(0) 馆藏 -
西文图书2.Fundamental approaches to software engineering : 4th international conference, FASE 2001 held as par TP311.5/F981(F)
馆藏复本：1
可借复本：1 FASE 2001
Springer, c2001.
(0) 馆藏 -
西文图书3.Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part TP311/P964
馆藏复本：1
可借复本：1 European Symposium on Programming
Springer, c2001.
(0) 馆藏 -
西文图书4.Tools and algorithms for the construction and analysis of systems : 7th international conference, TA TP302.1/T671
馆藏复本：1
可借复本：1 TACAS 2001
Springer, c2001.
(0) 馆藏 -
西文图书5.Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European C TP314/C737
馆藏复本：1
可借复本：1 CC 2001
Springer, c2001.
(0) 馆藏
