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

Бази даних

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

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

Кривой С. Л. Доказательство теорем в логике первого порядка, унификация и совместность линейных констрейнтов. — 1998 // Пробл. программир..
2.

Кривой С. Л. О реализации алгоритмов проверки совместности систем линейных диофантовых уравнений в области натуральных чисел. — 1999 // Управляющие системы и машины.
3.

Кривой С. Л. Алгебра связных графов и проектирование топологии компьютерных сетей. — 2006 // Пробл. програмув.
4.

Кривой С. Л. Бинарные диаграммы решений и обработка запросов в реляционной базе данных. — 2007 // Управляющие системы и машины.
5.

Палагин А. В. Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация. — 2009 // Управляющие системы и машины.
6.

Палагин А. В. Концептуальные графы и семантические сети в системах обработки естественно-языковой информации. — 2009 // Мат. машини і системи.
7.

Гудыменко А. И. Исследование плазмонных пленочных наноструктур золота методами рентгеновской рефлектометрии и дифрактометрии // Металлофизика и новейшие технологии. - 2015. - 37, № 9.
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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