| 暂存书架(0) | 登录

检索到 13 条 分类号=TP311-53 的结果    

 


所有图书 可借图书

  1. 西文图书1.FST TCS 2001 : Foundations of software technology and theoretical computer science : 21st conference TP311-53/CFS

    馆藏复本:1
    可借复本:1
    Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.).
    Springer, c2001.
    (0) 馆藏

  2. 西文图书2.Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, AT TP311-53/ATA

    馆藏复本:1
    可借复本:1
    Cristiano Casterfranchi, Yves Lesperance (eds.).
    Springer, c2001.
    (0) 馆藏

  3. 西文图书3.Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, TP311-53/IWL

    馆藏复本:1
    可借复本:1
    Kung-Kiu Lau (ed.).
    Springer, c2001.
    (0) 馆藏

  4. 西文图书4.Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised TP311.5-53/DSS

    馆藏复本:1
    可借复本:1
    Stephan Diehl (ed.).
    Springer, c2002.
    (0) 馆藏

  5. 西文图书5.Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 TP311-53/WSS

    馆藏复本:1
    可借复本:1
    Ajoy K. Datta, Ted Hermann (eds.).
    Springer, c2001.
    (0) 馆藏

  6. 西文图书6.Interactive relational database design : a logic programming implementation / TP311-53/BTP

    馆藏复本:1
    可借复本:1
    Tapan P. Bagchi, Vinay K. Chaudhri.
    World Publishing Corp., 1991.
    (0) 馆藏

  7. 西文图书7.Semantics, applications, and implementation of program generation : second international workshop, S TP311-53/SAI

    馆藏复本:1
    可借复本:1
    Walid Taha (ed.).
    Springer, c2001.
    (0) 馆藏

  8. 西文图书8.Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July TP311-53/ICA

    馆藏复本:1
    可借复本:1
    Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.).
    Springer, c2001.
    (0) 馆藏

  9. 西文图书9.Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, TP311-53/IAE

    馆藏复本:1
    可借复本:1
    Dines Bjorner, Manfred Broy, Alexandre V. Zamulin,(eds.).
    Springer, c2001.
    (0) 馆藏

  10. 西文图书10.Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2 TP311-53/LPA

    馆藏复本:1
    可借复本:1
    Robert Nieuwenhuis, Andrei Voronkov (eds.).
    Springer, c2001.
    (0) 馆藏

  11. 西文图书11.ECOOP 2001 : object-oriented programming : 15th European conference, Budapest, Hungary, June 18-22, TP311-53/ECO

    馆藏复本:1
    可借复本:1
    Jogen Lindskov Knudsen (ed.).
    Springer, c2001.
    (0) 馆藏

  12. 西文图书12.MICRO 10 : Tenth Annual Workshop on Microprogramming : proceedings / TP311-53/WM/(1977)

    馆藏复本:1
    可借复本:1
    aSponsored by ACM Special Interest Group on Microprogramming ... [et al.]
    Institute of Electrical and Electronics Engineers, 1977.
    (0) 馆藏

  13. 西文图书13.<<UML>> 2001 : the unified modeling language, modeling languages, concepts, and tools, 4th internati TP311-53/UML

    馆藏复本:1
    可借复本:1
    Martin Gogolla, Cris Kobryn (ed.).
    Springer, c2001.
    (0) 馆藏


返回顶部