Полное описание
Соловьев, В. Д. ISBN 5-7464-1072-1. - Текст : непосредственный.
ГРНТИ УДК 50.05.03 510.522
Рубрики: Сложность вычислений
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-93/14907)
Шифр в сводном ЭК: f40a7aecd9122d10f71f7933176ce100
Онтологии и тезаурусы: модели, инструменты, приложения : учебное пособие / Б. В. Добров, В. В. Иванов, Н. В. Лукашевич, В. Д. Соловьев, 2009. - 172 с. - Текст : непосредственный. Соловьев В.Д. Детали машин и подъемно-транспортное оборудование : Учеб. пособие / В.Д.Соловьев, 1994. - 60 c. - Текст : непосредственный. Грузоподъемные машины. Атлас конструкций : учеб.-ил. пособие / В. А. Голутвин [и др.]; под ред. В. Ф. Ковальского, 2016. - 12 с., 112 л. - Текст : непосредственный. Компьютерная лингвистика : Материалы шк.-семинара (Казань, 20-24 окт. 1999 г.) / Ред. В. Д. Соловьев, 1999. - 191 с. - Текст : непосредственный. Соловьев В.Д. Абстрактная теория вычислимости: программистский подход / В.Д.Соловьев, 1993. - 123 c. - Текст : непосредственный. Поляков В.Н. Компьютерные модели и методы в типологии и компаративистике / В. Н. Поляков, В. Д. Соловьев, 2006. - 207 с. - Текст : непосредственный. Соловьев В.Д. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / В. Д. Соловьев, 1995. - 23 с. - Текст : непосредственный. Современные информационные технологии и письменное наследие: от древних текстов к электронным библиотекам : материалы Международ. науч. конф., Казань, 26-30 авг. 2008 г. / Отв. ред.: В. Д. Соловьев, В. А. Баранов, 2008. - 275 с. - Текст : непосредственный. Методы анализа семантических данных математических электронных коллекций / Е. В. Биряльцев, А. М. Елизаров, Н. Г. Жильцов [и др.]. - Текст : непосредственный // НТИ. Сер. 2, Информ. процессы и системы. - М. - 2014. - № 4. - с. 12--17 Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный. Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный. Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный. Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный. Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный. Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный. Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный. Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный. Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный. On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный. Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный. Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный. infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный. Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный. Показать все результаты Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный. Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный. Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный. Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный. Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный. Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный. Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный. Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный. Еловикова Ю.А. Алгоритмы и анализ сложности : выставочные материалы / Ю. А. Еловикова, 2013. - 103 с. - Текст : непосредственный. An introduction to Kolmogorov complexity and its applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Агибалов Г.П. Теория вычислительной сложности : учебное пособие / Г. П. Агибалов, 2018. - 41 с. (Введено оглавление). - Текст : электронный. Fundamentals of computation theory : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski, 2009 r=on-line. - Текст : электронный. Homer S. Computability and complexity theory / S. Homer, A. L. Selman, 2011. - XVI, 298 p. - Текст : непосредственный. Theory and applications of models of computation : 7th Annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010: proceedings / ed. J. Kratochvil, 2010 r=on-line. - Текст : электронный. Algorithms and Complexity : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010: proceedings / ed. T. Calamoneri, 2010 r=on-line. - Текст : электронный. ITRC lecture szries in complexity lectures by A.A. Jacques / Transl.by S. Bellantoni, J.S. Jacques, 1991. - 19 p. - Текст : непосредственный. Кноп А.А. Сложность эвристических вычислений и интерактивных протоколов : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. А. Кноп, 2016. - 22 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
