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

Бази даних

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

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

Матвеева Л. Е. Анализ сетей Петри с помощью инвариантов. — 2001 // Искусств. интеллект.
2.

Матвеева Л. Е. Использование инструментальных средств моделирования параллельных вычислений в системе APS для разработки эффективных программ. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
3.

Матвеева Л. Е. Разработка инструментальных средств моделирования параллельных вычислений в системе алгебраического программирования. — 1999 // Кибернетика и систем. анализ.
4.

Васин А. В. Влияние остаточной атмосферы на формирование структуры пленок a-SiC при осаждении с помощью магнетронного распыления. — 1999 // Сверхтвердые материалы.
5.

Матвеева Л. В. Юлиан Кулаковский. Жизнеописание. — К.: Стилос, 2002
6.

Матвеева Л. В. Из истории пангерманизма и стремлений немцев на Восток (1914 - 1916) (По работам В.П.Бузескула). — 2007 // Сх. світ.
7.

Матвеева Л. В. История Востока (По работам В.П. Бузескула). — 2006 // Сх. світ.
8.

Матвеева Л. В. Отто Юльевич Шмидт 1891-1956. — К., 2006 - (Науч.-библиограф. лит).
9.

Матвеева Л. В. Владислав Бузескул - историк своего времени : монография. — К.: Стилос, 2008
10.

Матвеева Л. Е. Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри. — 2004 // Пробл. программирования.
11.

Матвеева Л. Е. Формальное представление и анализ свойств асинхронных динамических систем. — 2002 // Пробл. программирования.
12.

Крывый С. Л. Формальные методы анализа свойств систем. — 2003 // Кибернетика и систем. анализ.
13.

Крывый С. Л. Исследование свойств документов MSC с помощью преобразования их в сети Петри. — 2009 // Кибернетика и систем. анализ.
14.

Матвеева Л. В. Виктор Григорович - первый украинский славяновед-византолог (1815 - 1876) : монография. — К.: Стилос, 2010
15.

Матвеева Л. Е. Использование принципов Agile при внедрении процесса производства программного продукта, основанного на СMMI. — 2010 // Управляющие системы и машины.
16.

Венгер Е. Ф. Радиационно-стимулированные эффекты в гетероструктурах с фуллеренами. — 2011 // Оптоэлектроника и полупроводниковая техника.
17.

Венгер Е. Ф. Получение, свойства и применение тонких нанонеоднородных пленок Ge на GaAs-подложках // Технология и конструирование в электрон. аппаратуре. - 2014. - № 4.
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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