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

Бази даних

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

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

Sikolya E.  A functional analytic method for the analysis of general partial differential equations. — 2006 // Пробл. програмув.
2.

Tkachuk M.  A knowledge based approach to traceability and maintenance of requirements for information systems. — 2004 // Пробл. программирования.
3.

Mashechkin I.  A machine learning approach to server-side anti-spam e-mail filtering. — 2006 // Пробл. програмув.
4.

Garcia-Sanchez F.  A methodology for ontological knowledge capture from databases. — 2008 // Пробл. програмув.
5.

Gopych P. M. A neural network assembly memory model based on an optimal binary signal detection theory. — 2004 // Пробл. программирования.
6.

Hudak S.  A support tool for the reachability and other Petri nets-related problems and formal design and analysis of discrete systems. — 2008 // Пробл. програмув.
7.

Letichevsky A.  APS C++ User's Library. — 2008 // Пробл. програмув.
8.

Promsky A. V. C. — 2008 // Пробл. програмув.
9.

Маторин В. С. CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей. — 2004 // Пробл. программирования.
10.

Nepomniaschaya A. S. Checking spanning trees for optimality using associative parallel processors and its visualization. — 2004 // Пробл. программирования.
11.

Letichevsky О.  Constraint programming in insertion modeling system. — 2011 // Пробл. програмув.
12.

Ermolayev V. A. Cooperation layers in agent-enabled business process management. — 2002 // Пробл. программирования.
13.

Dimitriu G.  Data assimilation using Kalman filter techniques. — 2006 // Пробл. програмув.
14.

Letichevsky A. Deductive verification of requirements for event-driven architecture // Пробл. програмув. - 2013. - № 2.
15.

Ваcа J.  Didactic version of program system for synthesis and diagnostics of logic circuits. — 2003 // Пробл. программирования.
16.

Колесник В. Г. DS-теория как прототип теории прикладных алгоритмов. — 2012 // Пробл. програмув.
17.

Шевченко Р. С. Eta-исчисление - реалистичная формализация класса переписывающих систем. — 2011 // Пробл. програмув.
18.

Pavlov V. L. First experience of using INTSPEI P-Modeling Framework in software development projects. — 2007 // Пробл. програмув.
19.

Baca J.  Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics. — 2004 // Пробл. программирования.
20.

Судаков О. О. GRID ресурси інформаційно-обчислювального центру Київського національного університету імені Тараса Шевченка. — 2006 // Пробл. програмув.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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