熱門搜尋

    您輸入的關鍵字: Fiadeiro

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

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

    Categories for Software Engineering

    Categories for Software Engineering

    • 優惠價: 3299 元

    A gentle introduction to category theory oriented to software engineering. Assuming only a minimum o... more
    放入購物車 下次再買
    Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held As Part of the Joint European Con

    Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held As Part of the Joint European Con

    • 優惠價: 3299 元

    ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is ... more
    放入購物車 下次再買
    Business Process Management: 4th International Conference, Bpm 2006, Vienna, Austria, September 5-7, 2006: Proceedings

    Business Process Management: 4th International Conference, Bpm 2006, Vienna, Austria, September 5-7, 2006: Proceedings

    • 優惠價: 7450 元

    This book constitutes the refereed proceedings of the 4th International Conference on Business Proce... more
    放入購物車 下次再買
    Algebra And Coalgebra in Computer Science: Fist International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedi

    Algebra And Coalgebra in Computer Science: Fist International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedi

    • 優惠價: 6450 元

    Adamek, Ataru Na- gawa, Michel Bidoit, Jose Fiadeiro (co-chair), Hans-Peter Gumm, Bart Jacobs, Hans- Jorg Kreowski, Ugo...... more
    放入購物車 下次再買
    Categories For Software Engineering

    Categories For Software Engineering

    • 優惠價: 3299 元

    A gentle introduction to category theory oriented to software engineering. Assuming only a minimum o... more
    放入購物車 下次再買
    Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2-5, 2018, Revised Selected Pap

    Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2-5, 2018, Revised Selected Pap

    • 優惠價: 3299 元

    This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 In... more
    放入購物車 下次再買
    Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings

    Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings

    • 優惠價: 4199 元

    This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... more
    放入購物車 下次再買
    Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

    Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

    • 優惠價: 3299 元

    This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspe... more
    放入購物車 下次再買
    Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006 La Roche En Ardenne, Belgium, June 1-3, 2006 Revised Selecte

    Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006 La Roche En Ardenne, Belgium, June 1-3, 2006 Revised Selecte

    • 優惠價: 3299 元
    放入購物車 下次再買
    Recent Trends in Algebraic Development Techniques: 17th International Workshop, Wadt 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Paper

    Recent Trends in Algebraic Development Techniques: 17th International Workshop, Wadt 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Paper

    • 優惠價: 3299 元
    放入購物車 下次再買
    Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt’’98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

    Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt’’98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

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

    搜尋推薦

    您可能感興趣的活動

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