Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Автореферати дисертацій - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (66) | Журнали та продовжувані видання (6) | Реферативна база даних (367) |
Пошуковий запит: (<.>U=З973-018<.>) | |||
|
Загальна кількість знайдених документів : 4 Представлено документи з 1 до 4 |
|||
| 1. | Карнаух Т.О. Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень : Автореф. дис... канд. фіз.-мат. наук: 01.01.08. — К., 2005. — 16 с. — укp. Рубрики: | ||
| 2. | Крамар Ю.М. Методи та інформаційно-програмні засоби синтезу та аналізу стилів програмування : Автореф. дис... канд. техн. наук: 05.13.06. — К., 2005. — 19 с.: рис. — укp. Рубрики: | ||
| 3. | Шкільняк С. С. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01. — К., 2010. — 32 с. — укp. Рубрики: | ||
| 4. | Редько І.В. Теорія дескриптивних середовищ та її застосування : автореф. дис... д-ра фіз.-мат. наук: 01.05.03. — К., 2008. — 32 с. — укp. Рубрики: | ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |