熱門搜尋

    您輸入的關鍵字: Maibaum

    分類(單選)
    顯示所有篩選
    配送方式(可複選)
    其他(可複選)
    ~

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

    On the Construction of Engineering Handbooks: With an Illustration from the Railway Safety Domain

    On the Construction of Engineering Handbooks: With an Illustration from the Railway Safety Domain

    • 優惠價: 3299 元

    This book focuses on the clarification of what actually a handbook is, the systematic identification... more
    放入購物車 下次再買
    Speaking Of Writing

    Speaking Of Writing

    • 優惠價: 644 元
    放入購物車 下次再買
    Ransom

    Ransom

    • 優惠價: 877 元
    放入購物車 下次再買
    Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City

    Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City

    • 優惠價: 3299 元

    Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and... more
    放入購物車 下次再買
    FM 2008, Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

    FM 2008, Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

    • 優惠價: 3299 元

    This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... more
    放入購物車 下次再買
    Handbook of Logic in Computer Science: Logic and Algebraic Methods

    Handbook of Logic in Computer Science: Logic and Algebraic Methods

    • 優惠價: 23750 元

    Logic is now widely recognized as one of the foundational disciplines of computing, and its applicat... more
    放入購物車 下次再買
    Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held As Part of the Joint European Con

    Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held As Part of the Joint European Con

    • 優惠價: 5450 元

    ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAP... more
    放入購物車 下次再買
    Handbook of Logic in Computer Science: Semantic Structures

    Handbook of Logic in Computer Science: Semantic Structures

    • 優惠價: 21500 元

    Logic is now widely recognized as one of the foundational disciplines of computing, and its applicat... more
    放入購物車 下次再買
    Handbook of Logic in Computer Science: Semantic Modelling

    Handbook of Logic in Computer Science: Semantic Modelling

    • 優惠價: 20000 元

    The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the... more
    放入購物車 下次再買
    Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software

    Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software

    • 優惠價: 3299 元
    放入購物車 下次再買
    Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

    Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

    • 優惠價: 32400 元

    The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offer... more
    放入購物車 下次再買
    Tapsoft ’’91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume

    Tapsoft ’’91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume

    • 優惠價: 3299 元

    The proceedings of TAPSOFT ’91 are organized into three parts: Colloquium on Trees in Algebra and Pr... more
    放入購物車 下次再買
    Tapsoft ’’91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume

    Tapsoft ’’91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume

    • 優惠價: 3299 元

    The proceedings of TAPSOFT ’91 are organized into three parts: Colloquium on Trees in Algebra and Pr... more
    放入購物車 下次再買

    搜尋推薦

    另外從您輸入的關鍵字中，推薦您關鍵字: magnum 的結果(請點選看全部符合的商品)

    您可能感興趣的活動

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