Полное описание
Теория сложности вычислений : материалы Междунар. молодеж. науч. шк. в рамках фестиваля науки (4-5 сент. 2012 г.) / Воронежский ин-т высоких технологий. - Воронеж : Науч. кн., 2012. - 176 с. : ил. - Библиогр. в конце отд. ст. - 200 экз. - ISBN 978-5-4446-0060-3. - Текст : непосредственный.
ГРНТИ УДК 27.03.17 510.522(062)
Рубрики: Сложность вычислений -- Съезды и конференции
Доп. точки доступа: Воронежский ин-т высоких технологий
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-12/93953)
Шифр в сводном ЭК: 3fd7341d02d6c7e0656bf51afb948f86
Бородкина Н.В. Современные концепции диагностики финансового состояния предприятий / Н. В. Бородкина, Э. М. Львович, 2014. - 176 с. - Текст : непосредственный. Вестник Воронежского института высоких технологий : науч. журн. / Воронеж. ин-т высоких технологий. - Журнал выходит с 2007г. - Текст : непосредственный. Физика: фундаментальные и прикладные исследования, образование : материалы временных коллективов / Воронежский ин-т высоких технологий, 2012. - 138 с. - Текст : непосредственный. Информационно-телекоммуникационные системы и управление : материалы временных коллективов / Воронежский ин-т высоких технологий, 2011. - 503 с. - Текст : непосредственный. Россия-ЕС. Инженерия знаний и технологии семантического веб анализа : материалы временных коллективов / Воронежский ин-т высоких технологий, 2012. - 202 с. - Текст : непосредственный. Актуальные проблемы инновационных систем информатизации и безопасности : материалы временных коллективов, 2013. - 475 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лавлинская О.Ю. Инструментальные средства имитационного моделирования и программирования : учебное пособие / О. Ю. Лавлинская, Т. В. Курченкова, 2017. - 82 с. - Текст : непосредственный. Селезнева Н.А. Математика для бакалавров направлений "Менеджмент" и "Управление персоналом" с применением Excel и Mathcad : учебное пособие / Н. А. Селезнева, В. Н. Колпачев, Л. В. Плотникова, 2017. - 198 с. - Текст : непосредственный. Актуальные проблемы инновационных систем информатизации и безопасности : материалы Междунар. науч.-практ. конф., [22 апр. 2016 г., Воронеж] / Воронеж. ин-т высоких технологий, Панъевроп. ун-т (г. Братислава, Словакия), 2016. - 435 с. - Текст : непосредственный. Региональный рынок труда: особенности формирования и регулирования : учебник / А. М. Донецкий [и др.]; под ред. О. А. Колесниковой, И. Я. Львовича, 2016. - 371 с. - Текст : непосредственный. Лавлинская О.Ю. Преподавание дисциплин на основе активных и интерактивных образовательных технологий : учеб. пособие / О. Ю. Лавлинская, Ю. А. Шаталова, Т. В. Курченкова, 2016. - 91 с. - Текст : непосредственный. Механика разрушения и ее приложения в инженерных науках : материалы Междунар. молодеж. конф. в рамках фестиваля науки, 6 сент. 2012 / Воронежский ин-т высоких технологий, 2012. - 330 с. - Текст : непосредственный. Львович И.Я. Информационные технологии моделирования и оптимизации: краткая теория и приложения : монография / И. Я. Львович, Я. Е. Львович, В. Н. Фролов, 2016. - 443 с. - Текст : непосредственный. Показать все результаты Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный. Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный. Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный. Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный. Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный. Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный. Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный. Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный. Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный. Parameterized and exact computation / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный. Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный. Алферова З.В. Теория алгоритмов, 1973. - 164 с. - Текст : непосредственный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Fundamentals of computation theory : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski, 2009 r=on-line. - Текст : электронный. Theory and applications of models of computation : 7th Annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010: proceedings / ed. J. Kratochvil, 2010 r=on-line. - Текст : электронный. Algorithms and Complexity : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010: proceedings / ed. T. Calamoneri, 2010 r=on-line. - Текст : электронный. Parameterized and exact computation : second international workshop, IWPEC 2006, Zurich, Switzerland, September 13-15, 2006: proceedings / ed. H. Bodlaender, M. Langston, 2006 r=on-line Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007: proceedings / ed. E. Csuhaj-Varju, Z. Esik, 2007 r=on-line. - Текст : электронный. Harmonic analysis, signal processing, and complexity : festschrift in honor of the 60th birthday of Carlos A. Berenstein / ed. I. Sabadini, 2005 r=on-line. - Текст : электронный. Theory and applications of models of computation : 4th International conference, TAMC 2007, Shanghai, China, May 22-25, 2007: proceedings / ed. J. Cai, 2007 r=on-line. - Текст : электронный. Logic and theory of algorithms : 4th Conference on computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008: proceedings / ed. A. Beckmann, 2008 r=on-line. - Текст : электронный. Fundamentals of computation theory : 15th international symposium, FCT 2005 Lubeck, Germany, August 17-20, 2005: proceedings / eds. M. Liskiewicz, R. Reischuk, 2005 r=on-line. - Текст : электронный. Theory and applications of models of computation : 6th annual conference, TAMC 2009, Changsha, China, May 18-22, 2009: proceedings / ed. D. Hutchison [et al.], 2009 r=on-line. - Текст : электронный. Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008: proceedings / eds. M. Agrawal [et al.], 2008 r=on-line. - Текст : электронный. Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008: proceedings / ed. M. Grohe, R. Niedermeier, 2008 r=on-line. - Текст : электронный. Machines, languages, and complexity : 5 intern.meet.of young computer scientists, Smolenice, Nov.,1988Selected contributions / Ed.: J. Dassow, J. Kelemen, 1989. - VI,244 p. p. - Текст : непосредственный. Special issue on the 14th annual IEEE conference on computational complexity, Atlanta(Ga), May 4-6, 1999 / Annual IEEE conference on computational complexity (14; 1999; Atlanta(Ga)), 2001. - 216-391 p. p. - Текст : непосредственный. Теория сложности вычислений : материалы Междунар. молодеж. науч. шк. в рамках фестиваля науки (4-5 сент. 2012 г.) / Воронежский ин-т высоких технологий, 2012. - 176 с. - Текст : непосредственный. Theory and applications of models of computation : third International conference, TAMC 2006, Beijing, China, May 15-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Algorithms and complexity : 6th italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Proceedings of the 7th annual structure in complexity theory conference June 22-25,1992,Boston(Ma) / Structure in complexity theory conference (7; 1992; Boston,Ma.), 1992. - VIII,347 p. p. - Текст : непосредственный. Proceedings: fifth annu. structure in complexity conf.Barselona,July 8-11,1990 / Structure in complexity theory conference (5 ; 1990 ; Barselona) . - 189 мкф. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
