Приложение
для AndroidПолное описание
Bellantoni, S. J. Predicative recursion recursion and computational complexity / S.J.Bellantoni. - Toronto : [s. n.], 1992. - 164 p. : ill. - (Technical report / Univ. of Toronto ; n264/92). - 25 р. - Текст : непосредственный.
Библиогр.:с.159-160
| ГРНТИ | УДК | |
| 27.03.45 | 510.53 |
Рубрики:
Рекурсия
Сложность вычислений
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Gibbons P.B. The use of hill-climbing to construct orthogonal Steiner trimple systems : отчет / P.B.Gibbons,R.Mathon, 1992. - 20 p. - Текст : непосредственный.Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Fich F.E. The complexity of computation on the parallel random access machine / F.E.Fich, 1992. - 38,20 p. 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. - Текст : непосредственный.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 : Diss. / G.Pruesse, 1993. - 82 p. - Текст : непосредственный.Moorhouse T.B. Characterizing hereditary graph classes by subgraph intersections : Diss. / 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. - Текст : непосредственный.Urquhart A. Simplified lower bounds for propositional proofs / A.Urquhart,X.Fu, 1995. - 21 p. - Текст : непосредственный.Nguyen A.P. A formal system for linear space reasoning : Diss. / A.P.Nguyen, 1996. - 62,21 p. p. - Текст : непосредственный.Ma K. The recognition of permutation functions : Diss. / K.Ma, 1995. - 95 p. - Текст : непосредственный.Gao S. Gauss periods,primitive normal bases, and fast exponentiation in finite fields / S.Gao,J.vonZur Gathen,D.Panario, 1995. - 26 p. - Текст : непосредственный.Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods : Diss. / H.Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный.Nguyen H. Interpolation and error control schemes for algebraic differential equations using continuous implicit Runge-Kutta methods : Diss. / H.Nguyen, 1995. - III,97 p. p. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M.Molloy,B.Reed, 1996. - 36 p. - Текст : непосредственный.Riedel M.R. Applications of the Melin-Perron formula in number theory : Diss. / M.R.Riedel, 1996. - IX,138,21 p. p. - Текст : непосредственный.Rupport E. Determining consensus number / E.Rupport, 1996. - 21 p.ill. - Текст : непосредственный.Kearney P.E. The relationship between a phylogeny and its ordinal assertions / P.E.Kearney, 1997. - VI,107,6 p. p. - Текст : непосредственный.Muir P. Order barriers and characterizations for continuous mono-implicit rungekutta schemes / P.Muir,B.Owren, 1991. - 22 p. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный.Ашаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев, 1996. - 11 с. - Текст : непосредственный.Бадаев С.А. Минимальные нумерации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев, 1996. - 18 с. - Текст : непосредственный.Коровина М.В. Обобщенная вычислимость над полем действительных чисел : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина, 1996. - 12 с. - Текст : непосредственный.Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко, 1997. - 16 с. - Текст : непосредственный.Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова, 1998. - 13 с. - Текст : непосредственный.Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиномиальные алгоритмы решения переборных задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин, 2000. - 44 с. - Текст : непосредственный.Дудаков С.М. Вычислительная сложность некоторых задач математической логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. М. Дудаков, 2000. - 17 с. - Текст : непосредственный.Калимуллин И.Ш. Структурные свойства верхних полурешеток степеней по перечислимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин, 2001. - 9 с. - Текст : непосредственный.Витер Д.А. Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер, 2002. - 12 с. - Текст : непосредственный.Мучник А.А. Решение некоторых задач теории алгоритмов с использованием игровых методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник, 2001. - 10 c. - Текст : непосредственный.Солон Б.Я. Нетотальные степени перечислимости : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон, 2002. - 32 с. - Текст : непосредственный.Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин, 2003. - 14 с. - Текст : непосредственный.Стукачев А.И. Вычислимость в допустимых множествах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев, 2002. - 15 с. - Текст : непосредственный.Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов, 2003. - 26 с. - Текст : непосредственный.
Показать все результатыBellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Shen A. A strange application of Kolmogorov complexity / A.Shen, 1993. - 4 p. - Текст : непосредственный.Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А.Н.Дегтев, 1998. - 176 с. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions : Diss. / D.Fredholm, 1994. - 80 p. - Текст : непосредственный.Батищев Д.И. Вычислительная сложность экстремальных задач переборного типа : Учеб.пособие / Д.И.Батищев,Д.И.Коган, 1994. - 114 c. - Текст : непосредственный.Соловьев В.Д. Абстрактная теория вычислимости: программистский подход / В.Д.Соловьев, 1993. - 123 c. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений : Попул. введ. в теорию чисел и арифмет. теорию сложности / С.Б.Гашков,В.Н.Чубариков, 1996. - 239 c. - Текст : непосредственный.Гончаров С.С. Семейства с одноэлементной полурешеткой Роджерса / С.С.Гончаров,С.А.Бадаев, 1996. - 26 с. - Текст : непосредственный.Структурные алгоритмические свойства вычислимости : Сб. науч. тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1996. - 152 c. - Текст : непосредственный.Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д.Э.Сэвидж;Пер.с англ.Под ред.О.М.Касим-Заде, 1998. - 368 с. - Текст : непосредственный.Обобщенная вычислимость и определимость : Сб.науч.тр. / Редкол.:Н.Г.Загоруйко (гл.ред.) и др., 1998. - 175 с. - Текст : непосредственный.Sacks G.E. Higher recursion theory / G.E.Sacks, 1990. - XV,344 p. p. - Текст : непосредственный.Богомолов А.М. Автоматные модели и рекурсивный конструктивизм : Учеб. пособие для студентов мех.-мат. фак. и фак. прикл. математики ун-тов / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный.Березин С.А. Алгоритмы и рекурсивные функции : Учеб. пособие для студентов фак. прикл. мат. / С.А.Березин,А.М.Ивлева, 1999. - 72 с. - Текст : непосредственный.Романов Р.В. Некоторые проблемы обобщенной вычислимости / Р.В.Романов, 1998. - 31 с. - Текст : непосредственный.Теория вычислимости и языки спецификации : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1991. - 192 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р.Г.Нигматуллин, 1991. - 239 c. - Текст : непосредственный.
Показать все результатыАшаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев, 1996. - 11 с. - Текст : непосредственный.Бадаев С.А. Минимальные нумерации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев, 1996. - 18 с. - Текст : непосредственный.Коровина М.В. Обобщенная вычислимость над полем действительных чисел : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина, 1996. - 12 с. - Текст : непосредственный.Березнюк С.Л. Алгебраические свойства полурешеток сводимостей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. Л. Березнюк, 1998. - 18 с. - Текст : непосредственный.Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова, 1998. - 13 с. - Текст : непосредственный.Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиномиальные алгоритмы решения переборных задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин, 2000. - 44 с. - Текст : непосредственный.Калимуллин И.Ш. Структурные свойства верхних полурешеток степеней по перечислимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин, 2001. - 9 с. - Текст : непосредственный.Мучник А.А. Решение некоторых задач теории алгоритмов с использованием игровых методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник, 2001. - 10 c. - Текст : непосредственный.Солон Б.Я. Нетотальные степени перечислимости : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон, 2002. - 32 с. - Текст : непосредственный.Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин, 2003. - 14 с. - Текст : непосредственный.Стукачев А.И. Вычислимость в допустимых множествах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев, 2002. - 15 с. - Текст : непосредственный.Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions : Diss. / D.Fredholm, 1994. - 80 p. - Текст : непосредственный.Saad Y. Theoretical error bounds and general analysis of a few Lanczos-type algorithms / Y.Saad, 1994. - 12 p. - Текст : непосредственный.Криницкий Н.А. Аналитическая теория алгоритмов / Н.А.Криницкий, 1994. - 351 c. - Текст : непосредственный.Мелихов А.Н. Теория алгоритмов и формальных языков : Учеб. пособие / А.Н.Мелихов,В.И.Кодачигов, 1983. - 69 л. - Текст : непосредственный.Крючкова Е.Н. Теория алгоритмов : Учеб.пособие по курсу "Теория вычисл.процессов и структур" по направлению "Информатика и вычисл.техника" / Е.Н.Крючкова, 1995. - 74 c. - Текст : непосредственный.Algorithms and complexity : Second Italian conf.,CIAC'94,Rome,Febr.23-25 1994:Proc. / CIAC'94, 1994. - VIII,222 p. p. - Текст : непосредственный.Охлопков, Н. М. Численные методы и вычислительные алгоритмы : Учеб. пособие. Ч. 2, 1995. - 142 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽