Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (1158) | Журнали та продовжувані видання (58) | Реферативна база даних (353) |
Пошуковий запит: (<.>U=З973-018.2$<.>) | |||
|
Загальна кількість знайдених документів : 5 Представлено документи з 1 до 5 |
|||
| 1. | Вінник В.Ю. Еталонні моделі символьної обробки : Автореф. дис... канд. фіз.-мат. наук: 01.05.03. — К., 2003. — 22 с. — укp. Рубрики: | ||
| 2. | Паскевич А.Ю. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти : Автореф. дис... канд. фіз.-мат. наук: 01.05.01. — К., 2005. — 20 с. — укp. Рубрики: | ||
| 3. | Мейтус В.Ю. Категорні методи в теорії мовних перетворювачів : автореф. дис... д-ра фіз.-мат. наук: 01.05.03. — К., 2008. — 27 с. — укp. Рубрики: | ||
| 4. | Поляков С. А. Композиційна семантика ядра SQL-подібних мов : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03. — К., 2011. — 20 с.: табл. — укp. Рубрики: | ||
| 5. | Лялецький О.О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень : автореф. дис... канд. фіз.-мат. наук: 01.05.01. — К., 2009. — 16 с. — укp. Рубрики: | ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |