Приложение
для AndroidПолное описание
Barendregt, H. P. Computable processes / H. P. Barendregt, H. Wupper, H. Mulder. - Amsterdam : [s. n.], 1994. - 27 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9428). - Текст : непосредственный.
Библиогр.:с.26-27
| ГРНТИ | УДК | |
| 50.33.31 | 004.384 |
Рубрики:
Вычислительные машины управляющие
Доп. точки доступа:
Wupper, H.
Mulder, H.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9428)
Шифр в сводном ЭК: 76f98390582c1d7385139f4e236b0230
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. - Текст : непосредственный.
Показать все результатыМетодология построения интегрированных систем управления на основе сетей ЭВМ : сборник научных трудов / Институт кибернетики им. В. М. Глушкова (Киев), 1989. - 108 с. - Текст : непосредственный.Васильев А.Е. Микроконтроллеры. Разработка встраиваемых приложений / А. Е. Васильев, 2003. - 210 с. - Текст : непосредственный.Пучков И.И. Проблемы коммутации и синхронной передачи информации в суперЭВМ : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / И. И. Пучков, 2000. - 25 с. - Текст : непосредственный.Pavicic M. Quantum computation and quantum communication / M. Pavicic, 2006 r=on-line. - Текст : электронный.Quantum computing in solid state systems / SpringerLink (Online service), 2006 r=on-lineЛазарев Г. АСКУ СВТ. Адаптивная система контроля и управления средствами вычислительной техники / Г. Лазарев, В. Грот, 2013. - 102 с. - Текст : непосредственный.Управляющие вычислительные машины в АСУ технологическими процессами : Пер. с англ. под ред. И.М.Шенброта, М.В.Гальперина / Под ред. Т.Харрисона. Т. 1, 1975. - 531 с. - Текст : непосредственный.Суэмацу Е. Микрокомпьютерные системы управления. Первое знакомство / Е. Суэмацу, 2002. - 255 с. - Текст : непосредственный.Суперкомпьютерные технологии. СКТ-2014 : материалы 3-й Всерос. науч.-техн. конф., 29 сент.-4 окт. 2014 г., Дивноморское, Геленджик : в 2 т. / Юж. федер. ун-т [и др.]. Т. 2, 2014. - 271 с. (Введено оглавление). - Текст : непосредственный.Суперкомпьютерные технологии. СКТ-2014 : материалы 3-й Всерос. науч.-техн. конф., 29 сент.-4 окт. 2014 г., Дивноморское, Геленджик : в 2 т. / Юж. федер. ун-т [и др.]. Т. 1, 2014. - 223 с. - Текст : непосредственный.Суперкомпьютерные технологии. СКТ-2012 : материалы временных коллективов / Южный федеральный ун-т (Ростов-на-Дону), 2012. - 409 с. - Текст : непосредственный.Куприянов М.С. Отказоустойчивые микропроцессорные системы управления / М. С. Куприянов, 1990. - 19 c. - Текст : непосредственный.Суперкомпьютерные технологии. СКТ-2014 : материалы 3-й Всерос. научн.-техн. конф., 29 сент.-4 окт. 2014 г., Дивноморское, Россия / Юж. федер. ун-т [и др.]. Т. 1, 2014 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Гаврилов М.И. Математическое моделирование квантовых волноводов с локальными возмущениями / М. И. Гаврилов, 2011. - 14 с. - Текст : непосредственный.Управляющие системы и машины / Нац.акад.наук Украины. - Журнал выходит с 1972г. - Текст : непосредственный.Микропроцессорные системы управления структурно-сложными техническими объектами : сборник научных трудов / Ташкентский политехнический ин-т им. А. Р. Беруни, 1990. - 56 с. - Текст : непосредственный.История отечественных управляющих вычислительных машин (1955-1987 гг.) : сборник / Ред. Я. А. Хетагуров, 2011. - 215 с. - Текст : непосредственный.Богатырев В.А. Теория и методы обеспечения отказоустойчивости управляющих компьютерных систем с динамическим распределением запросов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. А. Богатырев, 2002. - 32 с. - Текст : непосредственный.Дюжин А.Т. Элементная база и архитектура микропроцессорных систем управления / А. Т. Дюжин, 1990. - 81 с. - Текст : непосредственный.Supercomputing'88 : материалы временных коллективов, 1988. - XII,458 p. p. - Текст : непосредственный.
Показать все результатыУправляющие вычислительные машины в АСУ технологическими процессами : Пер. с англ. под ред. И.М.Шенброта, М.В.Гальперина / Под ред. Т.Харрисона. Т. 1, 1975. - 531 с. - Текст : непосредственный.Rose M. Interfacetechnik : монография / M. Rose, 1991. - 208 S. - Текст : непосредственный.Barendregt H.P. Computable processes / H. P. Barendregt, H. Wupper, H. Mulder, 1994. - 27 p. - Текст : непосредственный.
Бычков М.Г. Промышленные компьютеры и программируемые логические контроллеры : Учеб.пособие по курсу "Автоматизация технол.процессов" для студентов по направлению "Электротехника, электромеханика и электротехнологии" / М.Г.Бычков, 2002. - 92 с. - Текст : непосредственный.Секаев В.Г. Вычислительные устройства в автоматизированных системах управления : учеб. пособие / В. Г. Секаев, 2007. - 223 с. - Текст : непосредственный.Li Y. Bewertung der Echtzeitfanigkeit von Feldbus-Systemen / Y.Li, 1993. - X,179 S. S. - Текст : непосредственный.Вопросы кибернетики / Ин-т кибернетики. Вып. 142 : Вычислительная техника в управлении / сост., ред. Т. Ф. Бекмуратов, 1990. - 126 с. - Текст : непосредственный.Индустриальные компьютерные системы : Электронный каталог: Более 3000 продуктов в каталоге: Сокращенная off-line версия, 2003. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.ЭВМ и микропроцессоры в системах контроля и управления : Сб. науч. тр. / Моск. гос. автомоб.-дор. ин-т (техн.ун-т), 1996. - 74 с. - Текст : непосредственный.Просочкин А.С. Многоканальные периферийные устройства управляющих ЭВМ : Учеб. пособие / А. С.Просочкин, 1993. - 44 c. - Текст : непосредственный.Управляющие вычислительные комплексы : Учеб. пособие для студентов вузов по направлению "Информ. системы", спец. "Вычисл. машины, комплексы, системы и сети" направления "Информатика и вычисл. техника" / Н.Л.Прохоров,Г.А.Егоров,В.Е.Красовский и др., 2003. - 351 с. - Текст : непосредственный.Управляющие ЭВМ : Учеб.пособие для вузов по направлению "Информатика и вычисл.техника" и спец."Вычисл.машины, комплексы, систем ы и сети","Автоматизир. системы обраб. информации и упр." / Г.А.Егоров,В.Е.Красовский,Н.Л.Прохоров и др., 1999. - 135 с. - Текст : непосредственный.Прищепа, Л. С. Компьютерные средства в системах автоматизации и управления : Учеб. пособие. Кн. 1 : Процессорные средства вычислительных систем, 1998. - 203 с. - Текст : непосредственный.Melakari K. A VHDL simulator in a co-verification environment / K.Melakari, 1998. - 91 p. - Текст : непосредственный.Петров К.Н. Асинхронные структуры с управляемыми переходными процессами / К.Н.Петров, 1990. - 46 c. - Текст : непосредственный.Управляющие ЭВМ серии АЕС 80 фирмы Телефункен. Термины и определения / ВЦП. - 112 c. - Текст : непосредственный.Применение ЭВМ в автоматизированных системах : Учеб. пособие / Б.М.Басок,В.Е.Красовский,К.В.Песелев и др., 1998. - 95 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Методология построения интегрированных систем управления на основе сетей ЭВМ : сборник научных трудов / Институт кибернетики им. В. М. Глушкова (Киев), 1989. - 108 с. - Текст : непосредственный.Васильев А.Е. Микроконтроллеры. Разработка встраиваемых приложений / А. Е. Васильев, 2003. - 210 с. - Текст : непосредственный.Бутырин Н.Г. Микропроцессоры в системах автоматического управления INTEL 8XC2196VC / Н. Г. Бутырин, Н. Г. Бутырин, О. П. Кан, А. Л. Логинов, А. Н. Щербина, 1995. - 114 c. - Текст : непосредственный.Лазарев Г. АСКУ СВТ. Адаптивная система контроля и управления средствами вычислительной техники / Г. Лазарев, В. Грот, 2013. - 102 с. - Текст : непосредственный.Полунин А.И. Обработка экспериментальных данных / А. И. Полунин, 1992. - 82 c. - Текст : непосредственный.Управляющие вычислительные машины в АСУ технологическими процессами : Пер. с англ. под ред. И.М.Шенброта, М.В.Гальперина / Под ред. Т.Харрисона. Т. 1, 1975. - 531 с. - Текст : непосредственный.Суэмацу Е. Микрокомпьютерные системы управления. Первое знакомство / Е. Суэмацу, 2002. - 255 с. - Текст : непосредственный.Куприянов М.С. Отказоустойчивые микропроцессорные системы управления / М. С. Куприянов, 1990. - 19 c. - Текст : непосредственный.Управляющие системы и машины / Нац.акад.наук Украины. - Журнал выходит с 1972г. - Текст : непосредственный.Микропроцессорные системы управления структурно-сложными техническими объектами : сборник научных трудов / Ташкентский политехнический ин-т им. А. Р. Беруни, 1990. - 56 с. - Текст : непосредственный.История отечественных управляющих вычислительных машин (1955-1987 гг.) : сборник / Ред. Я. А. Хетагуров, 2011. - 215 с. - Текст : непосредственный.Каримов Р.Н. Обработка экспериментальной информации : Учеб. пособие. Ч. 1 : Разведочный анализ. Анализ качественных данных, 1999. - 104 с. - Текст : непосредственный.Богатырев В.А. Теория и методы обеспечения отказоустойчивости управляющих компьютерных систем с динамическим распределением запросов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. А. Богатырев, 2002. - 32 с. - Текст : непосредственный.Дюжин А.Т. Элементная база и архитектура микропроцессорных систем управления / А. Т. Дюжин, 1990. - 81 с. - Текст : непосредственный.Ковалев А.А. Интеллектуальная система автоматизированного проектирования структур многомашинных управляющих вычислительных систем : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. А. Ковалев, 1994. - 19 с. - Текст : непосредственный.Тучинский С.В. Математическое и программное обеспечение микропроцессорной системы управления потенциально опасными объектами : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. В. Тучинский, 2000. - 16 с. - Текст : непосредственный.Управляющие вычислительные комплексы ПС 1001. Вторая очередь : методический материал, 1989. - 200 с. - Текст : непосредственный.Раков В.И. Программный инструментарий информационных систем сверхбыстродействующих вычислительных средств управления / В. И. Раков, О. В. Захарова, 2013. - 505 с. - Текст : непосредственный.Мигулев Ю.А. Микропроцессорые устройства систем управления / Ю. А. Мигулев, 1999. - 96 с. - Текст : непосредственный.Яричин Е.М. Микропроцессорные системы управления / Е. М. Яричин, 2005. - 180 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽