http://dspace.nbuv.gov.ua:80/handle/123456789/44526 2026-04-06T05:57:15Z http://dspace.nbuv.gov.ua:80/handle/123456789/45256 Авторы номера 4 за 2010 г. 2010-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/45255 Рецензия на монографию Коваленко, И.Н. Рецензия на: Меликов А.З., Пономаренко Л.А., Паладюк В.В. «Телетрафик: модели, методы, оптимизация». — К.: ИПК «Политехника», 2007. — 256 с.; Меликов А.З., Пономаренко Л.А., Фаттахова М.И. «Управление мультиресурсными сетями связи с буферными накопителями. — К.: Изд-во Национального авиационного ун-та «НАУ-друк», 2008. — 156 с. 2010-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/45254 Международный симпозиум «Автоматы, алгоритмы и информационные технологии» Мороховец, М.К. С 19 по 21 мая в Киеве (Украина) проходил Международный симпозиум «Автоматы, алгоритмы и информационные технологии», приуроченный к 75-летнему юбилею академика НАНУ Александра Адольфовича Летичевского. 2010-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/45253 Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования Летичевский, А.А.; Герман, В.Н.; Мороховец, М.К.; Щеголева, Н.Н. Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1.; Software for parallel inference search in propositional calculus is described and used to obtain experimental results. The software is based on the Algebraic Programming System APS and the cluster complex SCIT-1. 2010-01-01T00:00:00Z