Приложение
для AndroidПолное описание
Jiang, T. Two heads are better than two tapes / T.Jiang,J.I.Seiferas,P.M.B.Vitanyi. - Amsterdam : [s. n.], 1994. - 12 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9418). - Текст : непосредственный.
Библиогр.:с.11-12
| ГРНТИ | УДК | |
| 27.47.21 | 510.582 |
Рубрики:
Тьюринга машины
Доп. точки доступа:
Seiferas, J.I.
Vitanyi, P.M.B.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9418)
Шифр в сводном ЭК: d0746787dd3d34ec66025c8444a4543e
Li M. Mathematical theory of thermodynamics of computation / M. Li, P. M.B. Vitanyi, 1992. - 16 p. - Текст : непосредственный.Li M. Combinatorics and Kolmogorov complexity / M.Li,P.M.B.Vitanyi, 1991. - 10 p. - Текст : непосредственный.Linear approximation of shortest superstrings / A.Blum,T.Jiang,M.Li и др., 1991. - 12 p. - Текст : непосредственный.Medical image computing and computer-assisted intervention – MICCAI 2010 : 13th international conference, Beijing, China, September 20-24, 2010: proceedings: pt. I / eds. T. Jiang [et al.], 2010 r=on-line.Medical image computing and computer-assisted intervention – MICCAI 2010 : 13th international conference, Beijing, China, September 20-24, 2010: proceedings: pt. III / ed. T. Jiang, 2010 r=on-line. - Текст : электронный.Jiang T. Blind identification of out-of-cell user in DS-CDMA: An algebraic approach / T.Jiang,N.D.Sidiropoulos, 2001. - 4 p. - Текст : непосредственный.Li M. Optimality of wait-free atomic multiwriter variables / M.Li,P.M.B.Vitanyi, 1991. - 8 p. - Текст : непосредственный.[Reports] / Amer.inst.of aeronautics and astronautics. N 87-2033 : new design approach of compact high performance liquid rocket engine combustors : Papers presentet at AIAA/SAE/ASME/ASEE 23rd joint propulsion conf.June 29-July 2, 1987, San Diego(Ca) / H.H.Chiu,T.L.Jiang, 1987. - 6 p. - Текст : непосредственный.[Reports] / Amer.inst.of aeronautics and astronautics. N 87-2037 : new design approach of compact high performance airbreathing engine combustors : Papers presentet at AIAA/SAE/ASME/ASEE 23rd joint propulsion conf.June 29-July 2, 1987, San Diego(Ca) / T.L.Jiang,H.H.Chiu, 1987. - 5 p. - Текст : непосредственный.Jiang T. Two heads are better than two tapes / T.Jiang,J.I.Seiferas,P.M.B.Vitanyi, 1994. - 12 p. - Текст : непосредственный.Randomized wait-free naming / A.Panconesi,M.Papatriantafilou,P.Tsigas,P.M.B.Vitanyi, 1994. - 13 p. - Текст : непосредственный.Jiang T. Energy Management of Internet Data Centers in Smart Grid / T. Jiang, L. Yu, Y. Cao, 2015 r=on-line. - Текст : электронный.Jiang T. Kalman filtering for power estimation in mobile communications / T.Jiang,N.D.Sidiropoulos,G.B.Giannakis, 2002. - 11 p. - Текст : непосредственный.
Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный.Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный.Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный.Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный.Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный.Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыПивоварчик А.А. Математическое программирование : выставочные материалы / А. А. Пивоварчик, 1997. - 300 с. - Текст : непосредственный.
Ченцов А.Г. Конечно-аддитивные меры и релаксации экстремальных задач / А.Г.Ченцов;Под ред.Н.Н.Красовского, 1993. - 232 c. - Текст : непосредственный.Рыков А.С. Поисковая оптимизация. Методы деформируемых конфигураций / А.С.Рыков, 1993. - 215 c. - Текст : непосредственный.Белоусов Е.Г. Разрешимость и устойчивость задач полиномиального программирования / Е.Г.Белоусов,В.Г.Андронов, 1993. - 271 c. - Текст : непосредственный.Иванов-Погодаев И.А. Машина Минского, свойства нильпотентности и размерность Гельфанда-Кириллова в конечно-определенных полугруппах : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / И. А. Иванов-Погодаев, 2006. - 9 с. - Текст : непосредственный.Чирков А.Ю. О выделении полиномиальных подклассов в задаче целочисленного линейного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. Ю. Чирков, 1993. - 14 с. - Текст : непосредственный.Малиновский Ю.Г. Элементы математического программирования : Учеб.пособие / Ю.Г.Малиновский, 1995. - 100 c. - Текст : непосредственный.Волков Ю.В. Общий стохастический метод внешних аппроксимаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ю. В. Волков, 1996. - 20 с. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Fejer P.A. Mathematical foundations of computer science. Vol. 1 : Sets, relations, and induction, 1991. - X,425 p. - Текст : непосредственный.Юлмухаметов, Р. С. Дискретная математика : Курс лекций. Ч. 3 : Машины Тьюринга. Теория графов, 1999. - 47 с. - Текст : непосредственный.Jiang T. Two heads are better than two tapes / T.Jiang,J.I.Seiferas,P.M.B.Vitanyi, 1994. - 12 p. - Текст : непосредственный.Родионов А.В. Геометрические свойства и численные методы нелинейной оптимизации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. В. Родионов, 1993. - 16 с. - Текст : непосредственный.Schonhage A. Fast algorithms : a multitape turing machine implementation / A.Sch@:onhage,A.F.W.Grotefeld,E.Vetter, 1994. - X,397 p. p. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Юлмухаметов, Р. С. Дискретная математика : Курс лекций. Ч. 3 : Машины Тьюринга. Теория графов, 1999. - 47 с. - Текст : непосредственный.Jiang T. Two heads are better than two tapes / T.Jiang,J.I.Seiferas,P.M.B.Vitanyi, 1994. - 12 p. - Текст : непосредственный.Schonhage A. Fast algorithms : a multitape turing machine implementation / A.Sch@:onhage,A.F.W.Grotefeld,E.Vetter, 1994. - X,397 p. p. - Текст : непосредственный.Марченков, Сергей Серафимович. Избранные главы дискретной математики : булева функция, конечный автомат, машина Тьюринга, рекурсивная функция: [учебное пособие] / С. С. Марченков, 2023. - 186 с. - Текст (визуальный) : непосредственный.
Юлмухаметов, Р. С. Дискретная математика : Курс лекций. Ч. 3 : Машины Тьюринга. Теория графов, 1999. - 47 с. - Текст : непосредственный.Jiang T. Two heads are better than two tapes / T.Jiang,J.I.Seiferas,P.M.B.Vitanyi, 1994. - 12 p. - Текст : непосредственный.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 с. - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽