熱門搜尋
您輸入的關鍵字: Ylies
搜尋結果共 21 筆, 頁數 1 / 1
呈現:
In general, a given object could have been different in certain respects. For example, the Great Pyr... more
It is natural to distinguish, for any thinking creature, those events and states that are internal t... more
Timothy Williamson is one of the most influential living philosophers working in the areas of logic ... more
Constitutes the thoroughly refereed conference proceedings of the First International Conference on ... more
This book constitutes the refereed proceedings of the 8th International Workshop on the Finite-State... more
Contemporary digital tools have revolutionized the storing, transfer, and processing of information ... more
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on ... more
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 20... more
The idea of this volume originated from the need to have a book for students to support their traini... more
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verif... more