В12 А456 Алгоритмы. Построение и анализ : [пер. с англ.] / Томас Кормен, Чарльз Лейзерсон, Рональд Ривест, Клиффорд Штайн. - М. [и др.] : Вильямс, 2009. - 1290 с. : ил. ; 24 см. - Библиогр.: с. 1257-1276. - Предм. указ.: с. 1277-1290. - Пер. изд. : Introduction to algorithms. - 1000 экз. На тит. с. и пер. ошибочно: 2-е изд.
Рубрики: алгоритмы--теория алгоритмы--для ЭВМ Кл.слова (ненормированные): Алгоритмы Доп.точки доступа: Кормен, Томас; Лейзерсон, Чарльз; Ривест, Рональд; Штайн, Клиффорд Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 972.2 С429 З 973.2 / С429-02 Скиена, С. С. Алгоритмы. Руководство по разработке : [пер. с англ.] / Стивен С. Скиена. - Санкт-Петербург : БХВ-Петербург, 2011. - 719 с. : ил. ; 24 см. - Предм. указ.: с. 713-719. - Библиогр.: с. 675-712. - Пер. изд. : The algorithm design manual / S. S. Skiena. - 1500 экз. На тит. с. и пер. ошибочно: 2-е изд.
Рубрики: Алгоритмы--для ЭВМ алгоритмы--теория Кл.слова (ненормированные): Алгоритмизация процесса -- Алгоритмические языки Доп.точки доступа: Skiena, S. S. Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr847 Pr847/255 Pr847/255 / Pr847/255-02 Algorithms and order : Proc., Ottawa, Canada, May 31 - June 13, 1987 / Ed. by Ivan Rival. - Dordrecht [et al.] : Kluwer, 1989. - IX, 498 p. : Ill. - (NATO ASI series. Series C, Math. a. phys. sciences ; vol. 255). - Bibliogr. at the end of the art. Перевод заглавия: Алгоритмы и упорядоченность Рубрики: Упорядоченные множества Алгоритмы--Теория Компьютеры--Алгоритмы Кл.слова (ненормированные): множества -- упорядоченные -- алгоритмы -- математическая оптимизация Дескрипторы: Kluwer Доп.точки доступа: Rival, I. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/401 Pr869/401 / Pr869/401-02 Optimal algorithms : intern. symp. Varna, Bulgaria, May 29 - June 2, 1989. Proc. / Ed. by H. Djidjev. - Berlin [et al.] : Springer, 1989. - VI,308 p. : Ill. - (Lecture notes in computer science ; 401). - Bibliogr. at the end of the art Перевод заглавия: Оптимальные алгоритмы Рубрики: Компьютеры--Алгоритмы Алгоритмы--Теория Кл.слова (ненормированные): Алгоритмы -- теория программного обеспечения ЭВМ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 В12 / Е804-02 Ершов, Юрий Леонидович. Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов ; Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497,[6] с. - (Интеграционные проекты СО РАН ; вып. 40). - Библиогр.: с. 490-497. -
Рубрики: Вычислимость--В математической логике--Философия Алгоритмы--Теория Мышление--Философия Перейти: Оглавление Доп.точки доступа: Целищев, Виталий Валентинович Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/9685 Pr869/9685 / Pr869/9685-02 Experimental algorithms : 15th Intern. symp, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings / eds.: A. V. Goldberg, A. S. Kulikov. - Heidelberg : Springer, 2016. - VIII,386 p. : ill., tab. - (Lecture notes in computer science, ISSN 0302-9743 ; 9685). - Bibliogr. at the end of the art. - Auth. ind.: p. 385-386 Перевод заглавия: Экспериментальные алгоритмы : материалы 15-го симпозиума по экспериментальным алгоритмам
Рубрики: Алгоритмы--Теория Алгоритмы--Для компьютеров Перейти: Оглавление Доп.точки доступа: Goldberg, Andrew V. \ed.\; Kulikov, Alexander S. \ed.\; International symposium on experimental algorithms (15 ; 2016 ; St. Petersburg) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Пр3867 Пр3867/25 Пр3867/25 / Пр3867/25-02 Пр3867/25 / Пр3867/25-02 ВМИ Математическая логика и теория алгоритмов : сборник / Отв. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : Наука, 1993. - 201 с. - (Труды Института математики СО РАН им. С.Л. Соболева, ISSN 0208-0060 ; т.25). - Библиогр. в конце ст. - Рубрики: Алгоритмы--Теория Математическая логика Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 2 02 (1), 02 ВМИ (1) Свободны: 02 (1), 02 ВМИ (1) |