Пошуковий запит: (<.>U=З973-01$<.>) |
Загальна кількість знайдених документів : 75
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Тищенко С.І. Інтегрування змісту математичних і спеціальних дисциплін у професійній підготовці молодших спеціалістів з програмування: автореф. дис... канд. пед. наук: 13.00.04 / С.І. Тищенко ; АПН України, Ін-т пед. освіти і освіти дорослих. — К., 2009. — 20 с. — укp.Досліджено проблему застосування інегративного підходу до вивчення математики та спеціальних дисциплін у процесі професійної підготовки молодших спеціалістів з програмування. На підставі визначення компонентів змісту математичної та професійної підготовки та обгрунтування їх взаємодії визначено педагогічні умови та розроблено методику інтегрування змісту математичних і спеціальних дисциплін у процесі професійної підготовки молодших спеціалістів з програмування. Доведено, що інтеграція математичних і спеціальних дисциплін є ефективною за умов коригування професійно спрямованих знань з математики, використання математичного компонента у вивченні спеціальних дисциплін, застосування інтеграційного підходу до організації самостійної роботи студентів. Доведено позитивний вплив нової методики інтегрування змісту математичних і спеціальних дисциплін у професійній підготовці молодших спеціалістів з програмування на успішність і творчий розвиток майбутніх техніків-програмістів. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018 р2 + Шифр НБУВ: РА363469
Рубрики:
|
|
| | |
|
2. |
Ляхов О.Л. Інтелектуалізація розв'язування наукових і прикладних задач на основі методів комп'ютерної алгебри: Автореф. дис... д-ра техн. наук: 01.05.03 / О.Л. Ляхов ; НАН України. Ін-т проблем мат. машин і систем. — К., 2004. — 35 с.: рис. — укp.Створено теоретичні й прикладні основи інтелектуалізації розв'язування складних наукових та прикладних задач. Проведено аналіз сучасних проблем застосування числово-аналітичних методів, визначено клас "складних задач комп'ютерної алгебри". Встановлено можливість розв'язання даної проблеми шляхом інтелектуалізації програмного забезпечення (ПЗ) мовами на аналітичній основі. Запропоновано теоретико-множинну модель задачі та доведено існування такої мови. Обгрунтовано та розроблено основні структури даних, базисні процедури вхідних мов системи комп'ютерної алгебри (СКА) нового покоління для інтелектуалізації ПЗ складних задач. Одержані результати використано в процесі створення нової мови сім'ї АНАЛІТИК - АНАЛІТИК 2 000 і апробовано на реальних прикладних задачах, складних за своїми характеристиками: розроблено їх аналітичні моделі, методи розв'язування, алгоритми та ПЗ, систематизовано стилі програмування. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.121 + Шифр НБУВ: РА329746
Рубрики:
|
|
| | |
|
3. |
Лещинська О.Л. Інтелектуальні методи синтезу семантичних моделей програм: автореф. дис... канд. техн. наук: 05.13.23 / О.Л. Лещинська ; Харк. нац. ун-т радіоелектрон. — Х., 2009. — 19 с. — укp.Розроблено інтелектуальні методи синтезу семантичних моделей програм, шо дозволяють скоротити час розробки програмного забезпечення. Вдосконалено модель, яка формалізує семантику комп'ютерних програм та передбачає врахування семантичних анотацій елементів таких моделей. Зазначено, що семантична анотація формалізує призначення анотованих елементів, вимоги до їх поведінки та рекомендації щодо їх використання у різних контекстах, що дозволяє синтезувати запропоновані семантичні моделі програм на базі анотацій їх елементів і перевіряти здійсненість побудованої моделі. Уперше запропоновано інтелектуальний метод синтезу семантичних моделей програм. Розвинуто метод перевірки здійсненості формальної моделі програми. Вдосконалено метод семантико-синтаксичного аналізу формальної мови на базі її багатокомпонентної моделі. Запропоновано проводити навчання системи синтезу семантичних моделей програм на базі вдосконаленого методу машинного навчання з підкріпленням. Запропоновані методи та моделі реалізовано у вигляді модулів прототипу інтелектуальної системи синтезу семантичних моделей програм. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.11 + Шифр НБУВ: РА365273
Рубрики:
|
|
| | |
|
4. |
Гуца О.М. Інтерактивна модель перекладу технічних завдань у систему булевих формул: Автореф. дис... канд. техн. наук: 01.05.02 / О.М. Гуца ; Харк. нац. ун-т радіоелектрон. — Х., 2002. — 19 с.: рис. — укp.Розвинуто концептуально-технологічний підхід до подання результатів дослідження в межах даного підходу.. Вперше реалізовано та описано у природно-мовній та програмній формах алгоритм переходу від мови-посередника (умовних секвенцій) до системи булевих формул. Розв'язано варіант аналогічної задачі для автоматів управління з зосередженою пам'яттю. Поставлено та розв'язано задачу оптимізації системи умовних секвенцій (СУС) за умов обмежень з використанням принципу еквівалентування. Розроблено метод верифікації СУС. Скачати повний текст
Індекс рубрикатора НБУВ: В123 + З973-018.022.1 Шифр НБУВ: РА321007
Рубрики:
|
|
| | |
|
5. |
Петрик В. Л. Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі: автореф. дис. ... канд. техн. наук : 05.13.06 / В. Л. Петрик ; "Харківський авіаційний ін-т", національний аерокосмічний ун-т ім. М.Є.Жуковського . — Х., 2009. — 19 с. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: З965.984-018.1 + З973-018.10 Шифр НБУВ: РА369498 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
6. |
Лисенко С. М. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм: автореф. дис. ... канд. техн. наук : 05.13.06 / С. М. Лисенко ; Терноп. нац. екон. ун-т. — Т., 2010. — 20 с.: a-рис. — укp.Розглянуто питання створення адаптивної інформаційної технології для підвищення достовірності й ефективності діагностування комп'ютерних систем на наявність троянських програм. У ході дослідження виявлено недоліки роботи інформаційних технологій і засобів діагностування комп'ютерних систем на наявність троянських програм. Запропоновано поведінкову модель троянських програм, яка формалізує особливості функціонування цих програм у комп'ютерних системах, та модель процесу діагностування комп'ютерних систем на наявність троянських програм, яка дозволяє здійснювати діагностування з високою достовірністю. Розроблено метод побудови захищених послідовностей і генерації детекторів на базі штучних імунних систем, що дозволяє визначити факт заміни файлів троянськими версіями у процесі діагностування комп'ютерних систем у режимі сканера. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.025 Шифр НБУВ: РА377687 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
7. |
Омельчук Л.Л. Аксіоматичні системи специфікацій програм над номінативними даними: Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Л.Л. Омельчук ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 17 с. — укp.На підставі композиційно-номінативного підходу побудовано та досліджено імперативні й декларативні моделі недетермінованих програм. Встановлено, що семантика даних програм задається частковими багатозначними функціями (бінарними відношеннями) над номінативними даними. Визначено повний клас натурально обчислюваних функцій даного типу та наведено його алгебраїчне подання. Визначено спеціальний вид обчислюваності - номінативну обчислюваність, що дозволяє адекватно визначити повний клас обчислюваних функцій над номінативними даними й орієнтована на функції та композиції, близькі до програмних. Побудовано аксіоматичну теорію номінативних даних, яка спроможна специфікувати усі номінативно обчислювані функції. Побудовано прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними. Продемонстровано його властивість доводити деякі властивості програм. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.022 + Шифр НБУВ: РА349925
Рубрики:
|
|
| | |
|
8. |
Семеріков С.О. Активізація пізнавальної діяльності студентів при вивченні чисельних методів у об'єктно-орієнтованій технології програмування: Автореф. дис... канд. пед. наук: 13.00.02 / С.О. Семеріков ; Нац. пед. ун-т ім. М.П.Драгоманова. — К., 2001. — 20 с. — укp.Обгрунтовано можливість активізації пізнавальної діяльності студентів у процесі вивчення числових методів із застосуванням об'єктно-орієнтованих бібліотек математичних, алгоритмічних і проблемних класів. Розроблено методику вивчення курсу "Числові методи" на фізико-математичних факультетах педагогічних і програмуючих спеціальностях технічних вузів. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.022.02 + Ч481.22 Шифр НБУВ: РА314104 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
9. |
Потієнко С.В. Алгебраїчні методи верифікації асинхронних паралельних систем: автореф. дис... канд. фіз.-мат. наук: 01.05.03 / С.В. Потієнко ; Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2009. — 16 с. — укp.Розроблено методи для статичної перевірки певних властивостей формальних моделей, а саме: несуперечливості, повноти та цілісності. Розглянуто проблему досяжності заданих станів системи та запропоновано статичні методи для її розв'язання. Побудовано алгоритм фільтрації станів на підставі статичного аналізу моделі та метод побудови абстрактних поведінок моделі для спрямованого пошуку. Розглянуто задачу здійснення переходу системи від одного класу символьних станів до наступного під дією заданого базового протоколу. Така трансформація виконується за допомогою предикатних перетворювачів. Побудовано алгоритми прямого та зворотного предикатних перетворювачів для числових і символьних типів даних, функціональних типів, масивів та списочних типів даних. Розроблено алгоритми трансляції певних підмножин MSC, SDL і UML в мову базових протоколів з метою подальшої автоматичної верифікації. Підмножини цих мов було виділено з урахуванням практичної необхідності у застосованих індустріальних проектах. Запропоновано деякі розширення обраних мов для застосування методів верифікації повною мірою. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.025 + Шифр НБУВ: РА364117
Рубрики:
|
|
| | |
|
10. |
Ревенчук І.А. Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів: Автореф. дис... канд. техн. наук: 01.05.03 / І.А. Ревенчук ; Харк. держ. техн. ун-т радіоелектрон.. — Х., 2001. — 19 с. — укp.Розроблено алгебро-логічні методи опису арифметичних відношень, застосовані для створення раціональних структур обчислювачів. Застосовано нові алгебро-логічні методи опису алгебричних виразів m-розрядних двійкових кодів із застосуванням систем рівнянь алгебри скінченних предикатів, що дало підставу для створення арифметичних пристроїв просторового типу. На базі отриманих методів створено бібліотеку часткових алгоритмів, яка використовується для раціональних структур обчислювачів. На базі розроблених методів та алгоритмів створено і впроваджено комп'ютерний варіант довідкової програми з інтелектуальних систем. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.12 Шифр НБУВ: РА312554 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
11. |
Семчишин Л. М. Алгоритми комп'ютерної алгебри для розв'язання матричних рівнянь: автореф. дис. ... канд. фіз.-мат. наук : 01.05.02 / Л. М. Семчишин ; Чернів. нац. ун-т ім. Ю. Федьковича. — Чернівці, 2011. — 18 с. — укp.Запропоновано ефективні алгоритми розв'язування систем лінійних алгебричних рівнянь (СЛАР) з lambda - матрицями в моделі Леонтьєва. Розроблено схему зведення СЛАР динамічного варіанта моделі Леонтьєва з lambda - матрицями від багатьох змінних до систем з числовими коефіцієнтами спеціального вигляду. Проведено зворотний аналіз похибок заокруглення й аналіз обчислювальної стійкості запропонованих алгоритмів. Розроблено новий підхід до розв'язування кліткових алгоритмів для СЛАР з блочними елементами в моделях Леонтьєва та систем лінійних алгебричних рівнянь з m -вимірними lambda-матрицями в моделі Леонтьева. Засобами програмного забезпечення MatLab створено набір інструментальних алгоритмів для комп'ютерної реалізації динамічних міжгалузевих моделей. Проведено обчислювальні експерименти, які підтверджують ефективність запропонованих обчислювальних схем. Скачати повний текст
Індекс рубрикатора НБУВ: В192.161.11,0 + З973-018.121 Шифр НБУВ: РА381537 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
12. |
Матвєєва Л.Є. Аналіз та верифікація MSC-систем за допомогою мереж Петрі: Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Л.Є. Матвєєва ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2005. — 17 с. — укp.Уперше побудовано алгортим перекладу опису проектованої системи мовою MSC2000 у мережі Петрі та доведено його коректність за допомогою алгебри процесів, а саме - бісмуляційну еквівалентність вхідних MSC діаграм і синтезованої за цими діаграмами мережі Петрі. За цього визначено формальну семантику базового елемента мови MSC2000-<умова>(condition). Розроблено й обгрунтовано оригінальні алгоритми аналізу та верифікації формальної моделі у вигляді мережі Петрі, що використовують метод TSS розв'язання систем лінійних однорідних і неоднорідних діафантових рівнянь над множиною натуральних чисел, а саме: алгоритм верифікації певних властивостей мереж Петрі, зокрема, (структурної обмеженості), L3-живості, досяжності, наявності дедлоків; алгортим побудови S- і T-варіантів мережі Петрі; алгоритм пошуку пасток і тупиків асиметричної мережі Петрі. Рекомендовано здійснювати аналіз зменшеної складності її динамічних властивостей, який має проводитися за допомогою розв'язання рівняння стану. Уперше запропоновано визначення інваріантності властивостей базової моделі як мережі Петрі, яке використовується для створення оригінальної методики пошуку конфліктів функціональностей проектованої системи. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.025 + Шифр НБУВ: РА340028
Рубрики:
|
|
| | |
|
13. |
Вільчінська О.С. Багаторівнева інтелектуальна скрізна модель створення програмного забезпечення: Автореф. дис... канд. техн. наук: 01.05.04 / О.С. Вільчінська ; Харк. держ. техн. ун-т радіоелектрон. — Х., 2001. — 19 с. — укp.Розглянуто питання розробки багаторівневої інтелектуальної скрізної моделі створення програмного забезпечення, що являє собою зворотний ітеративний процес, який дозволяє колективу розробників приймати оптимальні рішення в процесі роботи. Наведені моделі та алгоритми забезпечують цілісність і оптимальність процесу розробки програмного забезпечення. Запропоновано розв'язки задач формального опису даного процесу та вибору найкращого варіанта проекту. Розроблено модель уніфікованого життєвого циклу програмного забезпечення, що залежить від параметра часу та критеріїв оптимальності проекту. Вперше введено методологію MIXER, орієнтовану на інтелектуальну підтримку CASE-засобу. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.11 + З810.416 Шифр НБУВ: РА312976 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
14. |
Летичевський О.О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів: Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / О.О. Летичевський ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2005. — 14 с. — укp.Розглянуто методи роботи з вимогами, що складають технологію, яка є складовою частиною процесу створення програмних систем з великою кількістю станів. Висвітлено п'ять складових частин цієї технології: формалізацію вимог у вигляді базових протоколів, пошук суперечливостей та неповноти, генерацію тестових наборів з множини вимог, синтез та аналіз динамічних властивостей моделі. Вимоги до інтерактивних систем представлено у вигляді формальних специфікацій - базових протоколів. Визначено клас базових протоколів, для якого задачі технології вирішуються без експонентного вибуху. За допомогою формалізму побудовано алгоритми верифікації базових протоколів з використанням машини доведення, а також синтез моделі за базовими протоколами. На основі методів символьного моделювання розглянуто різні критерії генерації тестів та їх застосування до генерації тестів за специфікаціями, записаними сучасними інженерними мовами - MSC, SDL, UML. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.025 + Шифр НБУВ: РА340360
Рубрики:
|
|
| | |
|
15. |
Баран І.О. Високоточні обчислювальні алгоритми та система автоматизованого розрахунку дифузійних процесів в багатокомпонентних середовищах: Автореф. дис. канд. техн. наук: 01.05.02 / І.О. Баран ; Терноп. держ. техн. ун-т ім. І.Пулюя. — Т., 2003. — 20 с. — укp.Побудовано та досліджено нові математичні моделі (для одно- та двовимірного випадків) стаціонарних процесів дифузії та фільтрації рідини в анізотропних областях складної конфігурації, які містять довільно орієнтовані в просторі тонкі включення/тріщини. Запропоновано нові класичні еквівалентні узагальнені задачі, які визначені на класах розривних функцій, в основних ортогональних системах координат (декартовій, циліндричній, полярній), доведено теореми існування та єдиності узагальнених розв'язків отриманих задач. Розроблено високоточні обчислювальні алгоритми методу скінчених елементів (МСЕ) для числового розв'язування змішаних крайових задач з умовами спряження неідеального контакту та створено на їх основі ефективну діалогову систему автоматизованого розрахунку дифузійних процесів в багатокомпонентних середовищах. Одержано оцінки похибок наближених розв'язків. Побудовано нову варіаційну задачу з єдиним узагальненим розв'язком про формування температурного поля у вузлі тертя. На основі об'єктно-орієнтованого програмування та розроблених високоточних обчилювальних алгоритмів МСЕ створено та програмно реалізовано автоматизовану систему DIFUS діалогового моделювання задач з умовами спряження. За допомогою системи DIFUS розв'язано модельні приклади та практичні задачі. Скачати повний текст
Індекс рубрикатора НБУВ: В192.12 с51 + З973-018.121 + Шифр НБУВ: РА327948
Рубрики:
|
|
| | |
|
16. |
Пелєга Є. В. Державне управління ринком програмного забезпечення в Україні: автореф. дис. ... канд. наук з держ. упр. : 25.00.02 / Є. В. Пелєга ; Донец. держ. ун-т упр. — Донецьк, 2010. — 20 с. — укp.Розглянуто особливості та недоліки українського законодавства, які регулюють розробку та використання програмного забезпечення. Запропоновано систему державних стандартів визначення якості програмного забезпечення та методик управління проектами його розробки. Досліджено механізм державної сертифікації системи контролю якості розробки програмного забезпечення на підприємствах. Надано зміни щодо законодавства України для підвищення ефективності захисту національних розробників даного забезпечення. Проаналізовано моделі розповсюдження програмного забезпечення. Визначено переваги використання моделі даного забезпечення з відкритим кодом для програмних продуктів. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.1 + У9(4УКР)390 Шифр НБУВ: РА372859 Пошук видання у каталогах НБУВ
Рубрики:
Географічні рубрики:
|
|
| | |
|
17. |
Чеботарьов А.М. Доказове проектування алгоритмів функціонування реактивних систем: Автореф. дис... д-ра техн. наук: 05.13.13 / А.М. Чеботарьов ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2002. — 32 с. — укp.Розроблено теоретично обгрунтований підхід до побудови синтаксису та семантики мов специфікацій, який дає змогу розробити ефективні процедури проектування. Запропоновано семантику використовуваних мов специфікацій та враховано специфіку предметної області, що дозволяє удосконалити резолюційні методи перевірки несуперечності специфікацій, що суттєво підвищує їх ефективність. Сфомульовано проблему аналізу коректності взаємодії двох процесів та розроблено математичний апарат, з використанням якого одержано більш прості та ефективні методи її розв'язання у порівнянні з використовуваними методами на основі теоретико-ігрового підходу. На базі доведеної теореми про специфікацію побудовано методи синтезу автоматів, суттєво більш ефективних, ніж метод семантичного табло. В області верифікації алгоритмів запропоновано метод синтезу автомата-розпізнавача за формулою лінійної темпоральної логіки, який дає значно кращі результати за кількістю станів автомата у порівнянні з іншими методами. Розроблено метод редукції алгоритму, що верифікується. У процесі розв'язання задач доказового проектування реактивних алгоритмів одержано нові результати в теорії автоматів над нескінченними послідовностями. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.023 + Шифр НБУВ: РА321364
Рубрики:
|
|
| | |
|
18. |
Шкільняк О. С. Дослідження композиційно-номінативних модальних та темпоральних логік: автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / О. С. Шкільняк ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 19 с. — укp.Запропоновано спеціальне уточнення поняття композиційно-номінативної модальної системи, виділено транзиційні та темпоральні модальні системи. Описано мови, а також семантичні властивості загальних транзиційних і темпоральних композиційно-номінативних логік реномінативного та першопорядкових рівнів. Для логік функціонально-екваційного рівня виділено функціонально стабільні модальні системи. Запропоновано відношення логічного наслідку для множин специфікованих станами формул. Для загальних транзиційних і для темпоральних логік різних рівнів побудовано числення секвенційного типу, які базуються на реляційних семантичних моделях цих логік. Залежно від властивостей відношення досяжності на станах світу одержало різні типи таких числень. Для побудованих числень доведено теореми коректності та повноти. Скачати повний текст
Індекс рубрикатора НБУВ: В128.1,0 + З973-018.02 Шифр НБУВ: РА379498 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
19. |
Канаєва Н.М. Дослідження локальних алгоритмів розв'язання блочних задач булевого програмування: Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Н.М. Канаєва ; Дніпропетр. держ. ун-т. — Д., 2000. — 16 с. — укp.Визначено оцінки обчислювальної складності локального алгоритму (ЛА) під час розв'язання двоблочних та двоквазіблочних задач дискретного програмування (ДП) з додатковими обмеженнями багаторазового вибору. Досліджено класи задач дискретного програмування з блочною структурою, що ефективно розв'язуються шляхом ЛА, типову поведінку ЛА на різних класах блочних задач на підставі аналізу асимптотичних середніх. Доведено, що ЛА є досить ефективним, порівняно з існуючими алгоритмами ДП, алгоритмом з квазіекспоненційною оцінкою обчислювальної складності. Визначено блочні та квазіблочні структури, що відповідають найкращому та найгіршому застосуванню ЛА. Скачати повний текст
Індекс рубрикатора НБУВ: В173.112,022 + З973-018.011,022 Шифр НБУВ: РА308845 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
20. |
Шинкаренко В. І. Експериментальні методи оцінки часової та функціональної ефективності алгоритмів у програмно-апаратних середовищах: автореф. дис. ... д-ра техн. наук : 01.05.03 / В. І. Шинкаренко ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2010. — 33 с. — укp.Вирішено важливу науково-практичну проблему зі створення основ експериментальних досліджень алгоритмів, підвищення ефективності процесів алгоритмізації програмного забезпечення, що функціонує в сучасних програмно-апаратних середовищах масового використання з неявним розпаралелюванням обчислень і кешуванням даних. Запропоновано показники часової та функціональної ефективності алгоритмів, вони застосовані для дослідження малих і великих алгоритмів, вирішення задач альтернативної та структурної адаптації алгоритмів. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.11 Шифр НБУВ: РА377395 Пошук видання у каталогах НБУВ
Рубрики:
|
| |