|
РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
|
|
|
Бази даних
|
Реферативна база даних - результати пошуку
|
|
 Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб |
Пошуковий запит: (<.>A=Максимец А$<.>) |
Загальна кількість знайдених документів : 8
Представлено документи з 1 до 8
|
| 1. |
Кучер Г. Ю. Мобильная клиника: роль выездных бригад врачей-специалистов в оказании комплексной медицинской помощи населению, проживающему в сельской местности. — 2012 // Лікар. справа.
| | 2. |
Максимец А. Н. Верификация программ: состояние, проблемы, экспериментальные результаты. II // Пробл. програмув.. - 2014. - № 1.
| | 3. |
Максимец А. Н. Верификация программ: состояние, проблемы, экспериментальные результаты. I // Пробл. програмув.. - 2013. - № 4.
| | 4. |
Крывый С. Л. Разработка и обоснование алгоритмов на основе семантических свойств // Пробл. програмув.. - 2014. - № 2/3 (спец. вип.).
| | 5. |
Максимец А. Н. Поиск программных инвариантов в виде полиномов // Доп. НАН України. - 2013. - № 9.
| | 6. |
Крывый С. Л. Верификация программ: состояние, проблемы, результаты. II // Кибернетика и систем. анализ. - 2014. - 50, № 1.
| | 7. |
Крывый С. Л. Верификация программ: состояние, проблемы, результаты. I // Кибернетика и систем. анализ. - 2013. - 49, № 6.
| | 8. |
Гломозда Д. К. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками // Кибернетика и систем. анализ. - 2018. - 54, № 4.
|
|
|
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського
|
НОВІ
ПОШУК
