РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (5)Наукова періодика України (46)
Пошуковий запит: (<.>A=Чеботарев А$<.>)
Загальна кількість знайдених документів : 73
Представлено документи з 1 до 20
...
1.

Стайков А. И. Атомно-эмиссионное определение металлов в маломинерализованных водах с предварительным сорбционным концентрированием. — 2001 // Укр. хим. журн.
2.

Чеботарев А. Н. Построение автомата (распознавателя) по формуле монадической теории первого порядка для натуральных чисел. — 2001 // Кибернетика и систем. анализ.
3.

Чеботарев А. Н. Сорбционное концентрирование и разделение молибдена (VI) и вольфрама (VI) полифункциональными сорбентами. — 2000 // Укр. хим. журн.
4.

Капитонова Ю. В. Индуктивный синтез автомата по спецификации в логическом языке L. — 2000 // Кибернетика и систем. анализ.
5.

Чеботарев А. Н. Комплексные тетрафторбораты свинца (II) с азотсодержащими органическими основаниями. — 2000 // Укр. хим. журн.
6.

Чеботарев А. Н. Метод раздельного резольвирования для проверки выполнимости формул языка "L". — 1998 // Кибернетика и систем. анализ.
7.

Чеботарев А. Н. Общий метод проверки согласованности взаимодействующих автоматов с конечной памятью. — 1999 // Кибернетика и систем. анализ.
8.

Чеботарев А. Н. Особенности газохроматографического определения диалкилдитиокарбаматов некоторых d-металлов. — 2000 // Укр. хим. журн.
9.

Чеботарев А. Н. Синтез и физико-химические свойства комплексных тетрафторборатов цинка (II) и кадмия (II) с азотсодержащими органическими основаниями. — 2000 // Укр. хим. журн.
10.

Чеботарев А. Н. Сорбционно-спектрофотометрическое определение молибдена в растительных материалах. — 2000 // Укр. хим. журн.
11.

Чеботарев А. Н. Построение логической спецификации реактивного алгоритма. — 2002 // Пробл. программирования.
12.

Чеботарев А. П. Разработка технологии и освоение производства шлаковозных чаш на Макеевском меткомбинате. — 2002 // Металлург. и горноруд. пром-сть.
13.

Чеботарев А. Н. Синтез автомата, специфицированного множеством дизъюнктов. — 2003 // Пробл. программирования.
14.

Чеботарев А. Н. Теоретико-автоматный подход к верификации реактивных систем. — 2001 // Кибернетика и систем. анализ.
15.

Чеботарев А. Н. Физико-химические закономерности сорбции катионных ПАВ из разбавленных растворов сильными ионитами. — 2003 // Укр. хим. журн.
16.

Чеботарев А. Н. Синтез алгоритма по его логической спецификации. — 2004 // Управляющие системы и машины.
17.

Крывый С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I. — 2005 // Кибернетика и систем. анализ.
18.

Чеботарев А. Н. Аппроксимация множеств сверхслов формулами языка L. — 2007 // Кибернетика и систем. анализ.
19.

Чеботарев А. Н. Комплексные тетрафторобораты кобальта (II) с азотсодержащими органическими основаниями. — 2007 // Укр. хим. журн.
20.

Крывый С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. II. — 2005 // Кибернетика и систем. анализ.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського