Приложение
для AndroidПолное описание
Structure in complexity theory conference (5 ; 1990 ; Barselona). Proceedings: fifth annu. structure in complexity conf.Barselona,July 8-11,1990 / Structure in complexity theory conference (5 ; 1990 ; Barselona) . - Washington [etc.] : [s. n.], S. a. - 189 мкф. : ill. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 90CH899-3). - ISBN 0-8186-6072-4. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 27.03.45 | 510.522(062)(086.2) |
Рубрики:
Сложность вычислений -- Съезды и конференции
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): MR-105445)
Шифр в сводном ЭК: 8f8415506dde7dfc2e26f4b934585a0a
Cameron J.R. JSP and JSD : сборник научных трудов / J. R. Cameron, 1989. - X,526 p. p. - Текст : непосредственный.Supercomputing'91 : материалы временных коллективов, 1991. - XXIII,917 p. p. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. J. Diederich, 1990. - VII,141 p. p. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. N. Morgan, 1990. - VIII,130 p. p. - Текст : непосредственный.Prieto-Diaz R. Domain analysis and software systems modeling / R. Prieto-Diaz, G. Arango, 1991. - VIII,299 p. p. - Текст : непосредственный.Matley B.G. National computer policies / B. G. Matley, T. A. McDannold, 1987. - XVII,172 p. p. - Текст : непосредственный.Artificial neural networks:concepts and theory / Сост.Compl.: P. Mehra, B. W. Wah, 1992. - XI,667 p. p. - Текст : непосредственный.Nearest neighbor (NN) norms:NN patern classification techniques / Ed. B. V. Dasarathy, 1991. - XII,447 p. p. - Текст : непосредственный.Multiple-valued logic in VLSI design / Ed. J. T. Butler, 1991. - VII,120 p. p. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный.AUTOTESTCON'87 : материалы временных коллективов, 1987. - XVII,434 p. p. - Текст : непосредственный.Engineering leadership in the 90's (from Al to Jz) : материалы временных коллективов, 1988. - 224 p. - Текст : непосредственный.New frontiers in testing : материалы временных коллективов, 1988. - xxx,1005 p. p. - Текст : непосредственный.Black U.X. X.25 and related protocols / U. X. Black, 1991. - 287 p. - Текст : непосредственный.Hard real-time systems / Ed.: J. A. Stankovic, K. Ramamritham, 1988. - VI,618 p. p. - Текст : непосредственный.Database management : сборник научных трудов / Ed. J. A. Larson, 1987. - VI,440 p. p. - Текст : непосредственный.Modeling and control of automated manufacturing systems / Ed. A. A. Desrochers, 1990. - VIII,373 p. p. - Текст : непосредственный.Computer and network security : сборник научных трудов / Comp.: M. D. Abrams, H. J. Podell, 1987. - VII,430 p. p. - Текст : непосредственный.Tutorial : сборник научных трудов / Ed. K. I. Joy, 1988. - VII,368 p. p. - Текст : непосредственный.
Показать все результатыРоманов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный.Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный.Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2011. - 284 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный.Рябцева Н.Н. Математическая логика и теория алгоритмов : учеб. пособие / Н. Н. Рябцева, Е. И. Омельченко, 2016. - 114 с. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный.Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2-х ч. Ч. 1, 2014. - 164 с. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 2000. - 318 с. - Текст : непосредственный.Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2 ч. Ч. 2, 2014. - 111 с. - Текст : непосредственный.Гринченков Д.В. Математическая логика и теория алгоритмов для программистов : Учеб. пособие / Д. В. Гринченков, С. И. Потоцкий, 2010. - 206 с. - Текст : электронный.Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2014. - 409 с. - Текст : непосредственный.Набебин А.А. Математическая логика и теория алгоритмов : Учеб. пособие / А. А. Набебин, Ю. П. Кораблин, 2008. - 343 с. - Текст : непосредственный.Герасимов А.С. Курс математической логики и теории вычислимости : Учеб. пособие / А. С. Герасимов, 2009. - 234 с. - Текст : непосредственный.Деменков Е.А. Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный.Корячко В.П. Математическая логика и теория алгоритмов : учеб. пособие / В. П. Корячко, А. В. Бакулев, М. А. Бакулева, 2012. - 135 с. - Текст : непосредственный.Borger E. Computability, complexity, logic / E.B@:orger, 1989. - XX, 592 p. 592 p. - Текст : непосредственный.Parallel Processing Letters. - Журнал выходит с 1991г. - Текст : электронный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный.Шапорев С.Д. Математическая логика и теория алгоритмов : Учеб. пособие для студентов вузов, обучающихся по спец. 220200 "Автоматизированные системы обработки информации и управления", 654600 "Информатика и вычислительная техника" / С.Д.Шапорев, 2004. - 227 с. - Текст : непосредственный.Витер Д.А. Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер, 2002. - 12 с. - Текст : непосредственный.
Показать все результаты