熱門搜尋

    您輸入的關鍵字: Jouannaud

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 8 筆, 頁數 1 / 1

    Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

    Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

    • 優惠價: 3299

    This book constitutes the referred proceedings of the First International Conference on Certified Pr... more

    Algebra, Meaning, And Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

    Algebra, Meaning, And Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

    • 優惠價: 7500

    Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research cont... more

    Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

    Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

    • 優惠價: 3299
    Constraints in Computational Logics: First International Conference, CCL ’’94, Munich, Germany, September 7 - 9, 1994. Proceedings

    Constraints in Computational Logics: First International Conference, CCL ’’94, Munich, Germany, September 7 - 9, 1994. Proceedings

    • 優惠價: 3299
    Tapsoft ’’93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings

    Tapsoft ’’93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings

    • 優惠價: 6599
    Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

    Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

    • 優惠價: 3299
    Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985

    Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985

    • 優惠價: 3599

    First International Conference on Rewriting Techniques and Applications... more

    Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985

    Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985

    • 優惠價: 3299

    搜尋推薦

    您可能感興趣的活動

    • OPEN POINT 點數變現金 | 1點=1元,消費100%抵用無上限