Приложение
для AndroidПолное описание
Models of computation : an introduction to computability theory / M. Fernandez ; SpringerLink (Online service). - London : Springer, 2009. - on-line. - (Undergraduate topics in computer science, ISSN 1863-7310). - URL: http://dx.doi.org/10.1007/978-1-84882-434-8. - ISBN 978-1-848-82434-8. - Текст : электронный.
| ГРНТИ | УДК | |
| 27.03.17 | 510.58 |
Кл.слова (ненормированные): ВЫЧИСЛЕНИЯ -- МОДЕЛИ -- ТЕОРИЯ ВЫЧИСЛИМОСТИ
Доп. точки доступа:
Fernandez, M.
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-1-84882-434-8
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004/M78-948959)
Шифр в сводном ЭК: 89811e3e0f5e096e1ccb588adc87c6fb
Sensing Technologies For Precision Irrigation / D. Ćulibrk, D. Vukobratovic, V. Minic [et al.], 2014 r=on-line. - Текст : электронный.COST action E5 workshop on fire safety of medium-rise timber frame residential buildings,Espoo,June 2-3,1997 / COST action E5 workshop on fire safety of medium-rise timber frame residential buildings (1997 ; Espoo) , 1998. - 161 p. - Текст : непосредственный.Tojo G. Oxidation of alcohols to aldehydes and ketones : a guide to current common practice / G. Tojo, M. Fernandez, 2006 r=on-line. - Текст : электронный.Models of computation : an introduction to computability theory / M. Fernandez, 2009 r=on-line. - Текст : электронный.Tojo G. Oxidation of alcohols to aldehydes and ketones : a guide to current common practice / G. Tojo, M. Fernandez, 2006. - 375 p. - Текст : непосредственный.
Hazzan O. Agile software engineering / O. Hazzan, Y. Dubinsky, 2008 r=on-line. - Текст : электронный.Gabbrielli M. Programming languages: principles and paradigms / M. Gabbrielli, S. Martini, 2010 r=on-line. - Текст : электронный.Burger W. Principles of digital image processing : fundamental techniques / W. Burger, M. J. Burge, 2009 r=on-line.Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa., 2011 r=on-line (Введено оглавление). - Текст : электронный.Dowek G. Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek., 2011 r=on-line. - Текст : электронный.Mirkin B. Core Concepts in Data Analysis: Summarization, Correlation and Visualization : монография / by Boris Mirkin., 2011 r=on-line. - Текст : электронный.Ertel W. Introduction to Artificial Intelligence : монография / by Wolfgang Ertel., 2011 r=on-line (Введено оглавление). - Текст : электронный.Oberguggenberger M. Analysis for Computer Scientists : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann., 2011 r=on-line (Введено оглавление). - Текст : электронный.Murty M.N. Pattern Recognition : An Algorithmic Approach / by M. Narasimha Murty, V. Susheela Devi., 2011 r=on-line (Введено оглавление). - Текст : электронный.Mogensen T.E. Introduction to Compiler Design : монография / by Torben Egidius Mogensen., 2011 r=on-line. - Текст : электронный.Chalmers D. Sensing and Systems in Pervasive Computing : Engineering Context Aware Systems / by Dan Chalmers., 2011 r=on-line. - Текст : электронный.Dowek G. Principles of programming languages / G. Dowek, 2009 r=on-line. - Текст : электронный.Nielsen F. A concise and practical introduction to programming algorithms in Java / F. Nielsen, 2009 r=on-line. - Текст : электронный.Models of computation : an introduction to computability theory / M. Fernandez, 2009 r=on-line. - Текст : электронный.Jalote P. A concise introduction to software engineering / P. Jalote, 2008 r=on-line. - Текст : электронный.Vince J.A. Mathematics for computer graphics / J. A. Vince, 2010 r=on-line. - Текст : электронный.Salomon D. Elements of computer security / D. Salomon, 2010 r=on-line. - Текст : электронный.Nielson H. Semantics with applications: an appetizer / H. Nielson, F. Nielson, 2007 r=on-line. - Текст : электронный.Kifer M. Introduction to operating system design and implementation : the OSP 2 Approach / M. Kifer, S. Smolka, 2007 r=on-lineCraig I. Object-oriented programming languages: interpretation / I. Craig, 2007 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 с. - Текст : непосредственный.
Показать все результатыЮлмухаметов, Р. С. Дискретная математика : Курс лекций. Ч. 3 : Машины Тьюринга. Теория графов, 1999. - 47 с. - Текст : непосредственный.Jiang T. Two heads are better than two tapes / T.Jiang,J.I.Seiferas,P.M.B.Vitanyi, 1994. - 12 p. - Текст : непосредственный.Models of computation : an introduction to computability theory / M. Fernandez, 2009 r=on-line. - Текст : электронный.Schonhage A. Fast algorithms : a multitape turing machine implementation / A.Sch@:onhage,A.F.W.Grotefeld,E.Vetter, 1994. - X,397 p. p. - Текст : непосредственный.Ефремов, Евгений Леонидович. Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов, 2021. - 46, [1] с. - Текст (визуальный) : непосредственный.Марченков, Сергей Серафимович. Избранные главы дискретной математики : булева функция, конечный автомат, машина Тьюринга, рекурсивная функция: [учебное пособие] / С. С. Марченков, 2023. - 186 с. - Текст (визуальный) : непосредственный.Кочергин В.С. Численное моделирование распространения возможных загрязнений в Керченском проливе / В. С. Кочергин, С. В. Кочергин. - Текст : непосредственный // Процессы в геосредах. - Москва : "Кватернион", общество с ограниченной ответственностью, 2025. - № 4. - с. 3167-3172
Просмотр издания