?
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020
Ответственный редактор: L. Zhang, N. Kobayashi
Chistikov D., Mikhail Vyalyi, , in : LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020. : Association for Computing Machinery (ACM), 2020. P. 312-326.
Добавлено: 4 сентября 2020 г.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Switzerland : Springer, 2020
Добавлено: 15 марта 2020 г.
М., Протвино : Институт физико-технической информатики, 2016
Труды Международной научной конференции Московского физико-технического института (государственного университета)и Института физико-технической информатики. ISBN 978-5-88835-039-3 ...
Добавлено: 11 мая 2016 г.
Springer, 2018
Добавлено: 11 апреля 2018 г.
Springer International Publishing, 2020
Добавлено: 22 октября 2019 г.
Chennai : AIRCC Publishing Corporation, 2018
The 11th International Conference on Security and its Applications (CNSA 2018) was held in Zurich, Switzerland, during January 02~03, 2018. The 5th International Conference on Data Mining and Database (DMDB 2018) and The 5th International Conference on Artificial Intelligence and Applications (AIAP 2018) was collocated with The 11th International Conference on Security and its Applications ...
Добавлено: 10 января 2018 г.
NY : IEEE, 2019
The Conference on Games (CoG) evolves from the traditional Computational Intelligence and Games (CIG) to bring together leading researchers and practitioners from academia and industry in the field of Games, to discuss recent advances and explore future directions. Games offer a fantastic domain for computational creativity, game design, technology, education, social sciences and, undoubtedly, artificial ...
Добавлено: 30 июля 2019 г.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020
Добавлено: 23 ноября 2020 г.
NY : ACM, 2014
This volume contains the proceedings of the Joint Meeting of the Twenty-Third Annual EACSL Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve ...
Добавлено: 20 октября 2014 г.
Los Alamitos : IEEE Computer Society, 2020
Добавлено: 9 июня 2021 г.
Springer, 2016
Добавлено: 21 ноября 2016 г.
Proceedings of 2nd International Conference on Computer Applications & Information Security (ICCAIS)
NY : IEEE, 2019
The 2nd International Conference on Computer Applications & Information Security (ICCAIS’ 2019) is inviting authors to submit original contributions in the event research area. ICCAIS’ 2019 is a selective single-track conference, covering all aspects of Networking and Information Security, Computer Applications, Electrical Engineering & Computer Science, Network Management, Network Function Virtualization, Software Defined Networks, Network ...
Добавлено: 29 июля 2019 г.
Springer, 2020
Добавлено: 4 сентября 2020 г.
CEUR-WS, 2018
Добавлено: 31 октября 2019 г.
Springer, 2021
Книга вклюает в себя работы 16ой международной конференции по Анализу формальных понятий. Книга поделена на 5 секций: теория, правила, методы и приложения, исследование и визуализация ...
Добавлено: 10 июля 2021 г.
Los Alamitos : IEEE, 2015
Добавлено: 15 марта 2016 г.
Samos Island : University of Aegean, 2015
The Panhellenic Logic Symposium of 2015 (the tenth PLS) is taking place at the University of the Aegean, on the island of Samos. It is including talks and mini-courses by eight invited well known scientists from around the world. The number of papers submitted to the conference was 42, of which 23 were chosen for ...
Добавлено: 19 сентября 2015 г.
Springer, 2022
Добавлено: 30 августа 2021 г.
Сумы : СумДу, 2016
Сумской государственный университет: Апрель 18, 2016 – Апрель 22, 2016.
Факультет ЭлИТ. Конференция "Информатика, Математика, Автоматика" проводится на базе Сумского государственного университета. Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. ...
Добавлено: 11 июня 2016 г.
Хамдамов Т. В., Социальные и гуманитарные науки: теория и практика 2019 № 1(3) С. 167-183
В статье исследуется проблематика определения термина компьютерных симуляций научных экспериментов. В первой части анализируется оригинальный метод классификации вариаций терминов, предложенный Дюраном, как наиболее удачный для демонстрации значимых существующих противоречий в среде философов по вопросу места и роли компьютерных симуляций в философии науки. Во второй части работы сам термин формулируется автором через выявление главных особенностей компьютерных ...
Добавлено: 11 декабря 2019 г.
Lansing : ThinkMind, 2019
The Eleventh International Conference on Advances in Multimedia (MMEDIA 2019), held between March 24, 2019 and March 28, 2019 in Valencia, Spain, continued a series of events presenting recent research results on advances in multimedia, mobile and ubiquitous multimedia and to bring together experts from both academia and industry for the exchange of ideas and ...
Добавлено: 29 июля 2019 г.
Springer, 2020
Computer Science On-line Conference ...
Добавлено: 25 августа 2020 г.
CEUR Workshop Proceedings, 2021
Добавлено: 17 ноября 2020 г.