江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 4 条 责任者=ETAPS 2002 的结果    

 


所有图书 可借图书

  1. 西文图书1.Tools and algorithms for the construction and analysis of systems : 8th international conference, TA TP311.5/T671

    馆藏复本:1
    可借复本:1
    TACAS 2002
    Springer, c2002.
    (0) 馆藏

  2. 西文图书2.Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part TP31/P964(P)

    馆藏复本:1
    可借复本:1
    European Symposium on Programming
    Springer, c2002.
    (0) 馆藏

  3. 西文图书3.Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as pa TP311.5/F981

    馆藏复本:1
    可借复本:1
    FASE 2002
    Springer, c2002.
    (0) 馆藏

  4. 西文图书4.Foundations of software science and computation structures : 5th international conference, FOSSACS 2 TP31-532/F771

    馆藏复本:1
    可借复本:1
    FOSSACS 2002
    Springer, c2002.
    (0) 馆藏


返回顶部