И-В12 M83 И-В12 / M83-02 Moore , Cristopher. The nature of computation / C. Moore , S. Mertens. - Oxford ; New York : Oxford univ. press, 2011. - XVII,985 p. : ill. - Bibliogr.: p. 945-973. - Ind.: p. 974-985 Перевод заглавия: Природа вычислений
Рубрики: Вычислимость в математической логике Сложность--Вычислений алгоритмов Вычислительная математика Перейти: Оглавление Доп.точки доступа: Mertens, Stephan Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-В12 A87 И-В12 / A87-02 Aspects of complexity : minicourses in algorithmics, complexity and computational algebra : Mathematics workshop, Kaikoura, Jan. 7-15, 2000 / eds.: R. Downey, D. Hirschfeldt. - Berlin ; New York : de Gruyter, 2001. - VI,172 p. : ill. - (De Gruyter series in logic and its applications ; 4). - Bibliogr. at the end of the art. Перевод заглавия: Некоторые аспекты сложности
Рубрики: Сложность--Вычислений алгоритмов Вычислительная линейная алгебра Перейти: Оглавление Доп.точки доступа: Downey, R. \ed.\; Hirschfeldt, D. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-В12 S89 И-В12 / S89-02 Structure in complexity theory conference (6; 1991; Chicago). Proceedings of the sixt Annual structure in complexity theory conference : June 30 - July 3, 1991, Chicago, ill. - Los Alamitos [et al.] : IEEE computer soc. press, 1991. - VIII, 393 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 393 Перевод заглавия: Труды 6-ой ежегодной конференции по структурам в теории сложности Рубрики: Сложность--Вычислений алгоритмов Кл.слова (ненормированные): Колмогорова сложность -- рекурсивные функции -- классы сложности Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-В12 S89 И-В12 / S89-02 Structure in complexity theory conference (7; 1992; Boston). Proceedings of the seventh Annual structure in complexity theory conference : June 22-25, 1992, Boston. - Los Alamitos [et al.] : IEEE computer soc. press, 1992. - VIII, 247 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 347 Перевод заглавия: Труды 7-ой ежегодной конференции по структуре в теории сложности Рубрики: Сложность--Вычислений алгоритмов Кл.слова (ненормированные): классы сложности -- вычислительная сложность -- структурная сложность Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |