?
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4
Netherlands :
Springer, 2018.
Ответственный редактор: S. R. Sukyoung Ryu:
Главы книги
Brotherston J., Канович М. И., , in: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4.: Netherlands: Springer, 2018. P. 329–349.
Добавлено: 5 декабря 2018 г.
Язык:
английский
Князева И., Лысов И. И., Курочкин Е. и др., Astronomy and Computing 2025 Vol. 51 P. 100918–0
Добавлено: 10 декабря 2024 г.
CEUR Workshop Proceedings, 2020.
Добавлено: 18 ноября 2021 г.
Добавлено: 5 февраля 2021 г.
Springer Publishing Company, 2020.
Добавлено: 3 ноября 2020 г.
IEEE Computer Society, 2018.
Добавлено: 1 ноября 2020 г.
Springer, 2020.
Добавлено: 8 сентября 2020 г.
Бабенко М. А., Колесниченко И. И., Smirnov I., Theory of Computing Systems 2019 Vol. 63 No. 4 P. 637–646
Heaps are well-studied fundamental data structures, having myriads of applications, both theoretical and practical. We consider the problem of designing a heap with an “optimal” extract-min operation. Assuming an arbitrary linear ordering of keys, a heap with n elements typically takes O(log n) time to extract the minimum. Extracting all elements faster is impossible as ...
Добавлено: 6 декабря 2019 г.
Novosibirsk: IEEE, 2018.
Добавлено: 23 апреля 2019 г.
Taratukhin Victor, Yadgarova Y., Procedia Computer Science 2018 Vol. 123
Добавлено: 18 февраля 2019 г.
Netherlands: Springer, 2018.
Добавлено: 5 декабря 2018 г.
Brotherston J., Канович М. И., , in: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4.: Netherlands: Springer, 2018. P. 329–349.
Добавлено: 5 декабря 2018 г.
Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.: Springer, 2018. P. 228–245.
Добавлено: 1 ноября 2018 г.
IEEE Computer Society, 2017.
Добавлено: 4 октября 2018 г.
Springer, 2016.
The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic form. While the focus is on publication of peer-reviewed full papers presenting mature work, inclusion of reviewed short papers reporting on work in progress is welcome, ...
Добавлено: 15 декабря 2016 г.
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744
Добавлено: 1 сентября 2016 г.
Паволоцкий А. В., Королев Д. А., Левицкая Н. И., Качество. Инновации. Образование 2015 № 12 С. 23–31
В статье рассматривается проблема выбора языка для начала обучения программированию в ВУЗе при подготовке IT-специалиста. Приводятся примеры, иллюстрирующие трудности, с которыми сталкиваются как преподаватели, так и студенты при изучении языков, входящих в первую пятерку популярности по версии сайта TIOBE, а также анализируется статистика, полученная из открытых источников, по разным отечественным и зарубежным ВУЗам относительно языка
программирования, ...
Добавлено: 10 февраля 2016 г.
Родригес Залепинос Р. А., Ivashchuk O. A., Konstantinov I. S., , in: Proceedings of the 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS).: IEEE, 2015. P. 593–597.
Добавлено: 28 октября 2015 г.
IEEE, 2015.
Добавлено: 28 октября 2015 г.
Донецк: Донецкий национальный технический университет, 2013.
В сборнике представлены доклады ученых в области компьютерной графики, обработки изображений, численных методов, моделирования сложных динамических систем. Приведены результаты исследований, связанных с разработкой аппаратного, программного и алгоритмического обеспечения средств компьютерной графики, численных методов, параллельного моделирования сложных динамических систем, моделирования и проектирования средств вычислительной техники. Рассматриваются вопросы применения компьютерной графики и моделирования в САПР и экономике. ...
Добавлено: 26 октября 2015 г.
Донецк: Донецкий национальный технический университет, 2014.
В сборнике опубликованы результаты научных исследований и технических разработок в области современных информационных технологий, компьютерного мониторинга, искусственного интеллекта, моделирования, разработок цифровых устройств, экспертных систем диагностики, использования методов интеллектуального анализа данных, Web-технологий. ...
Добавлено: 23 октября 2015 г.