检索到 4 条 责任者=ETAPS 2001 的结果
-
西文图书1.Foundations of software science and computation structures : 4th International Conference, FOSSACS 2 TP31-53/FOS:2
馆藏复本：1
可借复本：1 Furio Honsell, Marino Miculan (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书2.Tools and algorithms for the construction and analysis of systems : 7th international conference, TA TP311.5-53/TAC:2
馆藏复本：1
可借复本：1 Tiziana Margaria, Wang Yi (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书3.Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part TP312-53/ESP
馆藏复本：1
可借复本：1 David Sands (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书4.Fundamental approaches to software engineering : 4th international conference, FASE 2001 held as par TP311.5-53/FAS:2
馆藏复本：1
可借复本：1 Heinrich Hussmann (ed.).
Springer, c2001.
(0) 馆藏
