Полное описание
>
Computational complexity theory : lecture notes prepared for the AMS short cource, held in Atlanta(Ca), Jan. 5-6, 1988 / ed. J. Hartmanis. - Providence, RI : Amer.math.soc., 1989. - IX,128 p. p. : ill. - (Proceedings of symposia in applied mathematics / Amer.math.soc. ; vol.38). - ISBN 0-8218-0131-7 : 55.81 р. - Текст : непосредственный.
Библиогр.в конце гл.
| ГРНТИ | УДК | |
| 27.03.45 | 510.522(062) |
Рубрики:
Сложность вычислений -- Съезды и конференции
Кл.слова (ненормированные): сложность
Доп. точки доступа:
Hartmanis, J.\ed.\
>
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:
Combinational games / Ed. R. K. Guy, 1990. - 233 мкф. - Текст : непосредственный.Matrix theory and applications : Papers presented for the amer.math.soc.short course held in Phoenix(Az) Jan.10-11,1989 / ed. C. R. Johnson, 1990. - 260 мкф. - Текст : непосредственный.Robotics : Lecture notes preparared for the Amer.math.soc.short course held in Louisville (Kt), Jan.16-17,1990 / Ed. J. Baillieul, 1990. - 196 мкф. - Текст : непосредственный.Computational complexity theory : Lecture notes prepared for the AMS short cource, held in Atlanta(Ca), Jan. 5-6, 1988 / ed. J. Hartmanis, 1989. - IX,128 p. 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 с. - Текст : непосредственный.
Показать все результаты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 мкф. - Текст : непосредственный.Computational complexity theory : Lecture notes prepared for the AMS short cource, held in Atlanta(Ca), Jan. 5-6, 1988 / ed. J. Hartmanis, 1989. - IX,128 p. p. - Текст : непосредственный.Machines, languages, and complexity : 5 intern.meet.of young computer scientists, Smolenice, Nov.,1988Selected contributions / сост.ed. J. Dassow, сост.ed. 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. - Текст : непосредственный.Theory and applications of models of computation : 4th International conference, TAMC 2007, Shanghai, China, May 22-25, 2007: proceedings / ed. J. Cai [et al.], 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 [et al.], 2008 r=on-line.New computational paradigms : first Conference on computability in Europe, CiE 2005 Amsterdam, The Netherlands, June 8-12, 2005: proceedings / ed. B. Cooper [et al.], 2005 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 : third International conference, TAMC 2006, Beijing, China, May 15-20, 2006: proceedings / ed. : J. Cai [et al.], 2006 r=on-line.Algorithms and complexity : 6th italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006 : proceedings / ed. T. Calamoneri et al., 2006 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-lineFundamentals 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.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.Harmonic analysis, signal processing, and complexity : festschrift in honor of the 60th birthday of Carlos A. Berenstein / ed. I. Sabadini [et al.], 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.Fundamentals of computation theory : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski, 2009 r=on-line.Теория сложности вычислений : материалы Междунар. молодеж. науч. шк. в рамках фестиваля науки (4-5 сент. 2012 г.) / Воронежский ин-т высоких технологий, 2012. - 176 с. - Текст : непосредственный.Parameterized and exact computation : 4th international workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / ed. J. Chen, F. V. Fomin, 2009 r=on-line.
Показать все результатыЗаказ фрагмента документа ₽