107 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Heisel, Maritta. editor.
Format:
Electronic Resources
Alıntı:
Engineering Secure Future Internet Services and Systems Current Research / Heisel, Maritta. editor.
Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016
View Other Search Results
Yazar
Ermolayev, Vadim. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 10th
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 13th
Yazar
Draheim, Dirk. author.
Format:
Electronic Resources
Alıntı:
Operations Research/Decision Theory. http://scigraph.springernature.com/things/product-market-codes
Yazar
Chockler, Hana. editor.
Format:
Electronic Resources
Alıntı:
a research monograph and a reference book.
Yazar
Kordon, Fabrice. editor.
Format:
Electronic Resources
Alıntı:
reviewed and selected from 42 submissions. Papers presenting original research on application or theory of
9.
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
aspects of the use of and the research on formal methods for software development.
Yazar
Finkbeiner, Bernd. editor.
Format:
Electronic Resources
Alıntı:
submissions. They show current research on theoretical and practical aspects of automated analysis
Yazar
Du, Dingzhu. editor.
Format:
Electronic Resources
Alıntı:
research in the area of algorithms and complexity, software theory and method, data science and machine
Yazar
Väänänen, Jouko. editor.
Format:
Electronic Resources
Alıntı:
workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and
107 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: