Yazar
Qi, Guilin. editor.
Format:
Electronic Resources
Alıntı:
Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13
Yazar
Finkbeiner, Bernd. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015
View Other Search Results
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei
Yazar
MacIntyre, John. editor.
Format:
Electronic Resources
Alıntı:
IFIP Advances in Information and Communication Technology,
Yazar
Shi, Zhongzhi. editor.
Format:
Electronic Resources
Alıntı:
IFIP Advances in Information and Communication Technology,
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
technology of software verification, through the interaction of theory development, tool evolution, and
Yazar
Destercke, Sébastien. editor.
Format:
Electronic Resources
Alıntı:
technology and from practitioners using uncertainty techniques in real-world applications. The scope of the
Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
industry in the field of rules and its applications, especially as part of the semantic technology stack
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
; descriptional complexity; digital libraries and document engineering; foundations of finite state technology
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
; descriptional complexity; DNA and other models of bio-inspired computing; foundations of finite state technology
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and
Yazar
Murata, Tsuyoshi. editor.
Format:
Electronic Resources
Alıntı:
technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big
Arama Sonuçlarını Sınırlandır
Daraltılmış: