| 暂存书架(0) | 登录

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

 


所有图书 可借图书

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

    馆藏复本：1
    可借复本：1     Joost-Pieter Katoen, Perdita Stevens (eds.).
    Springer, c2002.
    (0) 馆藏

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

    馆藏复本：1
    可借复本：1     Mogens Nielsen, Uffe Engberg (eds.).
    Springer, c2002.
    (0) 馆藏

  3. 西文图书3.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) 馆藏

  4. 西文图书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) 馆藏

  5. 西文图书5.Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part TP312-53/ESP:2

    馆藏复本：1
    可借复本：1     Daniel Le Métayer (ed.).
    Springer, c2002.
    (0) 馆藏

  6. 西文图书6.Compiler construction : 11th international conference, CC 2002 held as part of the Joint European Co TP314-53/CC

    馆藏复本：1
    可借复本：1     R. Nigel Horspool (ed.).
    Springer, c2002.
    (0) 馆藏

  7. 西文图书7.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) 馆藏

  8. 西文图书8.Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as pa TP311.5-53/FAS

    馆藏复本：1
    可借复本：1     Ralf-Detlef Kutsche, Herbert Weber (eds.).
    Springer, c2002.
    (0) 馆藏

  9. 西文图书9.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) 馆藏

返回顶部