Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Журнали та продовжувані видання (1)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>I=Ж16833/2012/4<.>)
Загальна кількість знайдених документів : 1
 
Проблеми програмування : наук. журн..- Київ

  1. Титул.

  2. Зміст.

    3. Теоретичні та методологічні основи програмування

  3. Лавріщева К. М. Компонентне програмування. Теорія і реалізація. - C. 3-18.

  4. Нікітченко М. С., Шкільняк С. С. Логіки квазіарних предикатів кванторно-екваційного рівня. - C. 19-34.

  5. Провотар О. І., Лапко О. В. Про нові методи опису невизначених величин. - C. 35-42.

  6. Щегельський Т. С., Провотар О. О., Провотар О. І. Аналіз систем нечіткої логіки для апроксимації нечітких функцій. - C. 43-49.

    7. Програмувaання для комп’ютерних мереж та Internet

  7. Ігнатенко О. П. Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах. - C. 50-63.

    8. Інструментальні засоби та середовища програмування

  8. Кожаев В. В. Иструментарий создания игровой логики. - C. 64-74.

    9. Формальні методи розробки програмного забезпечення

  9. Колчин А. В., Летичевский А. А., Потиенко С. В., Песчаненко В. С. Обзор современных систем и методов верификации формальных моделей. - C. 75-88.

    10. Експертні та інтелектуальні інформаційні системи

  10. Захарова О., Міненко В. Технологія оптимального вибору варіантів на основі семантичного аналізу інформаційних об’єктів бізнес-процесу. - C. 89-95.

    11. Прикладні засоби програмування та програмне забезпечення

  11. Алексеєв В. А., Мостовий В. В., Терещенко В. С., Яловець А. Л. Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності. - C. 96-104.

  12. Мердух С. Л., Медведєв Р. Б. Пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів у контурах керування. - C. 105-115.

  13. Терещенко А. Н., Задирака В. К. Оптимизация умножения больших N-разрядных чисел на основе N-разрядных ДПФ. - C. 116-130.

2012
№ 4
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

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