Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.022<.>) |
Загальна кількість знайдених документів : 12
Представлено документи з 1 до 12
|
1. | ДС59229 Єршов, Сергій Володимирович. Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р-схем [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Єршов Сергій Володимирович ; НАН України, Міжнар. наук. центр технології програмування ТЕХНОСОФТ. - К., 1998. - 163 л. - Бібліогр.: . 152-163.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; "ТЕХНОСОФТ", міжнародний науковий центр технології программування (Київ)
Видання зберігається у :
Основний фонд
| 2. | ДС98250 Омельчук, Людмила Леонідівна. Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 142 арк.: рис. - арк. 125-134Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 3. | РА349925 Омельчук, Людмила Леонідівна. Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 17 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 4. | РА302266 Єршов, Сергій Володимирович. Методи і засоби візуального об'єктно-орієнтованого проектування програмних систем на основі контурних Р- схем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Єршов Сергій Володимирович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1998. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| 5. | ВА568794 Филд, Антони. Функциональное программирование [Текст] / А. Филд, П. Харрисон ; пер. М. В. Горбатова [и др.]. - М. : Мир, 1993. - 637 с.:ил. - ISBN 5-03-001870-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харрисон, Петер; Горбатова, М. В. (пер.); (пер. с англ.)
Видання зберігається у :
Основний фонд
| 6. | ВА578557 Чеппел, Дэвид. Технологии ActiveX и OLE [Текст] / Д. Чеппел. - М. : Русская редакция, 1997. - 301 с. - (Стратегия программирования). - ISBN 5-7502-0029-9Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 7. | ВА580140 Набебин, Алексей Александрович. Логика и пролог в дискретной математике [Текст] / А. А. Набебин. - М. : Изд-во МЭИ, 1996. - 452 с.:ил. - ISBN 5-7046-0162-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| 8. | Р92157 Горская, Е. А.. Моделирование сложных информационных систем на основе конечных автоматов [Текст] / Е. А. Горская, В. Н. Самойлов. - Дубна : [б.и.], 2000. - 16 с. - (Препр. / Объединенный ин-т ядерных исследований ; р10-2000-188). - Библиогр.: с. 15-16 Направлено в журнал "Автоматизация проектирования"Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Самойлов, В. Н; Объединенный институт ядерных исследований
Видання зберігається у :
| 9. | ВА684810 Лаврищева, Екатерина Михайловна. Методы программирования: теория, инженерия, практика [Текст] / Е. М. Лаврищева ; НАН Украины, Ин-т програм. систем. - К. : Наукова думка, 2006. - 452 с.: ил. - Библиогр.: с. 426-444. - ISBN 978-966-00-0614-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт программных систем (Киев)
Видання зберігається у :
Основний фонд
| 10. | MFI2756/1-2-3 Brandis, Marc. Optimizing compilers for structural programming languages [Text] : diss. / M. Brandis ; Swiss Federal Institute of technology Zürich. - Zürich : [б.в.], 1995. - 221 p.: fig. - (Diss ETH ; 11024) 3 mfisheРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Swiss Federal Institute of technology Zürich
Видання зберігається у :
| 11. | ІВ194398 Stair, Ralph M. Basic programming for personal computers [Text] : with structured programming, applications, and cases / R. M. Stair. - Homewood, Illinois : [б.в.] ; Boston, MA : Irwin, 1989. - XVII, 582 p. - ISBN 0-256-06071-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| 12. | ВС60502 C# 5.0 и платформа .NET 4.5 для профессионалов [Текст] / Кристиан Нейгел [и др.] ; [пер. с англ. и ред. Ю. Н. Артеменко]. - М. ; СПб. ; Киев : Диалектика : Вильямс, 2014. - 1435 с. : рис., табл. - Дод. тит. арк. англ. - 1500 прим. - ISBN 978-5-8459-1850-5 (рус.). - ISBN 978-1-1183-1442-5 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Нейгел, Кристиан; Ивьен, Билл; Глинн, Джей; Уотсон, Карли; Скиннер, Морган; Артеменко, Ю. Н. (пер., ред.)
Видання зберігається у :
Універсальний підсобний фонд
|
|
|