Полное описание
Логические методы в информатике : сб. науч. тр. / Ред. Ю. Л. Ершов ; Науч. ред. Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : [б. и.], 1993. - 176 с. - (Вычислительные системы / Рос.АН.Сиб.отд-ние.Ин-т математики ; 148). - 400 экз. - ISBN 5-7623-0675-5. - Текст : непосредственный.
Рубрики: Информатика
Доп. точки доступа: Ершов, Ю.Л.\ред.\
Институт математики (Новосибирск)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/7099/148)
Шифр в сводном ЭК: b2560355ed90c56db4d6d14df8c41943
Гончаров С.С. Введение в логику и методологию науки / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов, 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Черняева Э.П. Информатика : учеб. пособие. Ч. 1, 2015. - 83 с. - Текст : непосредственный. Лукьянов П.Б. Высокоуровневые методы информатики и программирования : выставочные материалы / П. Б. Лукьянов, 2013. - 167 с. - Текст : непосредственный. Мациевский С.В. Теоретическая информатика : учебное пособие / С. В. Мациевский, С. А. Ишанов, 2007. - 501 с. - Текст : непосредственный. Грэхем Р.Л. Конкретная математика. Математические основы информатики / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник ; Пер. И. В. Красиков, 2015. - 782 с. - Текст : непосредственный. Knowledge Organization : International Journal devoted to Concept Theory,Classification,Indexing and Knowledge Representation. - Журнал выходит с 1974г. - Текст : непосредственный. Грэхем Р.Л. Конкретная математика. Математические основы информатики : монография / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник, 2013. - 781 с. - Текст : непосредственный. Тушко Т.А. Информатика. Математические основы / Т. А. Тушко, 2006. - 108 с. - Текст : непосредственный. Павловская Т.А. Высокоуровневые методы информатики и программирования / Т. А. Павловская, 2004. - 88 с. - Текст : непосредственный. Романов В.П. Теоретические основы информатики : монография / В. П. Романов, 1996. - 190 c. - Текст : непосредственный. Овчинникова И.Г. Высокоуровневые методы информатики и программирования : выставочные материалы / И. Г. Овчинникова, 2012. - 111 с. - Текст : непосредственный. Столбоушкин А.П. Математические основания информатики. Ч. 2, 1998. - С.171-271. - Текст : непосредственный. Зверев Г.Н. Основания теоретической информатики : Учеб. пособие. 4 : Математическая семантика, 1997. - 113 с. - Текст : непосредственный. Стохастическая оптимизация в информатике / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 9вып. 1, 2013. - 159 с. - Текст : непосредственный. Свиньин С.Ф. Теоретическая информатика / С. Ф. Свиньин, 2003. - 30 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 6Вып. 1, 2010. - 283 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Вып. 2, 2006. - 299 с. - Текст : непосредственный. Инфокоммуникации XXI века / Компания ТрансТелеКом. Т. 2 : Информационно-экономический закон. Взаимосвязь инфокоммуникационной инфраструктуры и экономики / Л. Е. Варакин, 2006. - 154 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Черняева Э.П. Информатика : учеб. пособие. Ч. 1, 2015. - 83 с. - Текст : непосредственный. Бауэр Ф.Л. Информатика : Ввод.курс:В 2 ч. Ч. 1 / ред. А. П. Ершов, пер. М. К. Валиев, 1990. - 324,VШ с. с. - Текст : непосредственный. Известия Института математики и информатики. 2(44), 2014. - 95 с. - Текст : непосредственный. Гниденко И.Г. Информатика / И. Г. Гниденко, С. А. Соколовская, 2006. - 256 с. - Текст : непосредственный. Прикладная математика и информатика : Тр. Фак. вычисл. математики и кибернетики МГУ им. М. В. Ломоносова / МГУ им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики. № 26, 2007. - 98 с. - Текст : непосредственный. Информатика : учебник / редкол.: В. А. Минаев и др. Т. 1 : Концептуальные основы, 2008. - 463 с. - Текст : непосредственный. Козачков Л.С. Прикладная логика информатики / Л. С. Козачков ; ред. Ю. В. Капитонова, 1990. - 253 c. - Текст : непосредственный. Научные ведомости Белгородского государственного университета. Серия Информатика и прикладная математика. № 1(21)Вып. 2, 2006. - 153 с. - Текст : непосредственный. Исследования по математическому анализу, математическому моделированию и информатике : сборник / Институт прикладной математики и информатики (Владикавказ), 2007. - 342 с. - Текст : непосредственный. Семкин Д.Н. Информатика и компьютерные технологии : учебное пособие / Д. Н. Семкин, Т. М. Майорова, 2007. - 219 с. - Текст : непосредственный. Основы информатики и информационные технологии : учеб. пособие для вузов / Российская экономическая академия им. Г. В. Плеханова. Кафедра информационных технологий. Ч. 2 / Л. П. Дьяконова, Ю. Д. Романова, 2006. - 145 с. - Текст : непосредственный. Арзамасцев А.А. Информатика-2 / А. А. Арзамасцев, 1994. - 87 c. - Текст : непосредственный. Научные ведомости Белгородского государственного университета. Серия: История. Политология. Экономика. Информатика : науч. рец. журн. № 1(172)вып. 29/1, 2014. - 194 с. - Текст : непосредственный. Шарапова О.М. Информатика : выставочные материалы / О. М. Шарапова, Н. В. Барклаевская, И. Е. Лахманова, 2015. - 141 с. - Текст : непосредственный. Информатика : выставочные материалы / А. Б. Золотов, П. А. Акимов, В. Н. Сидоров, М. Л. Мозгалева, 2013. - 400 с. - Текст : непосредственный. Труды СПИИРАН : науч., науч.-образоват., междисциплинар. журн. с базовой специализацией в обл. информатики, автоматизации и приклад. математики. Вып. 2(45), 2016. - 244 с. - Текст : непосредственный. Системы и средства информатики : науч. журн. / Рос. АН, Ин-т проблем информатики. Т. 22№ 2, 2012. - 347 с. - Текст : непосредственный. Информатика : учебное пособие / Н. В. Макарова, Т. Н. Гурьева, Н. Е. Соколов, Ю. Ф. Титова, 2007. - 232 с. - Текст : непосредственный. Информатика. Базовый курс : учебное пособие / Г. В. Алехина, А. В. Анастасьин, И. М. Годин [и др.], 2010. - 732 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. Т. 9вып. 4, 2009. - 126 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
