熱門搜尋

    【我要重新搜尋】

    您輸入的關鍵字: Willem-Paul

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

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

    Intelligent Virtual Agents: 15th International Conference, Iva 2015, Delft, the Netherlands, August 26-28, 2015, Proceedings

    Intelligent Virtual Agents: 15th International Conference, Iva 2015, Delft, the Netherlands, August 26-28, 2015, Proceedings

    • 優惠價: 3299 元

    This book constitutes the proceedings of the 15th International Conference on Intelligent Virtual Ag... more
    放入購物車 下次再買
    Programming Concepts and Methods Procomet ’’98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet ’’98) 8-12

    Programming Concepts and Methods Procomet ’’98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet ’’98) 8-12

    • 優惠價: 13199 元
    放入購物車 下次再買
    Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

    Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

    • 優惠價: 5579 元

    This is a systematic and comprehensive introduction both to compositional proof methods for the stat... more
    放入購物車 下次再買
    Data Refinement: Model-Oriented Proof Methods and Their Comparison

    Data Refinement: Model-Oriented Proof Methods and Their Comparison

    • 優惠價: 4019 元
    放入購物車 下次再買
    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
    放入購物車 下次再買
    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 Refinement: Model-Oriented Proof Methods and Their Comparison

    Data Refinement: Model-Oriented Proof Methods and Their Comparison

    • 優惠價: 9600 元

    The goal of this book is to provide a comprehensive and systematic introduction to the important and... more
    放入購物車 下次再買
    Compositionality: The Significant Difference: International Symposium, Compos’’97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

    Compositionality: The Significant Difference: International Symposium, Compos’’97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

    • 優惠價: 6599 元
    放入購物車 下次再買
    Programming Concepts and Methods Procomet ’’98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet ’’98) 8-12

    Programming Concepts and Methods Procomet ’’98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet ’’98) 8-12

    • 優惠價: 13199 元
    放入購物車 下次再買
    Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

    Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

    • 優惠價: 6599 元
    放入購物車 下次再買
    Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

    Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

    • 優惠價: 6599 元

    This proceedings volume surveys the state of the art in concurrent program specification, verificati... more
    放入購物車 下次再買
    Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3

    Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3

    • 優惠價: 6599 元

    This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Log... more
    放入購物車 下次再買
    Current Trends in Concurrency: Overviews and Tutorials

    Current Trends in Concurrency: Overviews and Tutorials

    • 優惠價: 6599 元
    放入購物車 下次再買
    Dutch Pioneers of the Earth Sciences

    Dutch Pioneers of the Earth Sciences

    • 優惠價: 2400 元

    The papers collected in this volume, given at a Dutch history of science symposium, present a histor... more
    可訂購時通知我

    搜尋推薦

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

    您可能感興趣的活動

    • 先綁定再消費最划算！OPEN POINT 會員首次綁定成功立即送50元E-Coupon