Приложение
для AndroidПолное описание
Теория вычислимости и языки спецификации : сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : [б. и.], 1991. - 192 с. : ил. - (Вычислительные системы / Рос.АН.Сиб.отд-ние.Ин-т математики ; n139). - 3.00 р. - Текст : непосредственный.
Библиогр. в конце ст.
| ГРНТИ | УДК | |
| 50.41 | 510.522 | |
| 27.03.45 | 004.432.4 |
Рубрики:
Сложность вычислений
Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): сложность -- вычисление -- программа -- эвм -- спецификация
Доп. точки доступа:
Ершов, Ю.Л.\ред.\
Институт математики (Новосибирск)
Имеются экземпляры в отделах: всего 3 : ПНТ (1), ХР (2)
Свободны: ПНТ (1), ХР (2)
Логические методы в информатике : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 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 с. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыBellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Shen A. A strange application of Kolmogorov complexity / A.Shen, 1993. - 4 p. - Текст : непосредственный.Батищев Д.И. Вычислительная сложность экстремальных задач переборного типа : Учеб.пособие / Д.И.Батищев,Д.И.Коган, 1994. - 114 c. - Текст : непосредственный.Соловьев В.Д. Абстрактная теория вычислимости: программистский подход / В.Д.Соловьев, 1993. - 123 c. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений : Попул. введ. в теорию чисел и арифмет. теорию сложности / С.Б.Гашков,В.Н.Чубариков, 1996. - 239 c. - Текст : непосредственный.Структурные алгоритмические свойства вычислимости : Сб. науч. тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1996. - 152 c. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д.Э.Сэвидж;Пер.с англ.Под ред.О.М.Касим-Заде, 1998. - 368 с. - Текст : непосредственный.Обобщенная вычислимость и определимость : Сб.науч.тр. / Редкол.:Н.Г.Загоруйко (гл.ред.) и др., 1998. - 175 с. - Текст : непосредственный.Романов Р.В. Некоторые проблемы обобщенной вычислимости / Р.В.Романов, 1998. - 31 с. - Текст : непосредственный.Теория вычислимости и языки спецификации : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1991. - 192 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р.Г.Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Brookshear J.G. Theory of computation: formal languages, automata, and complexity / J.G.Brookshear, 1989. - 322 мкф. - Текст : непосредственный.Algorithms and complexity / ed. J. van Leeuwen, 1990. - IX, 996 p. 996 p. - Текст : непосредственный.Bach E. complexity of number theoretic problems / E.Bach,M.Giesbrecht,J.McInnes, 1991. - 52,19 p. p. - Текст : непосредственный. ITRC lecture szries in complexity lectures by A.A. Jacques / Transl.by S. Bellantoni, J.S. Jacques, 1991. - 19 p. - Текст : непосредственный.Григорьев В.Н. Оценка сложности вычислительных алгоритмов : Учеб. пособие для студентов мех.-мат. фак. / В. Н. Григорьев, С. Л. Кожанов, К. И. Ляшков, 1990. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 2000. - 318 с. - Текст : непосредственный.Coster M.J. Some algorithms on addition chains and thier complexity / M.J.Coster, 1990. - 69 p. - Текст : непосредственный.Структурные и сложностные проблемы вычислимости : Сб.науч.тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1999. - 208 с. - Текст : непосредственный.
Показать все результатыКожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Бухвалова В.В. DROL - язык спецификации для задач вычислительной геометрии : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. В. Бухвалова, 1995. - 15 с. - Текст : непосредственный.Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный.Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко, 1997. - 16 с. - Текст : непосредственный.Хмельнов А.Е. Язык FlexT для спецификации бинарных форматов данных : Автореферат диссертации на соискание ученой степени канд.техн.наук: 05.13.11 / А. Е. Хмельнов, 2000. - 17 с. - Текст : непосредственный.Дудаков С.М. Вычислительная сложность некоторых задач математической логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. М. Дудаков, 2000. - 17 с. - Текст : непосредственный.Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов, 2003. - 26 с. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Shen A. A strange application of Kolmogorov complexity / A.Shen, 1993. - 4 p. - Текст : непосредственный.Proceedings of the 7th annual structure in complexity theory conference June 22-25,1992,Boston(Ma) / Structure in complexity theory conference (7 ; 1992 ; Boston,Ma.) , 1992. - VIII,347 p. p. - Текст : непосредственный.Proceedings: fifth annu. structure in complexity conf.Barselona,July 8-11,1990 / Structure in complexity theory conference (5 ; 1990 ; Barselona) . - 189 мкф. - Текст : непосредственный.Соловьев В.Д. Абстрактная теория вычислимости: программистский подход / В.Д.Соловьев, 1993. - 123 c. - Текст : непосредственный.Структурные алгоритмические свойства вычислимости : Сб. науч. тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1996. - 152 c. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д.Э.Сэвидж;Пер.с англ.Под ред.О.М.Касим-Заде, 1998. - 368 с. - Текст : непосредственный.Обобщенная вычислимость и определимость : Сб.науч.тр. / Редкол.:Н.Г.Загоруйко (гл.ред.) и др., 1998. - 175 с. - Текст : непосредственный.Functional programming languages and computer architecture : Proc. of the 5th ACM conf. .. Aug. 26-30, 1991, Cambridge / Ed. J. Hughes, 1991. - VIII, 666 p. 666 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J.F.Groote,A.Ponse, 1991. - 41 p. - Текст : непосредственный.Теория вычислимости и языки спецификации : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1991. - 192 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р.Г.Нигматуллин, 1991. - 239 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽