熱門搜尋

    【我要重新搜尋】

    您輸入的關鍵字: Otmane (EDT)

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

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

    Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Procee

    Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Procee

    • 優惠價: 3299

    This book constitutes the refereed proceedings of the 21st International Conference on Theorem Provi... more

    Recent Trends and Future Technology in Applied Intelligence: 31st International Conference on Industrial Engineering and Other A

    Recent Trends and Future Technology in Applied Intelligence: 31st International Conference on Industrial Engineering and Other A

    • 優惠價: 7199

    This book constitutes the thoroughly refereed proceedings of the 31st International Conference on In... more

    Network Security Technologies: Design and Applications

    Network Security Technologies: Design and Applications

    • 優惠價: 11700

    Recent advances in technologies have created a need for solving security problems in a systematic wa... more

    Intelligent Systems and Automation: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA ’09) Zarzis, Tunis

    Intelligent Systems and Automation: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA ’09) Zarzis, Tunis

    • 優惠價: 11640

    Aims to present the research and application results emerging from the research and technological de... more

    搜尋推薦

    您可能感興趣的活動

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