Полное описание
Kapron, B. M.
ГРНТИ УДК 27.03.17 510.53(043)
Рубрики: Рекурсия
Кл.слова (ненормированные): РЕКУРСИЯ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9156/249/91)
Шифр в сводном ЭК: 92d747978f0eecbef5920ca13c0ccaaf
Ma K. The recognition of permutation functions / K. Ma, 1995. - 95 p. - Текст : непосредственный. Gao S. Gauss periods,primitive normal bases, and fast exponentiation in finite fields / S. Gao, J.von Zur Gathen, D. Panario, 1995. - 26 p. - Текст : непосредственный. Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods / H. Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный. Molloy M. A bound on the total chromatic number / M. Molloy, B. Reed, 1996. - 36 p. - Текст : непосредственный. Corneil D.G. Linear time algorithms for dominating pairs in asteroidal triple-free graphs / D. G. Corneil, S. Olariu, L. Stewart, 1995. - 21 p. - Текст : непосредственный. Enright W.H. Parallel defect control / W. H. Enright, D. J. Higham, 1990. - 35 p. - Текст : непосредственный. Rupport E. Determining consensus number / E. Rupport, 1996. - 21 p.ill. - Текст : непосредственный. Higham D.J. Monotonic piecewise cubic interpolation, with applications to ODE plotting / D. J. Higham, 1990. - 13,18 p. p. - Текст : непосредственный. Sipser M. Expander graphs. Descriptive set theory / M. Sipser, B. Kapron, T. Pitassi, 1991. - 19 p. - Текст : непосредственный. Giesbrecht M.W. Nearly optimal algorithms for canonical matrix forms / M. W. Giesbrecht, 1993. - 192 p. - Текст : непосредственный. Pruesse G. Efficient generation of linear extensions and other restricted permutations / G. Pruesse, 1993. - 82 p. - Текст : непосредственный. Moorhouse T.B. Characterizing hereditary graph classes by subgraph intersections / T. B. Moorhouse, 1994. - 87 p. - Текст : непосредственный. survey of the explicit Runge-Kutta method / W. H. Enright, D. J. Higham, B. Owren, P. Sharp, 1994. - 33 p. - Текст : непосредственный. Enright W.H. Interpolating Runge-Kutta methods for vanishing delay differential equations / W. H. Enright, M. Hu, 1994. - 34 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 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 с. - Текст : непосредственный. Показать все результаты Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный. Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев, 1998. - 176 с. - Текст : непосредственный. Fredholm D. Intensional aspects of function definitions / D. Fredholm, 1994. - 80 p. - Текст : непосредственный. Богомолов А.М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Sacks G.E. Higher recursion theory / G.E.Sacks, 1990. - XV,344 p. p. - Текст : непосредственный. Березин С.А. Алгоритмы и рекурсивные функции : Учеб. пособие для студентов фак. прикл. мат. / С.А.Березин,А.М.Ивлева, 1999. - 72 с. - Текст : непосредственный. Ганов В.А. Компьютерные версии вычислений с оракулами : учеб. пособие / В. А. Ганов, Р. В. Дегтерева, В. Р. Карымов, 2014. - 86 с. - Текст : непосредственный. Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный. Гончаров С.С. Семейства с одноэлементной полурешеткой Роджерса / С.С.Гончаров,С.А.Бадаев, 1996. - 26 с. - Текст : непосредственный. Воротников С.М. Основы теории алгоритмов и рекурсивных функций : Учеб. пособие / С. М. Воротников, 2007. - 120 с. - Текст : непосредственный. Kapron B.M. Feasible computation in higher types : Diss. / B.M.Kapron, 1991. - 104,19 p. p. - Текст : непосредственный. Соар Р.И. Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И.Соар;Пер.с англ.под ред.М.М.Арсланова, 2000. - 576 с. - Текст : непосредственный. Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный. Murawski R. Funkcje rekurencyjne i elementy metamatematyki: Problemy zupelnosci rozstrzygalnosci, twierdzenia Godla / R.Murawski, 1990. - 186 s. - Текст : непосредственный. Ehring T. primitiv rekursives Beziechnungssystem uber einer Hierarchie von Mahlofunktionen : Diss. / T.Ehring, 1990. - 69 S. - Текст : непосредственный. Ганов В.А. Общая теория вычислений с оракулами / В.А.Ганов,Н.В.Белякин, 1989. - 136 с. - Текст : непосредственный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Березнюк С.Л. Алгебраические свойства полурешеток сводимостей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. Л. Березнюк, 1998. - 18 с. - Текст : непосредственный. Батыршин И.И. Свойства квази-сводимости и иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / И. И. Батыршин, 2008. - 12 с. - Текст : непосредственный. Оспичев С.С. Алгебраические и структурные свойства полурешеток Роджерса в иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / С. С. Оспичев, 2013. - 20 с. - Текст : непосредственный. Бадаев С.А. Минимальные нумерации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев, 1996. - 18 с. - Текст : непосредственный. Стукачев А.И. Вычислимость в допустимых множествах : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. И. Стукачев, 2002. - 15 с. - Текст : непосредственный. Калимуллин И.Ш. Структурные свойства верхних полурешеток степеней по перечислимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин, 2001. - 9 с. - Текст : непосредственный. Притыкин Ю.Л. Алгоритмические свойства последовательностей, близких к периодическим : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Ю. Л. Притыкин, 2009. - 17 с. - Текст : непосредственный. Калимуллин И.Ш. Алгоритмические сводимости счетных алгебраических систем : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / И. Ш. Калимуллин, 2009. - 30 с. - Текст : непосредственный. Коровина М.В. Обобщенная вычислимость над полем действительных чисел : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина, 1996. - 12 с. - Текст : непосредственный. Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев, 1999. - 12 с. - Текст : непосредственный. Солон Б.Я. Нетотальные степени перечислимости : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / Б. Я. Солон, 2002. - 32 с. - Текст : непосредственный. Иванов Д.И. Слабо импликативно и комбинаторно селекторные множества : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Д. И. Иванов, 2007. - 13 с. - Текст : непосредственный. Kapron B.M. Feasible computation in higher types : Diss. / B.M.Kapron, 1991. - 104,19 p. p. - Текст : непосредственный. Стрыгин В.З. Полиномиальные алгоритмы решения переборных задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин, 2000. - 44 с. - Текст : непосредственный. Быкова В.В. Методы анализа и разработки параметризированных алгоритмов : автореф. дис. .. д-ра физ.-мат. наук: 05.13.17 / В. В. Быкова, 2012. - 35 с. - Текст : непосредственный. Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова, 1998. - 13 с. - Текст : непосредственный. Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике : автореф. дис. .. канд. физ.-мат. наук: 05.13.18 / Д. А. Мизин, 2003. - 14 с. - Текст : непосредственный. Ehring T. primitiv rekursives Beziechnungssystem uber einer Hierarchie von Mahlofunktionen : Diss. / T.Ehring, 1990. - 69 S. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
