Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный.Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный.Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный.Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный.Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный.Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный.Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 p. - Текст : непосредственный.Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный.transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный.Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный.Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный.Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный.Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный.Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный.Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный.Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный.Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 p. - Текст : непосредственный.
Показать все результатыБасакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Neumann K. Operations research / K. Neumann, M. Morlock, 1993. - 779 p. - Текст : непосредственный.Ягофарова Д.И. Разработка и анализ алгоритмов для задачи выполнимости и ее обобщений на основе L-разбиения : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. физ.-мат. наук / Д. И. Ягофарова, 2006. - 18 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Еремеев А.В. Генетические алгоритмы и оптимизация : учебное пособие / А. В. Еремеев, 2008. - 47 с. - Текст : непосредственный.Супрун Д.Г. Методы оптимизации : Учеб. пособие. Ч. 1 : Задачи линейного программирования, 2008. - 82 с. - Текст : непосредственный.Тжаскалик Т. Введение в исследование операций с применением компьютера / Т. Тжаскалик, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Карманов В.Г. Математическое программирование / В. Г. Карманов, 2004. - 263 с. - Текст : непосредственный.Зароднюк Т.С. Вычислительные технологии поиска глобального экстремума в задаче оптимального управления с параллелепипедными ограничениями / Т. С. Зароднюк, 2011. - 19 с. - Текст : непосредственный.Поберий М.И. Вопросы комитетной полиэдральной отделимости конечных множеств / М. И. Поберий, 2011. - 18 с. - Текст : непосредственный.Васильев Ф.В. Методы оптимизации : учебник : в 2-х кн. Ч. 2 : Оптимизация в функциональных пространствах. Регуляризация. Аппроксимация, 2011. - С.627-1056. - Текст : непосредственный.Бабичева И.В. Исследование операций / И. В. Бабичева, В. Ф. Гавловская, Р. Г. Флаум, 2004. - 185 с. - Текст : непосредственный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Поспелова И.И. Теоретические вопросы двухэтапной векторной оптимизации : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. И. Поспелова, 2000. - 16 с. - Текст : непосредственный.Бабенко М.А. Сложность некоторых алгоритмических проблем для кососимметрических графов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. А. Бабенко, 2007. - 13 с. - Текст : непосредственный.Золтоева И.А. Методы коррекции данных для формализации и решения задач многокритериальной оптимизации : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени канд. физ.-мат. наук / И. А. Золтоева, 2006. - 18 с. - Текст : непосредственный.Лотов А.В. Компьютер и поиск компромисса. Метод достижения целей / А. В. Лотов, А. В. Лотов, В. А. Бушенков, Г. К. Каменев, О. Л. Черных, 1997. - 239 с. - Текст : непосредственный.Горелов М.А. Простые задачи оптимизация. Правило Декарта / М. А. Горелов, 2010. - 64 с. - Текст : непосредственный.Талагаев Ю.В. Начала методов оптимизации : выставочные материалы / Ю. В. Талагаев, А. Ф. Тараканов, 2015. - 80 с. - Текст : непосредственный.Михайлова И.А. Некоторые задачи теории синтеза многопродуктовых сетей : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. А. Михайлова, 1997. - 15 с. - Текст : непосредственный.
Показать все результатыЕремеев А.В. Генетические алгоритмы и оптимизация : учебное пособие / А. В. Еремеев, 2008. - 47 с. - Текст : непосредственный.Information processing with evolutionary algorithms / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Kemenade C.H.M.van Explicit filtering of building blocks for genetic algorithms / C. H.M.van Kemenade, 1996. - 9 p. - Текст : непосредственный.
Шматов Г.П. Нейронные сети и генетический алгоритм : учебное пособие / Г. П. Шматов, Е. Е. Фомина, 2019. - 199 с. - Текст : непосредственный.Eiben A.E. Orgy in the computer:multi-parent reproduction in genetic algorithms / A.E.Eiben,C.H.M.van Kemenade,J.N.Kok, 1995. - 10 p. - Текст : непосредственный.Kemenade C.H.M.van Multi-parent recombination to overcome premature convergence in genetic algorithms / C.H.M.van Kemenade,A.E.Eiben, 1995. - 8 p. - Текст : непосредственный.Kemenade C.H.M.van Raising GA performance by simultaneous tuning of selective pressure and recombination disruptiveness / C.H.M.van Kemenade,J.N.Kok,A.E.Eiben, 1995. - 9 p. - Текст : непосредственный.Батищев Д.И. Генетические алгоритмы решения экстремальных задач : Учеб.пособие / Д.И.Батищев, 1995. - 69 c. - Текст : непосредственный.Kemenade C.H.M.van Building block filtering and mixing / C.H.M.van Kemenade, 1998. - 15 p. - Текст : непосредственный.Transmission function models of infinite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 22 p. - Текст : непосредственный.Transmission function models of finite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 30 p. - Текст : непосредственный.Kemenade C.H.M.van Analysis of NK-xor landscapes / C.H.M.van Kemenade, 1998. - 10 p. - Текст : непосредственный.Сперанский Д.В. Введение в генетические алгоритмы : учеб. пособие / Д. В. Сперанский, В. Г. Самойлов, О. В. Емельянова; под ред. Д. В. Сперанского, 2006. - 94 с. - Текст : непосредственный.Аверкин А.Н. Искусственные нейронные сети и генетические алгоритмы : учеб. пособие по курсу "Нетрадиц. модели вычислений" для студентов, обучающихся по направлению "Информатика и вычисл. техника" / А. Н. Аверкин, Е. В. Деньщикова, 2014. - 68 с. - Текст : непосредственный.Rothlauf F. Representations for genetic and evolutionary algorithms / F. Rothlauf, 2006 r=on-line. - Текст : электронный.Ahn C.W. Advances in evolutionary algorithms : theory, design and practice / C. W. Ahn, 2006 r=on-line. - Текст : электронный.Parameter setting in evolutionary algorithms / ed. F. G. Lobo, 2007 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный.Танаев В.С. Теория расписаний.Групповые технологии / В. С. Танаев, М. Я. Ковалев, Я. М. Шафранский, 1998. - 289 с. - Текст : непосредственный.Сервах В.В. Анализ Сложности и разработка алгоритмов решения задач календарного планирования и теории расписаний : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. В. Сервах, 2010. - 29 с. - Текст : непосредственный.Вахания Н.Н. Алгоритмы решения обобщенных задач теории расписаний / Н. Н. Вахания, В. В. Шафранский, 1991. - 46 с. - Текст : непосредственный.Эффективные методы решения однородных распределительных задач на основе минимаксного критерия : выставочные материалы / В. Г. Кобак, Д. В. Титов, Т. А. Медведева, О. А. Золотых, 2013. - 98 с. - Текст : непосредственный.Коваленко Ю.В. Сложность некоторых задач теории расписаний и эволюционные алгоритмы их решения / Ю. В. Коваленко, 2013. - 18 с. - Текст : непосредственный.Применение целочисленного линейного программирования с последовательным исключением циклов для решения задачи коммивояжера / М. В. Козлов, Ф. В. Костюк, С. В. Сорокин, А. В. Тюленев, 2012. - 50 с. - Текст : непосредственный.Brucker P. Scheduling algorithms / P. Brucker, 2007 r=on-line. - Текст : электронный.Севастьянов С.В. Геометрические методы и эффективные алгоритмы в теории расписаний : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / С. В. Севастьянов, 2000. - 37 с. - Текст : непосредственный.Воронин И.В. Модели и методы решения задачи автоматизированного составления расписаний с интеллектуальной поддержкой принятия решений : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / И. В. Воронин, 2008. - 16 с. - Текст : непосредственный.Kemenade C.H.M.van Explicit filtering of building blocks for genetic algorithms / C. H.M.van Kemenade, 1996. - 9 p. - Текст : непосредственный.Уразова И.В. Полиэдральная структура и алгоритмы решения задач обслуживания единичных требований параллельными приборами / И. В. Уразова, 2011. - 17 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽