Полное описание
Bos, J. N.E.
ГРНТИ УДК 50.09.31 004.315
Рубрики: Машинная арифметика
Кл.слова (ненормированные): МАШИННАЯ АРИФМЕТИКА
Доп. точки доступа: Coster, M.J.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R8945)
Шифр в сводном ЭК: 4084bcae540a814f55f26c529d6f2edc
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. - Текст : непосредственный. Показать все результаты Пафомов В.Е. Операции с многозначными числами / В. Е. Пафомов, 1993. - 15 с. - Текст : непосредственный. Грушин В.В. Выполнение математических операций в ЭВМ. Основы представления данных / В. В. Грушин, 1994. - 63 c. - Текст : непосредственный. Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный. Гайван А.В. Компьютерная графика и численные методы : монография / А. В. Гайван, 1994. - 114 c. - Текст : непосредственный. Потапов И.В. Арифметические и логические основы цифровых вычислительных устройств : учебное пособие / И. В. Потапов, 2008. - 115 с. - Текст : непосредственный. Медведев В.И. Информационные и арифметические основы ЭВМ / В. И. Медведев, 1992. - 116 с. - Текст : непосредственный. Власов В.В. Вычислительные машины и системы. Арифметические и логические основы построения ЭВМ / В. В. Власов, А. В. Крайников, В. Л. Чепайкин, 1991. - 96 с. - Текст : непосредственный. Акушский И.Я. Машинная арифметика в остаточных классах / И. Я. Акушский, Д. И. Юдицкий, 1968. - 439 с. - Текст : непосредственный. Корнейчук В.И. Арифметические устройства ЭЦВМ, 1973. - 116 с. - Текст : непосредственный. Оцоков Ш.А. Структурно-алгоритмические методы организации высокоточных вычислений на основе теоретических обобщений в модулярной системе счисления : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления", 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / Ш. А. Оцоков, 2010. - 39 с. - Текст : непосредственный. Андреева Е. Системы счисления и компьютерная арифметика / Е. Андреева, И. Фалина, 1999. - 247 с. - Текст : непосредственный. New developments on the core function for efficient implementation of the residue number system operations : сборник научных трудов, 1985. - 90 мкфш. - Текст : непосредственный. Исупов К.С. Методы и алгоритмы организации высокоточных вычислений в арифметике остаточных классов для универсальных процессорных платформ / К. С. Исупов, 2014. - 23 с. - Текст : непосредственный. Тарасов Ю.А. Арифметические и логические основы ЦВМ : Конспект лекций. Ч. 1 : Арифметические основы ЦВМ, 1997. - 124 с. - Текст : непосредственный. Архаров В.И. Арифметические и логические основы цифровых вычислительных машин : выставочные материалы / В. И. Архаров ; Ред. А. Н. Жернак, 1974. - 167 с. - Текст : непосредственный. Никитина Т.П. Системы счисления. Логические основы обработки информации : выставочные материалы / Т. П. Никитина, Л. В. Королев, 2016. - 56 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Пафомов В.Е. Операции с многозначными числами / В. Е. Пафомов, 1993. - 15 с. - Текст : непосредственный. Грушин В.В. Выполнение математических операций в ЭВМ. Основы представления данных / В. В. Грушин, 1994. - 63 c. - Текст : непосредственный. Акушский И.Я. Машинная арифметика в остаточных классах / И. Я. Акушский, Д. И. Юдицкий, 1968. - 439 с. - Текст : непосредственный. Андреева Е. Системы счисления и компьютерная арифметика / Е. Андреева, И. Фалина, 1999. - 247 с. - Текст : непосредственный. New developments on the core function for efficient implementation of the residue number system operations : сборник научных трудов, 1985. - 90 мкфш. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Арифметика, принципы, организации, диагностика и формализованное проектирование вычислительных структур и устройств : Учеб. пособие / В.П.Тарасенко,Н.В.Черкасский,Ю.С.Каневский и др., 1989. - 343 с. - Текст : непосредственный. Bos J.N.E. Addition chain heuristics / J.N.E.Bos,M.J.Coster, 1989. - 9 p. - Текст : непосредственный. Ершов С.С. Машинная арифметика : Учеб. пособие / С.С.Ершов, 1999. - 76 с. - Текст : непосредственный. Шевелев С.С. Основные арифметические операции в современных вычислительных устройствах : учебное пособие / С. С. Шевелев, 2017. - 182 с. - Текст : непосредственный. Грушин В.В. Выполнение математических операций в ЭВМ : Погрешности компьютер.арифметики / В.В.Грушин, 1999. - 55 с. - Текст : непосредственный. Das S. sutra method of solving algebraic equations and finding sums of fraction-additions / S.Das, 1991. - 26 p. - Текст : непосредственный. Андреева Е. Системы счисления и компьютерная арифметика : Учеб.пособие / Е.Андреева,И.Фалина, 2000. - 247 с. - Текст : непосредственный. Данилова О.Т. Представление информации в цифровых устройствах : учеб. пособие / О. Т. Данилова, Б. Д. Женатов, 2013. - 181 с. - Текст : непосредственный. Показать все результаты Пафомов В.Е. Операции с многозначными числами / В. Е. Пафомов, 1993. - 15 с. - Текст : непосредственный. Грушин В.В. Выполнение математических операций в ЭВМ. Основы представления данных / В. В. Грушин, 1994. - 63 c. - Текст : непосредственный. Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный. Потапов И.В. Арифметические и логические основы цифровых вычислительных устройств : учебное пособие / И. В. Потапов, 2008. - 115 с. - Текст : непосредственный. Медведев В.И. Информационные и арифметические основы ЭВМ / В. И. Медведев, 1992. - 116 с. - Текст : непосредственный. Власов В.В. Вычислительные машины и системы. Арифметические и логические основы построения ЭВМ / В. В. Власов, А. В. Крайников, В. Л. Чепайкин, 1991. - 96 с. - Текст : непосредственный. Акушский И.Я. Машинная арифметика в остаточных классах / И. Я. Акушский, Д. И. Юдицкий, 1968. - 439 с. - Текст : непосредственный. Корнейчук В.И. Арифметические устройства ЭЦВМ, 1973. - 116 с. - Текст : непосредственный. Салах Т.Б. Алгоритмическая и структурная организация устройств обработки массивов числовых данных в знакоразрядной системе счисления : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / Т. Б. Салах, 1996. - 16 с. - Текст : непосредственный. Оцоков Ш.А. Структурно-алгоритмические методы организации высокоточных вычислений на основе теоретических обобщений в модулярной системе счисления : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления", 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / Ш. А. Оцоков, 2010. - 39 с. - Текст : непосредственный. Андреева Е. Системы счисления и компьютерная арифметика / Е. Андреева, И. Фалина, 1999. - 247 с. - Текст : непосредственный. New developments on the core function for efficient implementation of the residue number system operations : сборник научных трудов, 1985. - 90 мкфш. - Текст : непосредственный. Исупов К.С. Методы и алгоритмы организации высокоточных вычислений в арифметике остаточных классов для универсальных процессорных платформ / К. С. Исупов, 2014. - 23 с. - Текст : непосредственный. Тарасов Ю.А. Арифметические и логические основы ЦВМ : Конспект лекций. Ч. 1 : Арифметические основы ЦВМ, 1997. - 124 с. - Текст : непосредственный. Архаров В.И. Арифметические и логические основы цифровых вычислительных машин : выставочные материалы / В. И. Архаров ; Ред. А. Н. Жернак, 1974. - 167 с. - Текст : непосредственный. Никитина Т.П. Системы счисления. Логические основы обработки информации : выставочные материалы / Т. П. Никитина, Л. В. Королев, 2016. - 56 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
