Пошуковий запит: <.>S=Комп'ютерна наука і технологія -- Програмне забезпечення -- Мови програмування<.> |
Загальна кількість знайдених документів : 17
Показані документи с 1 за 17 |
1. 
| 004.4'242
Г 540
Глибовец, Н. Н.
Упрощенная инфраструктура для трансформации XML-моделей [Текст] / Н. Н. Глибовец, В. М. Федорченко // Кибернетика и системный анализ. - 2010. - Т. 46, № 1. - С. 105-110. - Библиогр. в конце ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Засоби розробки програмного забезпечення
Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Дод.точки доступу:
Федорченко, В. М.
Є примірники у відділах:
Зал період. - Б.ц. (вільний)
Знайти схожі
|
2.
| 681.5:004.4
Г 540
Глибовец, Н. Н.
Расширение языка SCALA средствами параллелизма и распределенности с помощью координационной системы LINDA [Текст] / Н. Н. Глибовец, С. С. Гороховский, М. С. Стукало // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 117-122. - Библиогр. в конце ст.
Рубрики: Автоматика, техніка автоматичного керування і контролю--Інформаційні системи в автоматичному керуванні
Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Дод.точки доступу:
Гороховский, С. С.; Стукало, М. С.
Знайти схожі
|
3.
| 004
Д 679
Дончев, І. Н.
Оперіції з об'єктами й комунікаціями між об'єктами у навчанні об'єкто-орієнтованому програмуванню [Текст] / І. Н. Дончев, Е. С. Тодорова // Вісник Вінницького політехнічного інституту. - 2009. - № 1. - С. 98-101. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Освіта--Інформаційні технології
Дод.точки доступу:
Тодорова, Е. С.
Знайти схожі
|
4.
| 004.4
П 371
Плаксій, Я. І.
Поглиблення рівня знань студентів з інформатики засобами мови Delphi у процесі роботи з системною інформацією комп'ютера [Текст] / Я. І. Плаксій // Вісник Вінницького політехнічного інституту. - 2009. - № 5. - С. 157-161. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Інформатика--Вища школа
Знайти схожі
|
5.
| 004.42
Л 135
Лавренюк, А. М.
Один підхід до вирішення проблеми універсального використання мови програмування OpenCL на різних GPU [Текст] / А. М. Лавренюк, С. І. Лавренюк // Проблеми програмування. - 2012. - № 2/3. - С. 77-84. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Дод.точки доступу:
Лавренюк, С. І.
Знайти схожі
|
6.
| 004.4
Т 415
Тимофеев, В. Г.
Задача проверки Т-выполнимости для логического языка VL1 системы VRS [Текст] / В. Г. Тимофеев // Проблеми програмування. - 2012. - № 2/3. - С. 251-259. - Библиогр. в конце ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Математика--Математична логіка
Знайти схожі
|
7.
| 004.4
Д 696
Дорошенко, А. Ю.
Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил [Текст] / А. Ю. Дорошенко, К. А. Жереб, Є. М. Туліка // Проблеми програмування. - 2012. - № 2/3. - С. 388-397. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Дод.точки доступу:
Жереб, К. А.; Туліка, Є. М.
Знайти схожі
|
8.
|
Тимофеев, В. Г.
Усовершенствованный метод синтеза автомата по его спецификации в языке L [Текст] / В. Г. Тимофеев // Кибернетика и системный анализ. - 2011. - Т. 47, № 3. - С. 3-14. - Библиогр. в конце ст.
Рубрики: Математика--Математична кібернетика--Теорія керуючих систем
Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Знайти схожі
|
9.
|
Мелащенко, А. О.
Внедрение XBRL как междунродного стандарта организации фискальной отчетности в Украине [Текст] / А. О. Мелащенко // Проблемы управления и информатики. - 2011. - № 5. - С. 146-155. - Библиогр. в конце ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Фінансова звітність--Бугалтерський облік--Україна
Знайти схожі
|
10.
|
Чеботарев, А. Н.
Согласование спецификаций автоматов, представленных в языке L [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. - 2016. - Т. 52, № 3. - С. 3-15. - Библиогр. в конце ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Математика--Математична кібернетика--Теорія керуючих систем
Знайти схожі
|
11.
|
Кургаев, А. Ф.
Интерпретатор универсальной машины Тьюринга [Текст] / А. Ф. Кургаев, С. Н. Григорьев // Доповіді Національної академії наук України. - 2016. - № 10. - С. 28-34. - Библиогр. в конце ст.
Рубрики: Математика--Математична кібернетика--Теорія керуючих систем
Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Математика--Дослідження операцій--Математичне програмування
Кл.слова (ненормовані):
Метаязык -- База знаний -- Форма знаний -- Язык формальный
Анотація: На прикладі інтерпретатора універсальної машини Тьюрінга доведено достатність виразних можливостей метамови нормальних форм знань для постановки та розв'язку довільного завдання, для якого є розв'язок, і отже, універсальність машини, що реалізує цю мову. Дано формальний текстовий та графічний опис інтерпретатора.
Дод.точки доступу:
Григорьев, С. Н.
Знайти схожі
|
12.
|
Вельбицкий, И. В.
Интеллектуальная визуальная 3D+ полиглот-концепция программирования без языков программирования [Текст] / И. В. Вельбицкий // Системні дослідження та інформаційні технології. - 2017. - № 3. - С. 88-106. - Библиогр. в конце ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Знайти схожі
|
13.
|
Кургаев, А. Ф.
Новое определение языка веб-онтологий OWL2 [Текст] / А. Ф. Кургаев // Доповіді Національної академії наук України. - 2018. - № 3. - С. 22-35. - Библиогр. в конце ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Комп'ютерна наука і технологія--Дані--Системи управління базами даних
Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань
Кл.слова (ненормовані):
Синтаксис -- Метаязык -- Форма знаний
Анотація: Дано у метамові нормальних форм знань (НФЗ) описи манчестерського синтаксису й синтаксису функціонального стилю мови веб-онтологій OWL2 - центральної мови семантичного стека Тіма Бернерс-Лі.
Знайти схожі
|
14.
|
Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью [Текст] / В. О. Ларин, О. В. Бантыш, А. В. Галкин // Кибернетика и системный анализ. - 2018. - Т. 54, № 5. - С. 170-180. - Библиогр. в конце ст.
Рубрики: Математика--Дослідження операцій--Математичне програмування
Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Дод.точки доступу:
Ларин, В. О.; Бантыш, О. В.; Галкин, А. В.
Знайти схожі
|
15.
|
Гайдук, С. С.
Pyton у навчанні програмуванню [Текст] / С. С. Гайдук // Вісник Київського інституту бізнесу та технологій. - 2018. - № 2. - С. 27-28. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Програмування--Практика
Вища освіта--Професійна підготовка
Знайти схожі
|
16.
| 061
Л 891
Ярошко, Сергій.
Використання механізму подій С#.NET для створення компонента Windows Forms [Текст] / Сергій Ярошко, Світлана Ярошко // Вісник Львівського університету. Серія : Прикладна математика та інформатика. - Львів : Вид-во Львів. нац. ун-ту ім. І. Франка, 2018. - Вип. 26. - С. 145-154. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Дод.точки доступу:
Ярошко, Світлана
Є примірники у відділах:
1 Інв.Б 571790 - Б.ц. (вільний)
Знайти схожі
|
17.
| 061
Л 890
Ярошко, Ср.
Побудова багатопотокових програм засобами платформи .NET [Текст] / Ср. Ярошко, Св. Ярошко // Вісник Львівського університету. Серія : Прикладна математика та інформатика. - Львів : Вид-во Львів. нац. ун-ту ім. І. Франка, 2019. - Вип. 27. - С. 154-165. - Бібліогр. в кінці ст.
Рубрики: Математика--Дослідження операцій--Математичне програмування
Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування
Дод.точки доступу:
Ярошко, Св.
Є примірники у відділах:
1 Інв.Б 574106 - Б.ц. (вільний)
Знайти схожі
|
|
|
Головна
Книги
Стандартний