Н 355 Дацко, М. В. Застосування методу декомпозиції для розв'язування задач математичного програмування із нелінійними обмеженнями [Текст] / М. В. Дацко, О. М. Ланьош> // Науковий вісник Національного лісотехнічного університету України : зб. наук.-техн. пр. - Львів, 2008. - Вип. 18.8. - С. 263-267. - Бібліогр. в кінці ст.
Дод.точки доступу: Ланьош, О. М. Є примірники у відділах: 1 Інв.А 413240 - Б.ц. (вільний) |
Л 890 Шекета, В. Побудова формальної моделі модифікаційних предикатних запитів в рамках категорійної дедукції [Текст] / В. Шекета> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2004. - № 521: Комп'ютерні науки та інформаційні технології. - С. 112-120. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Є примірники у відділах: 1 Інв.В 71705 - Б.ц. (вільний) |
Т 338 Харів, А. Оптимальний вибір мови програмування для розробки моделювання динамічних систем [Текст] / А. Харів, І. Хвищун, М. Баран> // Теоретична електротехніка : зб. наук. пр. - Львів : ЛНУ ім. І. Франка, 2009. - Вип. 60. - С. 39-44. - Бібліогр. в кінці ст.
Комп'ютерна наука та технологія--Програмування--Мови програмування Дод.точки доступу: Хвищун, І.; Баран, М. Є примірники у відділах: 1 Інв.Б 522542 - Б.ц. (вільний) |
Ч 492 Макаров, В. В. Вычисление логарифма при поразрядном вводе и выводе информации [Текст] / В. В. Макаров, В. В. Жабина> // Науковий вісник Чернівецького університету : зб. наук. пр. - Чернівці : Рута, 2008. - Вип. 423: Фізика. Електроніка = Темат. вип. "Комп'ютерні системи та компоненти", Ч. 1. - С. 14-18. - Библиогр. в конце ст.
Математика--Дослідження операцій--Математичне програмування Дод.точки доступу: Жабина, В. В. Є примірники у відділах: 1 Інв.В 71241 - Б.ц. (вільний) |
Н 354 Ткаченко, О. М. Визначення допустимих суміжних шаблонів у шаблонно-просторовій системі [Текст] / О. М. Ткаченко> // Науковий вісник Національного університету біоресурсів і природокористування України. - К., 2011. - Вип. 166, Ч. 3 : Техніка та енергетика АПК. - С. 183-188. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Кл.слова (ненормовані): Контент -- Web 2.0 Є примірники у відділах: 1 Інв.А 417538 (вільний) |
К 388 Джалладова, І. А. Метод оптимізації системи лінійних стохастичних диференціальних рівнянь [Text] / І. А. Джалладова> // Вісник Київського національного університету імені Тараса Шевченка. Серія: Кібернетика. - К. : КНУ ім. Тараса Шевченка, 2012. - Вип. 12. - С. 18-20. - текст ст. англ. мов. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Є примірники у відділах: 1 Інв.В 74307 (вільний) |
К 388 Нікітченко, М. С. Спеціальні секвенційні числення чистих композиційно-номінантних логік першого порядку [Текст] / М. С. Нікітченко, С. С. Шкільняк> // Вісник Київського національного університету імені Тараса Шевченка. Серія: Кібернетика. - К. : КНУ ім. Тараса Шевченка, 2012. - Вип. 12. - С. 38-45. - Бібліогр. в кінці ст.
Комп'ютерна наука та технологія--Програмування--Алгоритми конструювання програм Дод.точки доступу: Шкільняк, С. С. Є примірники у відділах: 1 Інв.В 74307 (вільний) |
К 388 Шкільняк, О. С. Секвенційні числення мультимодальних композиційно-нормативних логік [Текст] / О. С. Шкільняк> // Вісник Київського національного університету імені Тараса Шевченка. Серія: Кібернетика. - К. : КНУ ім. Тараса Шевченка, 2012. - Вип. 12. - С. 55-59. - Бібліогр. в кінці ст.
Комп'ютерна наука та технологія--Програмування--Алгоритми конструювання програм Є примірники у відділах: 1 Інв.В 74307 (вільний) |
К 388 Алмодарс, Б. Підхід для розв'язку транспортної задачі з нечіткими ресурсами [Text] / Б. Алмодарс> // Вісник Київського національного університету імені Тараса Шевченка. Серія: Кібернетика. - К. : КНУ ім. Тараса Шевченка, 2013. - Вип. 1 (13). - С. 12-17. - текст ст. англ. мов. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Кл.слова (ненормовані): Нечітка логіка -- Нечітке програмування -- Оптмильне рішення Є примірники у відділах: 1 Інв.В 74474 - Б.ц. (вільний) |
Л 890 Рицар, Б. Є. Мінімізація системи логікових функцій методом паралельного розчеплення кон'юнктермів [Текст] / Б. Є. Рицар> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2013. - № 766: Радіоелектроніка та телекомунікації. - С. 18-27. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Є примірники у відділах: 1 Інв.В 74623 - Б.ц. (вільний) |
Н 354 Панталієнко, Л. А. Оптимізація дискретних систем за наявності обмежень на функції чутливості [Текст] / Л. А. Панталієнко> // Науковий вісник Національного університету біоресурсів і природокористування України. - К., 2014. - Вип. 194, ч. 3 : Серія "Техніка та енергетика АПК". - С. 291-295. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Є примірники у відділах: 1 Інв.А 422221 - Б.ц. (вільний) |
Л 890 Харченко, О. Стійкість розв'язків задачі оптимізації архітектури програмних систем [Текст] / О. Харченко, І. Боднарчук, І. Галай> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2013. - № 771: Комп'ютерні науки та інформаційні технології. - С. 17-24. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Дод.точки доступу: Боднарчук, І.; Галай, І. Є примірники у відділах: 1 Інв.В 74624 - Б.ц. (вільний) |
Л 890 Литвиненко, В. Метод індуктивного моделювання синтезу кооперативної імунної мережі для задач прогнозування [Text] / В. Литвиненко> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2013. - № 771: Комп'ютерні науки та інформаційні технології. - С. 268-282. - текст ст. англ. мов. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 74624 - Б.ц. (вільний) |
Л 890 Ковалюк, Т. В. Моделі та алгоритми оптимізації у задачах екологічного моніторингу [Текст] / Т. В. Ковалюк, Д. С. Іващенко> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2011. - № 699: Інформаційні системи та мережі. - С. 124-133. - Бібліогр. в кінці ст.
Екологічний моніторинг Математика--Дослідження операцій--Математичне програмування Дод.точки доступу: Іващенко, Д. С. Є примірники у відділах: 1 Інв.В 74622 - Б.ц. (вільний) |
Нікітченко, М. С. Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів [Текст] / М. С. Нікітченко, С. С. Шкільняк> // Вісник Київського національного університету імені Тараса Шевченка. Серія: Кібернетика. - 2015. - Вип. 1 (15). - С. 30-38. - Бібліогр. в кінці ст. Рубрики: Математика--Математична логіка Математика--Дослідження операцій--Математичне програмування Дод.точки доступу: Шкільняк, С. С. |
Л 890 Вовнянка, Р. В. Моделювання поведінки інтелектуального агента на основі стимулюючого навчання [Текст] / Р. В. Вовнянка, О. В. Оборська> // Вісник Національного університету "Львівська політехніка". - Львів : Львівська політехніка, 2014. - № 805: Інформаційні системи та мережі. - С. 61-69. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Математика--Ймовірність, математична статистика--Спеціальні статистичні застосування та моделі Кл.слова (ненормовані): Кінцевий горизонт -- Розподіл Гіттінса -- Процес марковський -- Програмування динамічне Дод.точки доступу: Оборська, О. В. Є примірники у відділах: 1 Інв.В 74996 - Б.ц. (вільний) |
К 388 Івохін, Є. В. Про підхід до розв'язання транспортної задачі з нечіткими ресурсами [Текст] / Є. В. Івохін> // Вісник Київського національного університету імені Тараса Шевченка. Серія: Кібернетика. - К. : КНУ ім. Тараса Шевченка, 2014. - Вип. 1 (14). - С. 17-21. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 75287 - Б.ц. (вільний) |
К 388 Івохін, Е. В. Використання трьохіндексної задачі для вирішення однієї пролеми транспортування нафти [Text] / Е. В. Івохін, Барак Субхі Камл Алмодарс> // Вісник Київського національного університету імені Тараса Шевченка. Серія: Кібернетика. - К. : КНУ ім. Тараса Шевченка, 2014. - Вип. 1 (14). - С. 22-26. - текст ст. англ. мов. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Дод.точки доступу: Алмодарс, Барак Субхі Камл Є примірники у відділах: 1 Інв.В 75287 - Б.ц. (вільний) |
Л 890 Флюнт, О. Вплив розрядності чисел на правильність та точність чисельного розрахунку перехідних діелектричних характеристик [Текст] / О. Флюнт> // Вісник Львівського університету. Серія фізична. - Львів : ЛНУ ім. І. Франка, 2013. - Вип. 48. - С. 270-278. - Бібліогр. в кінці ст.
Математика--Дослідження операцій--Математичне програмування Математика--Обчислювальна математика, числовий аналіз--Машинні та графічні методи Кл.слова (ненормовані): Сплайн Є примірники у відділах: 1 Інв.Б 561651 - Б.ц. (вільний) |
П 781 Бейко, І. В. Методи розв'язуючих і асимптотично-розв'язуючих операторів у побудові нового класу прискорених алгоритмів оптимізації та оптимального керування граф-операторними системами [Текст] / І. В. Бейко> // Проблеми інформатики та комп'ютерної техніки : пр. IV-ї Міжнар. наук.-практ. конф., Чернівці, 26-29 трав. 2015. - Чернівці, 2015. - С. 8-9. - Бібліогр. в кінці ст.
Математика--Математична кібернетика--Теорія керуючих систем Є примірники у відділах: 1 Інв.В 74918 - Б.ц. (вільний) |