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
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney
Yazar
Renda, M. Elena. editor.
Format:
Electronic Resources
Alıntı:
Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016
Yazar
Renda, M. Elena. editor.
Format:
Electronic Resources
Alıntı:
Information Technology in Bio- and Medical Informatics 6th International Conference, ITBAM 2015
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
Schultz, Patrick. author.
Format:
Electronic Resources
Alıntı:
Aerospace Technology and Astronautics. https://scigraph.springernature.com/ontologies/product
Yazar
Kaufmann, Michael. author.
Format:
Electronic Resources
Alıntı:
Information 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
Arama Sonuçlarını Sınırlandır
Daraltılmış: