熱門搜尋
您輸入的關鍵字: Yahav
搜尋結果共 7 筆, 頁數 1 / 1
呈現:
qualitatively diminished. In Feeling Time, Amit Yahav challenges this narrative of the triumph of chronometry and the consequent...... more
The vast amount of code available on the web is increasing daily. Open-source hosting sites such as ... more
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conferen... more