熱門搜尋

    您輸入的關鍵字: Dillig

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

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

    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 3627 元
    放入購物車 下次再買
    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 4012 元
    放入購物車 下次再買
    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 4232 元
    放入購物車 下次再買
    Computer Aided Verification

    Computer Aided Verification

    • 優惠價: 3352 元
    放入購物車 下次再買
    Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I

    Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I

    • 優惠價: 3599 元

    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... more
    放入購物車 下次再買
    Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II

    Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II

    • 優惠價: 3599 元

    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st... more
    放入購物車 下次再買
    Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed

    Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed

    • 優惠價: 3299 元

    This book constitutes the refereed proceedings of the 19th International Conference on Verification,... more
    放入購物車 下次再買

    搜尋推薦

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

    您可能感興趣的活動

    • 7.1-7.31 年中知識KTV暢銷榜