熱門搜尋

    您輸入的關鍵字: Bonsangue

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

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

    Theory and Practice of Formal Methods: Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday

    Theory and Practice of Formal Methods: Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday

    • 優惠價: 3299 元

    This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th bi... more
    放入購物車 下次再買
    Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Sel

    Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Sel

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Methods for Components and Objects: 9th International Symposium, Fmco 2010, Graz, Austria, November 29 - December 1, 2010

    Formal Methods for Components and Objects: 9th International Symposium, Fmco 2010, Graz, Austria, November 29 - December 1, 2010

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 20

    Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 20

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006,

    Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006,

    • 優惠價: 3299 元

    Formal methods have been applied successfully to the verification of medium-sized programs in protoc... more
    放入購物車 下次再買
    Formal Methods for Components And Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 200

    Formal Methods for Components And Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 200

    • 優惠價: 5950 元

    Formal methods have been applied successfully to the verification of medium-sized programs in protoc... more
    放入購物車 下次再買
    Formal Methods for Components And Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004

    Formal Methods for Components And Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004

    • 優惠價: 4950 元

    Formal methods have been applied successfully to the verification of medium-sized programs in protoc... more
    放入購物車 下次再買
    My Mommy Is A Giraffe

    My Mommy Is A Giraffe

    • 優惠價: 810 元

    My Mommy is a Giraffe shows young readers how other animal mothers care for their dependant young. T... more
    放入購物車 下次再買
    God, Lakes and Canoes

    God, Lakes and Canoes

    • 優惠價: 777 元
    放入購物車 下次再買
    Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 : Re

    Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 : Re

    • 優惠價: 6450 元

    Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to con... more
    放入購物車 下次再買
    Data Science and Artificial Intelligence: First International Conference, Dsai 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

    Data Science and Artificial Intelligence: First International Conference, Dsai 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

    • 優惠價: 7199 元

    This book constitutes the proceedings of the First International Conference, DSAI 2023, held in Bang... more
    放入購物車 下次再買
    It’s All about Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

    It’s All about Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

    • 優惠價: 3299 元

    This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farh... more
    放入購物車 下次再買
    Coalgebraic Methods in Computer Science: 12th Ifip Wg 1.3 International Workshop, Cmcs 2014, Colocated with Etaps 2014, Grenoble, France, April 5-6, 2

    Coalgebraic Methods in Computer Science: 12th Ifip Wg 1.3 International Workshop, Cmcs 2014, Colocated with Etaps 2014, Grenoble, France, April 5-6, 2

    • 優惠價: 3299 元

    This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... more
    放入購物車 下次再買
    Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

    Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedi

    Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedi

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Methods for Components and Objects: Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

    Formal Methods for Components and Objects: Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Methods for Components and Objects: 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 200

    Formal Methods for Components and Objects: 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 200

    • 優惠價: 3299 元

    All modern industries rely on large and complex software systems. In order to construct such large s... more
    可訂購時通知我

    搜尋推薦

    您可能感興趣的活動

    • 博客來【每字美句】收藏、紀錄、分享你最愛的一句