| 暂存书架(0) | 登录

检索到 16 条 分类号=TP312-53 的结果    

 


所有图书 可借图书

  1. 西文图书1.Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture,... TP312-53/CFP/(1981)

    馆藏复本：1
    可借复本：1     sponsored by Association for Computing Machinery, Special Interest Groups on Pr
    ACM ; c1981.
    (0) 馆藏

  2. 西文图书2.SDL 2001 : meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : procee TP312-53/SDL

    馆藏复本：1
    可借复本：1     Rick Reed, Jeanne Reed (eds.).
    Springer, c2001.
    (0) 馆藏

  3. 西文图书3.Metalevel architectures and separation of crosscutting concerns : third international conference, RE TP312-53/REF

    馆藏复本：1
    可借复本：1     Akinori Yonezawa, Satoshi Matsuoka (eds.).
    Springer, c2001.
    (0) 馆藏

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

  5. 西文图书5.Proceedings of the International Computing Symposium 1973, Davos, Switzerland, 4-7 Sept.,1973. TP312-53/ICS/(1973)

    馆藏复本：1
    可借复本：1     International Computering Symposium
    North Holland Pub. 1974.
    (0) 馆藏

  6. 西文图书6.Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, Sep TP312-53/IWI

    馆藏复本：1
    可借复本：1     Markus Mohnen, Pieter Koopman (eds.).
    Springer, c2001.
    (0) 馆藏

  7. 西文图书7.Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Ne TP301.2-53/PAD:2

    馆藏复本：1
    可借复本：1     I. V. Ramakrishnan (ed.).
    Springer, c2001.
    (0) 馆藏

  8. 西文图书8.Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliab TP312-53/AEI

    馆藏复本：1
    可借复本：1     Dirk Craeynest, Alfred Strohmeier (eds.).
    Springer, c2001.
    (0) 馆藏

  9. 西文图书9.Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown He TP312-53/WLC

    馆藏复本：1
    可借复本：1     Samuel P. Midkiff ... [et al.] (eds.).
    Springer, c2001.
    (0) 馆藏

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

  11. 西文图书11.Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes TP312-53/JC

    馆藏复本：1
    可借复本：1     Isabelle Attali, Thomas Jensen (eds.).
    Springer, c2001.
    (0) 馆藏

  12. 西文图书12.Proceedings of ACM SIGPLAN-SIGOPS Interface Meeting : programming languages, operating systems : Sav TP312-53/ACM

    馆藏复本：1
    可借复本：0     edited by Robert M. Graham, Michael D. Schroeder.
    Association for Computing Machinery, 1973.
    (0) 馆藏

  13. 西文图书13.ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z TP312-53/ICB

    馆藏复本：1
    可借复本：1     Didier Bert ... [et al.] (eds.).
    Springer, c2002.
    (0) 馆藏

  14. 西文图书14.Conference record of the Tenth Annual ACM Symposium on Principles of Programming Languages : papers TP312-53/ACM:2/(1983)

    馆藏复本：1
    可借复本：1     sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computa
    Association for Computing Machinery, c1983.
    (0) 馆藏

  15. 西文图书15.Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers TP312-53/ACM:2/(1982)

    馆藏复本：1
    可借复本：1     sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computa
    ACM ; c1982.
    (0) 馆藏

  16. 中文图书16.Symbolic languages in data processing : proceedings of the symposium / 510.78/IN61

    馆藏复本：1
    可借复本：1     organized and edited by the International Computation Centre, Rome, March 26-31, 1962.
    Gordon and Breach Science Publishers, 1962.
    (0) 馆藏

返回顶部