熱門搜尋

    您輸入的關鍵字: Gorrieri

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

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

    Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

    Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

    • 優惠價: 5399 元

    Introduction.- Transition Systems.- Petri Nets.- The Basic Calculus: SFM.- Adding Asynchronous Paral... more
    放入購物車 下次再買
    Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

    Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

    • 優惠價: 5399 元

    Introduction.- Transition Systems.- Petri Nets.- The Basic Calculus: SFM.- Adding Asynchronous Paral... more
    放入購物車 下次再買
    Introduction to Concurrency Theory: Transition Systems and Ccs

    Introduction to Concurrency Theory: Transition Systems and Ccs

    • 優惠價: 3299 元
    放入購物車 下次再買
    Foundations of Security Analysis and Design VI: Fosad Tutorial Lectures

    Foundations of Security Analysis and Design VI: Fosad Tutorial Lectures

    • 優惠價: 3299 元
    放入購物車 下次再買
    Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009,

    Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009,

    • 優惠價: 6599 元

    This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biolo... more
    放入購物車 下次再買
    Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

    Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

    • 優惠價: 2999 元

    Foundations of Security Analysis and Design.- Maude-NPA: Cryptographic Protocol Analysis Modulo Equa... more
    放入購物車 下次再買
    Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy,

    Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy,

    • 優惠價: 4950 元

    This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Fo... more
    放入購物車 下次再買
    Foundations of Security Analysis And Design III: FOSAD 2004/2005 Tutorial Lectures

    Foundations of Security Analysis And Design III: FOSAD 2004/2005 Tutorial Lectures

    • 優惠價: 2750 元

    The increasing relevance of security to real-life applications, such as electronic commerce and Inte... more
    放入購物車 下次再買
    Foundations of Security Analysis and Design: Tutorial Lectures

    Foundations of Security Analysis and Design: Tutorial Lectures

    • 優惠價: 6000 元

    . Gordon); Classification of Security Properties (Riccardo Focardi and Roberto Gorrieri)....... more
    放入購物車 下次再買
    Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist

    Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist

    • 優惠價: 13199 元
    放入購物車 下次再買
    Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Turtorial Lectures

    Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Turtorial Lectures

    • 優惠價: 3299 元
    放入購物車 下次再買
    Foundations of Security Analysis and Design II: Fosad 2001/2002 Tutorial Lectures

    Foundations of Security Analysis and Design II: Fosad 2001/2002 Tutorial Lectures

    • 優惠價: 3299 元

    Security is a rapidly growing area of computer science, with direct and increasing relevance to real... more
    放入購物車 下次再買
    Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist

    Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist

    • 優惠價: 13199 元
    放入購物車 下次再買
    Automata, Languages and Programming: 24th International Colloquium, Icalp’’97, Bologna, Italy, July 7 - 11, 1997, Proceedings

    Automata, Languages and Programming: 24th International Colloquium, Icalp’’97, Bologna, Italy, July 7 - 11, 1997, Proceedings

    • 優惠價: 6599 元
    放入購物車 下次再買
    Introduction to Concurrency Theory: Transition Systems and CCS

    Introduction to Concurrency Theory: Transition Systems and CCS

    • 優惠價: 3299 元
    可訂購時通知我

    搜尋推薦

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

    您可能感興趣的活動

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