Полное описание
> An introduction to Kolmogorov complexity and its applications / SpringerLink (Online service) ; ed. D. Gries. - New York, NY : Springer, 2008. - on-line. - (Texts in computer science, ISSN 1868-0941). - URL: http://dx.doi.org/10.1007/978-0-387-49820-1 . - ISBN 978-0-387-49820-1. - Текст : электронный.
Рубрики: Сложность вычислений
Доп. точки доступа: Gries, D.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-0-387-49820-1
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 510.52/A53-120292)>
Шифр в сводном ЭК: d54914f03d001a808a86be96f5dd8f72
Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный. An introduction to Kolmogorov complexity and its applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Weiss S.M. Fundamentals of predictive text mining / S. M. Weiss, T. Zhang, N. Indurkhya, 2010 r=on-line. - Текст : электронный. Dandamudi S. Introduction to assembly language programming : for pentium and RISC processors / S. Dandamudi, 2005 r=on-line. - Текст : электронный. Jalote P. An integrated approach to software engineering / P. Jalote, 2005 r=on-line. - Текст : электронный. Alagar V.S. Specification of Software Systems : монография / by V.S. Alagar, K. Periyasamy., 2011 r=on-line (Введено оглавление). - Текст : электронный. Salomon D. Computer Graphics Manual : монография / by David Salomon., 2011 r=on-line (Введено оглавление). - Текст : электронный. Homer S. Computability and Complexity Theory : учебник / by Steven Homer, Alan L. Selman., 2011 r=on-line (Введено оглавление). - Текст : электронный. Page D. Practical introduction to computer architecture / D. Page, 2009 r=on-line. - Текст : электронный. Singh A. Elements of computation theory / A. Singh, 2009 r=on-line. - Текст : электронный. Apt K. Verification of sequential and concurrent programs / K. Apt, F. Boer, E. Olderog, 2009 r=on-line. - Текст : электронный. Kizza J.M. Ethical and social issues in the information age / J. M. Kizza, 2010 r=on-line. - Текст : электронный. Guide to intelligent data analysis : how to intelligently make sense of real data / M. R. Berthold [et al.], 2010 r=on-line. - Текст : электронный. Kozen D. Theory of computation / D. Kozen, 2006 r=on-line. - Текст : электронный. Kizza J. Ethical and social issues in the information age / J. Kizza, 2007 r=on-line Munakata T. Fundamentals of the new artificial intelligence : neural, evolutionary, fuzzy and more / T. Munakata, 2007 r=on-line. - Текст : электронный. Revesz P. Introduction to databases : from bological to satio-temporal / P. Revesz, 2010 r=on-line. - Текст : электронный. Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный. Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный. Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный. Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line. Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Показать все результаты Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 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 с. - Текст : непосредственный. Показать все результаты Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 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. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный. Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный. Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный. Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный. Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный. Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный. Parameterized and exact computation / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный. Ромащенко А.Е. Неравенства для колмогоровской сложности и общая информация : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Е. Ромащенко, 2000. - 14 c. - Текст : непосредственный. Соколов Д.О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении / Д. О. Соколов, 2014. - 17 с. - Текст : непосредственный. Computational complexity theory : сборник научных трудов / Ed. J. Hartmanis, 1989. - IX,128 p. p. - Текст : непосредственный. An introduction to Kolmogorov complexity and its applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. New computational paradigms / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Просмотр издания