Приложение
для AndroidПолное описание
Логические методы в информатике : сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : [б. и.], 1993. - 176 с. - (Вычислительные системы / Рос.АН.Сиб.отд-ние.Ин-т математики ; 148). - 400 экз. - ISBN 5-7623-0675-5 : 350 р. - Текст : непосредственный.
Библиогр. в конце отд. ст
| ГРНТИ | УДК | |
| 20.01.07 | 004.02 |
Рубрики:
Информатика
Доп. точки доступа:
Ершов, Ю.Л.\ред.\
Институт математики (Новосибирск)
Имеются экземпляры в отделах: всего 2 : ПНТ (1), ХР (1)
Свободны: ПНТ (1), ХР (1)
Логические методы в информатике : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 176 с. - Текст : непосредственный.Интерполяция и аппроксимация сплайнами : Сб.науч.тр / Науч.ред.:Ю.С.Завьялов,В.Л.Мирошниченко, 1992. - 102 c. - Текст : непосредственный.Приложения теории графов в химии, 1993. - 134 с. - Текст : непосредственный.Анализ последовательностей и таблиц данных : Сб. науч. тр. / Науч.ред.Н.Г.Загоруйко, 1994. - 229 c. - Текст : непосредственный.Теория графов и ее приложения : Сб.ст. / Науч.ред.В.А.Скоробогатов, 1994. - 120 c. - Текст : непосредственный.Теория вычислений и языки спецификаций : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1995. - 219 c. - Текст : непосредственный.Сплайны и их приложения : Сб.науч.тр. / Науч.ред.Ю.С.Завьялов,В.Л.Мирошниченко, 1995. - 160 c. - Текст : непосредственный.Теория графов и ее применения : Сб. / Редкол.:Н.Г.Загоруйко (гл.ред.) и др., 1996. - 106 c. - Текст : непосредственный.Структурные алгоритмические свойства вычислимости : Сб. науч. тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1996. - 152 c. - Текст : непосредственный.Искусственный интеллект и экспертные системы / Науч. ред. Н.Г.Загоруйко, 1996. - 257 с. - Текст : непосредственный.Модели когнитивных процессов : Сб.науч.тр. / Науч.ред.К.Ф.Самохвалов, 1997. - 184 с. - Текст : непосредственный.Логика и семантическое программирование : Сб.науч.тр. / Науч.ред.:Ю.Л.Ершов,С.С.Гончаров, 1992. - 202 с. - Текст : непосредственный.Сплайн-функции и их приложения : Сб. науч.тр. / Науч.ред.:Ю.С.Завьялов, В.Л.Мирошниченко, 1997. - 228 с. - Текст : непосредственный.Сплайны и их приложения : Сб. науч. тр. / Науч.ред.Ю.С.Завьялов,В.Л.Мирошниченко, 1991. - 141 с. - Текст : непосредственный.Искусственный интеллект и экспертные системы : Сб.ст. / Науч.ред.Н.Г.Загоруйко, 1997. - 216 с. - Текст : непосредственный.Анализ временных рядов и символьных последовательностей : Сб.науч.тр. / Науч.ред.Ю.Г.Косарев,В.Д.Гусев, 1991. - 183 с. - Текст : непосредственный.Пленочная электромеханика : Сб. науч. тр. / Науч.ред.В.Л.Дятлов,С.И.Фадеев, 1991. - 109 с. - Текст : непосредственный.Экспертные системы и анализ данных : Сб.науч.тр. / Науч.ред.Н.Г.Загоруйко, 1991. - 177 с. - Текст : непосредственный.Измерение и модели когнитивных процессов : Сб.науч.тр. / Науч.ред.К.Ф.Самохвалов, 1998. - 109 с. - Текст : непосредственный.Обобщенная вычислимость и определимость : Сб.науч.тр. / Редкол.:Н.Г.Загоруйко (гл.ред.) и др., 1998. - 175 с. - Текст : непосредственный.
Показать все результатыХохлов Г.И. Комбинаторная теория информации. Информационная теория детерминированных процессов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / Г. И. Хохлов, 1994. - 37 с. - Текст : непосредственный.Логические методы в информатике : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 176 с. - Текст : непосредственный.Романов В.П. Теоретические основы информатики : Информ. структуры и фактограф. поиск информации / В.П.Романов, 1996. - 190 c. - Текст : непосредственный.Зверев, Г. Н. Основания теоретической информатики : Учеб. пособие. 1 : Элементы системологии, 1995. - 60 с. - Текст : непосредственный.Зверев, Г. Н. Основания теоретической информатики : Учеб. пособие. 2 : Теоретическая семиотика и лингвистика, 1995. - 30 с. - Текст : непосредственный.Зверев, Г. Н. Основания теоретической информатики : Учеб. пособие. 3 : Логико-математический язык, 1995. - 64 с. - Текст : непосредственный.Kopcsa A. Science and technology mapping:a new iteration model for representing multidimensional relationships / A.Kopcsa,E.Schiebel, 1996. - 18 p. - Текст : непосредственный.Львович И.Я. Математические основы информатики : Учеб. пособие / И.Я.Львович,Е.Д.Федорков, 1997. - 92 с. - Текст : непосредственный.Аветисян Р.Д. Теоретические основы информатики / Р.Д.Аветисян,Д.О.Аветисян, 1997. - 168 с. - Текст : непосредственный.Годин В.В. Математические основы информатики : Учеб.пособие для студентов спец."Экон.кибернетика"-06.09 / В.В.Годин,Н.В.Маджуга, 1992. - 62 с. - Текст : непосредственный.Зверев, Г. Н. Основания теоретической информатики : Учеб. пособие. 6 : Морфология и алгоритмика - структуры систем и процессов, 1997. - 121 с. - Текст : непосредственный.Некрасов, В. П. Теоретическая информатика : Учеб.пособие по дисциплине "Информатика" для студентов профилизации "Автомтизир.системы обработки информ.и упр." (АСУ) направления 552800-"Информатика и вычислит.техника". Ч. 4 : Комбинаторные алгоритмы, 1997. - 54 с. - Текст : непосредственный.Зверев, Г. Н. Основания теоретической информатики : Учеб. пособие. 5 : Логическая семантика и дискретные аппроксимации, 1997. - 92 с. - Текст : непосредственный.Зверев, Г. Н. Основания теоретической информатики : Учеб. пособие. 7 : Индефинитика - теория неопределенностей и мер информации, 1997. - 121 с. - Текст : непосредственный.Столбоушкин, А. П. Математические основания информатики. Ч. 1, 1998. - 170 с. - Текст : непосредственный.Столбоушкин, А. П. Математические основания информатики. Ч. 3, 1998. - С.270-367. - Текст : непосредственный.Научная информация в области социальных и гуманитарных наук: проблемы теории и практики : Науч.публикации сотрудников ИНИОН РАН (1969-1998):Библиогр.указ. / Рос.АН,Ин-т науч.информ.по обществ.наукам, 1998. - 99 с. - Текст : непосредственный.Брой, М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 4 : Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация, 1998. - 237 с. - Текст : непосредственный.Зверев, Г. Н. Основания теоретической информатики : Учеб. пособие. 4 : Математическая семантика, 1997. - 113 с. - Текст : непосредственный.Хныкин А.П. Математические основы информатики и информационной технологии : Лекции / А.П.Хныкин, 1998. - 158 с. - Текст : непосредственный.
Показать все результатыНациональная конференция по информатике ИНФО'84 / ВЦП. - 5 с. - Текст : непосредственный.Формирование структур для развития 1989. Календарный план. Консультационный справочник. Организация информационного образования / ВЦП. - 212 c. - Текст : непосредственный.Informatyka. Z. 21, 1992. - 107 s. - Текст : непосредственный.Informatyka. Z. 16, 1993. - 141 s. - Текст : непосредственный.Informatyka. Z. 20, 1993. - 171 s. - Текст : непосредственный.Informatyka. Z. 22, 1993. - 159 s. - Текст : непосредственный.Prace informatyczne / Red.:S.Sedziwy. Z. 5, 1993. - 204 p. - Текст : непосредственный.Информатика и вычислительные системы : Cб. ст. / МГУ им. М.В. Ломоносова, Н.-и.ВЦ, 1993. - 160 c. - Текст : непосредственный.Информатика и радиотехника : Сб.науч.тр. / Моск. ин-т радиотехники, электроники и автоматики, 1994. - 131 c. - Текст : непосредственный.Einfuhrung in die Informatik fur Naturwissenschaftler und Ingenieure / hrsg. U. Rembold, 1991. - 438 S. - Текст : непосредственный.Громов А.И. Основы информатики и вычислительной техники / А.И.Громов,М.Я.Сафин, 1994. - 118 c. - Текст : непосредственный.Нестеров П.В. Информатика : Проблем.-темат.курс / П.В.Нестеров, 1994. - 71 c. - Текст : непосредственный.Мальсагов С.М. Основы информатики : Учеб. пособие для пед. ин-тов / С.М.Мальсагов, 1993. - 716 c. - Текст : непосредственный.Basiswissen Informatik / Bearb.von A.Lergenmuller, 1987. - 158 S. - Текст : непосредственный.Логические методы в информатике : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 176 с. - Текст : непосредственный.Семиотика и информатика / Всероссийский ин-т науч. и технической информации (Москва). Вып. 33, 1993. - 255 с. - Текст : непосредственный.Труды Вычислительного центра СО РАН. Серия: Информатика. Вып. 1, 1993. - 172 с. - Текст : непосредственный.Ершов А.П. Избранные труды / А.П.Ершов;Отв.ред.И.В.Поттосин, 1994. - 416 c. - Текст : непосредственный.Брусенцов Н.П. Начала информатики / Н.П.Брусенцов, 1994. - 176 c. - Текст : непосредственный.Системы и средства информатики : ежегодник / Рос. АН, Ин-т проблем информатики. Вып. 6, 1995. - 136 с. - Текст : непосредственный.
Показать все результатыЛогические методы в информатике : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 176 с. - Текст : непосредственный.Статистические методы информатики : Учеб. пособие / О.Г.Горбачев,С.А.Гуз,А.А.Натан,А.И.Смысловский, 1992. - 131 с. - Текст : непосредственный.Informetrics 89/90 : Sel.of papers submitted for the 2 intern.conf.on bibliometrics, scientometrics and informetrics London, Ontario, Canada, 5-7 July 1989 / сост.ed. L. Egghe, сост.ed. R. Rousseau, 1990. - VIII,401 p. p. - Текст : непосредственный.Системы и средства информатики : ежегодник / Рос. АН, Ин-т проблем информатики. Спец. вып.(2001) : Математические методы информатики, 2001. - 158 с. - Текст : непосредственный.Павлов Ф.Ф. Высокоуровневые методы информатики и программирования : Учеб. пособие / Ф.Ф.Павлов, 2001. - 207 с. - Текст : непосредственный.Бекларян Л.А. Основы вычислительной техники и информатики : Численные методы оптимизации: Курс лекций / Л.А.Бекларян,А.А.Белолипецкий, 1990. - 72 с. - Текст : непосредственный.Selected papers presented at the 8th on international conference on scientometrics and informetrics, Sydney, 16-20 Jul. 2001 / International сonference on scientometrics and informetrics (Sydney) , 2002. - 154 p. - Текст : непосредственный.Journal impact measures: thier role in research policy and scientific information management : Selected papers presented at the 8th intern.conf.on scientometrics and informetrics, Sydney, 17 Jul.2001 / Ed.: W.Gl@:anzel, H.Moed, 2002. - 172-279 p. p. - Текст : непосредственный.Selected papers at the 8th on international conference on cientometrics and informetrics, Sydney, 16-20 Jul.2001 / International conference on cientometrics and informetrics (Sydney) , 2002. - 320-497 p. p. - Текст : непосредственный.Математические модели в информатике : Сб. / Науч.ред.С.С.Гончаров, 2002. - 188 с. - Текст : непосредственный.Джиоева Н.Н. Высокоуровневые методы информатики и программирования : Учеб. пособие / Н.Н.Джиоева;Краснояр. гос. акад. цв. металлов и золота и др., 2002. - 83 с. - Текст : непосредственный.Гуц А.К. Комплексный анализ и информатика : Учеб. пособие / А.К.Гуц, 2002. - 143 с. - Текст : непосредственный.Комирев А.Г. Высокоуровневые методы информатики и программирования. Объектно-ориентированный подход на примере языка C++ : Учеб. пособие / А.Г.Комирев, 2003. - 88 с. - Текст : непосредственный.Высокоуровневые методы информатики и программирования : Учеб. пособие / Т.А. Павловская, 2004. - 88 с. - Текст : непосредственный.Высокоуровневые методы информатики и программирования : Учеб. пособие / О.С. Мезенцева, 2004. - 113 с. - Текст : непосредственный.Высокоуровневые методы информатики и программирования : Учеб. пособие для студентов вузов, обучающихся по спец. 351400 - "Прикладная информатика (по областям)" и др. междисциплинар. спец. / Н.Б. Подопригора, 2004. - 215 с. - Текст : непосредственный.Высокоуровневые методы информатики и программирования : Учебник / Е. П. Истомин, В. В. Новиков, М. В. Новикова, 2006. - 227 с. - Текст : непосредственный.Высокоуровневые методы информатики и программирования : учеб. пособие / Т. П. Никитина, 2006. - 142 с. - Текст : непосредственный.Вычислительные методы в информатике : учеб. пособие по курсу "Вычислит. математика" для студентов специальности 220200 -" Автоматизир. системы обработки информации и упр.) / В. И. Колпаков, Н. П. Митяшин, 2006. - 52 с. - Текст : непосредственный.Высокоуровневые методы информатики и программирования : учеб. пособие / О. А. Суворова, 2006. - 138 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽