Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (39) | Журнали та продовжувані видання (3) | Реферативна база даних (111) |
Пошуковий запит: (<.>U=В123$<.>) | ||||
|
Загальна кількість знайдених документів : 4 Представлено документи з 1 до 4 |
||||
| 1. | Гуца О.М. Інтерактивна модель перекладу технічних завдань у систему булевих формул : Автореф. дис... канд. техн. наук: 01.05.02. — Х., 2002. — 19 с.: рис. — укp. Рубрики: | |||
| 2. | Ситник Л.Г. Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту : автореф. дис... канд. техн. наук: 05.13.23. — Х., 2010. — 19 с. — укp. Рубрики: | |||
| 3. | Процай Н. Т. Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій : автореф. дис. ... канд. техн. наук : 01.05.02. — Х., 2011. — 20 с.: рис. — укp. Рубрики: | |||
| 4. | Шкільняк С. С. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01. — К., 2010. — 32 с. — укp. Рубрики: | |||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |