Полное описание
> Теория алгоритмов и ее приложения : сб. науч. тр. / Ред. Ю. Л. Ершов ; Науч. ред. Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [б. и.], 1989. - 100 c. - (Вычислительные системы / Рос.АН.Сиб.отд-ние.Ин-т математики ; n129). - 750 экз. - Текст : непосредственный. Библиогр. в конце ст.
Рубрики: Алгоритмы
Кл.слова (ненормированные): АЛГОРИТМ
Доп. точки доступа: Ершов, Ю.Л.\ред.\
Институт математики (Новосибирск)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/7099/129)>
Шифр в сводном ЭК: ca54c55ca1e59539ab31704a5cf064de
Гончаров С.С. Введение в логику и методологию науки / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов, 1994. - 255 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Интеграционные проекты СО РАН / Российская академия наук. Сибирское отделение. Вып. 40 : Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев, 2012. - 503 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Интеграционные проекты СО РАН / Рос. АН. Сиб. отд-ние. Вып. 22 : Информационная система математических Интернет-ресурсов MathTree / Ю. Л. Ершов [и др.] ; ред. О. А. Клименко, 2010. - 287 с. - Текст : непосредственный. Теория вычислений и языки спецификаций : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1995. - 219 c. - Текст : непосредственный. Математическая логика и теория алгоритмов : Сб. / Ред. Ю. Л. Ершов, 1993. - 201 c. - Текст : непосредственный. Ершов Ю.Л. Кратно нормированные поля / Ю.Л.Ершов, 2000. - 330 с. - Текст : непосредственный. Теория алгоритмов и ее приложения : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1989. - 100 c. - Текст : непосредственный. Логические методы в информатике : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1993. - 176 с. - Текст : непосредственный. Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный. Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 2000. - 318 с. - Текст : непосредственный. Ершов Ю.Л. Theory of numberings / Ю.Л.Ершов, 1996. - 37 p. - Текст : непосредственный. Структурные алгоритмические свойства вычислимости : Сб. науч. тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1996. - 152 c. - Текст : непосредственный. Вопросы алгебры и логики : Сб. ст. / Отв. ред. Ю.Л.Ершов, В.Д.Мазуров, 1996. - 192 с. - Текст : непосредственный. Ершов Ю.Л. О d-пространствах / Ю.Л.Ершов, 1997. - 18 с. - Текст : непосредственный. Ершов Ю.Л. e-определимость и теорема Геделя о неполноте : учеб. пособие / Ю. Л. Ершов, 1995. - 75 c. - Текст : непосредственный. Показать все результаты Анализ временных рядов и символьных последовательностей : сборник научных трудов / Ред. Ю. Г. Косарев, 1991. - 183 с. - Текст : непосредственный. Пленочная электромеханика : сборник научных трудов / Ред. В. Л. Дятлов, 1991. - 109 с. - Текст : непосредственный. Экспертные системы и анализ данных : сборник научных трудов / Ред. Н. Г. Загоруйко, 1991. - 177 с. - Текст : непосредственный. Искусственный интеллект и экспертные системы : сборник / Ред. Н. Г. Загоруйко, 1997. - 216 с. - Текст : непосредственный. Измерение и модели когнитивных процессов : сборник научных трудов / Сост. К. Ф. Самохвалов, 1998. - 109 с. - Текст : непосредственный. Интерполяция и аппроксимация сплайнами : сборник научных трудов / Ред. Ю. С. Завьялов, 1992. - 102 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Анализ последовательностей и таблиц данных : Сб. науч. тр. / Ред. Н. Г. Загоруйко, 1994. - 229 c. - Текст : непосредственный. Анализ данных и знаний в экспертных системах : Сб.науч.тр. / Ред. Н. Г. Загоруйко, 1990. - 164 с. - Текст : непосредственный. Системология и методологические проблемы информационно-логических систем : Сб.ст. / Ред. Ю. Г. Косарев, 1990. - 191 с. - Текст : непосредственный. Теория вычислений и языки спецификаций : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1995. - 219 c. - Текст : непосредственный. Обнаружение эмпирических закономерностей : Сб. науч. тр. / Науч. ред. Н.Г.Загоруйко, 1999. - 133 с. - Текст : непосредственный. Математические вопросы химической информатики : Сб.науч.тр. / Науч. ред. Н. Г. Загоруйко, В. А. Скоробогатов, 1989. - 92 c. - Текст : непосредственный. Теория алгоритмов и ее приложения : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1989. - 100 c. - Текст : непосредственный. Моделирование в пленочной электромеханике : Сб.ст. / Ред. В. Л. Дятлов, 1989. - 123 c. - Текст : непосредственный. Показать все результаты Дискретный анализ : Сб.тр. / АН СССР.Ин-т математики. 51 : Методы дискретного анализа в синтезе реализаций булевых функций, 1991. - 115 с. - Текст : непосредственный. Анализ временных рядов и символьных последовательностей : сборник научных трудов / Ред. Ю. Г. Косарев, 1991. - 183 с. - Текст : непосредственный. Пленочная электромеханика : сборник научных трудов / Ред. В. Л. Дятлов, 1991. - 109 с. - Текст : непосредственный. Экспертные системы и анализ данных : сборник научных трудов / Ред. Н. Г. Загоруйко, 1991. - 177 с. - Текст : непосредственный. Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 13(30), 1974. - 169 с. - Текст : непосредственный. Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 12(29), 1973. - 156 с. - Текст : непосредственный. Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 10(27), 1973. - 174 с. - Текст : непосредственный. Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 9(26), 1973. - 210 с. - Текст : непосредственный. Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 8(25), 1972. - 130 с. - Текст : непосредственный. Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 7(24), 1972. - 147 с. - Текст : непосредственный. Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 5(22), 1972. - 160 с. - Текст : непосредственный. Искусственный интеллект и экспертные системы : сборник / Ред. Н. Г. Загоруйко, 1997. - 216 с. - Текст : непосредственный. Измерение и модели когнитивных процессов : сборник научных трудов / Сост. К. Ф. Самохвалов, 1998. - 109 с. - Текст : непосредственный. Методы решения условно-корректных задач : сборник научных трудов / Институт математики (Новосибирск), 1991. - 217 с. - Текст : непосредственный. Интерполяция и аппроксимация сплайнами : сборник научных трудов / Ред. Ю. С. Завьялов, 1992. - 102 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 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 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 2000. - 780 с. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Макконнелл Д. Анализ алгоритмов. Активный обучающий подход : монография / Д. Макконнелл, 2013. - 415 с. - Текст : непосредственный. Давыдов В.Г. Программирование и основы алгоритмизации / В. Г. Давыдов, 2003. - 448 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽