熱門搜尋

    您輸入的關鍵字: Bravetti

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

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

    Behavioral Types in Programming Languages

    Behavioral Types in Programming Languages

    • 優惠價: 5445
    Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010

    Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010

    • 優惠價: 3299

    This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Wor... more

    A Friendship Gone Sour: Dad Regrets This Friendship

    A Friendship Gone Sour: Dad Regrets This Friendship

    • 優惠價: 575
    Web Services and Formal Methods: Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings

    Web Services and Formal Methods: Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings

    • 優惠價: 4950

    Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Met... more

    Formal Techniques for Computer Systems And Business Processed: European Performance Engineering Workshop, EPEW 2005 And Internat

    Formal Techniques for Computer Systems And Business Processed: European Performance Engineering Workshop, EPEW 2005 And Internat

    • 優惠價: 3299

    This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Univer... more

    Software Engineering and Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

    Software Engineering and Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

    • 優惠價: 3299

    This book constitutes the refereed proceedings of the11th International Conference on Software Engin... more

    Concur 2009 - Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1-4, 2009, Proceedings

    Concur 2009 - Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1-4, 2009, Proceedings

    • 優惠價: 6599

    This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), hel... more

    搜尋推薦

    您可能感興趣的活動

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