Приложение
для AndroidПолное описание
Kuijk, A. A.M. Temporal issues of animate response / A.A.M.Kuijk. - Amsterdam : [s. n.], 1989. - 11 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R8960). - 1.00 р. - Текст : непосредственный.
Библиогр.в конце кн.
| ГРНТИ | УДК | |
| 50.43 | 007.51 |
Рубрики:
Система "человек-машина"
Кл.слова (ненормированные): система
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыПроектирование дежурного помещения с пультом безопасности / ВЦП. - 15 c. - Текст : непосредственный.Все о системах управления физическим доступом / ВЦП. - 107 с. - Текст : непосредственный.Все относительно биометрического контроля за доступом / ВЦП. - 59 c. - Текст : непосредственный.Системы контроля за доступом серии МАС фирмы Раско / ВЦП. - 15 c. - Текст : непосредственный.Программное обеспечение системы автоматизированного контроля : Инструкция пользователя / ВЦП. - 50 c. - Текст : непосредственный.Системы автоматического тестирования серии 900 : Справочное руководство по техническому обслуживанию / ВЦП. - 274 c. - Текст : непосредственный.Процессор связи СР 535 с пакетом программ СОМ 535 : Руководство по эксплуатации / ВЦП. - 187 c. - Текст : непосредственный.Смирнов Н.В. Синтез управлений в билинейных системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Н. В. Смирнов, 1991. - 10 с. - Текст : непосредственный.Каширова Л.Ф. Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Л. Ф. Каширова, 1991. - 15 с. - Текст : непосредственный.Забелло Л.Е. Методы решения вырожденных задач оптимального управления для динамических систем с запаздываниями : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.11 / Л. Е. Забелло, 1991. - 24 с. - Текст : непосредственный.Гусев Е.Л. Математические методы синтеза слоистых структур при волновых воздействиях : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук / Е. Л. Гусев, 1991. - 33 с. - Текст : непосредственный.Решетникова Н.Н. Функциональное диагностирование динамических систем на основе позиционных инвариантов сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Н. Н. Решетникова, 1991. - 15 с. - Текст : непосредственный.Цветов М.А. Моделирование и оценивание составляющих аддитивно-мультипликативных случайных процессов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16 / М. А. Цветов, 1990. - 23 с. - Текст : непосредственный.Кашкинбаев С.Б. Локализация неисправностей функционально-непрерывных элементов управления систем с ограниченным доступом : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Б. Кашкинбаев, 1991. - 14 с. - Текст : непосредственный.Баширов А.Э. Управление и фильтрация в линейных системах со сложными взаимосвязанными возмущениями : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09;01.01.05 / А. Э. Баширов, 1991. - 27 с. - Текст : непосредственный.Никитина М.Г. Управляемость,наблюдаемость и стабилизируемость бесконечномерных линейных систем с конечномерными входом и выходом : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.11 / М. Г. Никитина, 1991. - 23 с. - Текст : непосредственный.Юй Чуньсюань.Разработка и исследование методов идентификации линейных динамических объектов с интервальной неопределенностью в экспериментальных данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Юй Чуньсюань, 1991. - 18 с. - Текст : непосредственный.Вербицкий Д.Э. Ранние отказы и надежность специализированных элементов и устройств систем управления : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05:05.27.05 / Д. Э. Вербицкий, 1991. - 19 с. - Текст : непосредственный.Деревицкий К.Д. Децентрализованное управление в логико-динамических системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / К. Д. Деревицкий, 1991. - 16 с. - Текст : непосредственный.Козякин В.С. Методы исследования устойчивости рассинхронизованных импульсных систем : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.11 / В. С. Козякин, 1991. - 35 с. - Текст : непосредственный.
Показать все результатыГубинский А.И. Характеристики человека, как звена систем управления : Учеб. пособие / А. И. Губинский, Г. Д. Лаушкин, П. И. Падерно, 1982. - 46 c. - Текст : непосредственный.Арестова О.Н. Специфика психологических методов в условиях использования компьютера : Учеб. пособие / О.Н.Арестова,Л.Н.Бабанин,А.Е.Войскунский;Под ред. О.К.Тихомирова, 1995. - 109 c. - Текст : непосредственный.Wang C. Knowledge representation for operator's rule-based behavior with petri net models / C.Wang,H.Yoshikawa, 1995. - 17 p. - Текст : непосредственный.Анохин А.Н. Анализ деятельности оператора: модели и методы : Учеб. пособие по курсу "Средства взаимодействия человека с вычисл. системами" / А.Н.Анохин, 1993. - 88 с. - Текст : непосредственный.Ketscher L. CATOOL-Grasping categorical aspects of mental models / L.Ketscher, 1992. - 50 p. - Текст : непосредственный.Алексеев Ю.В. Принятие решений в сложном человеко-машинном комплексе : Препринт / Ю.В.Алексеев,М.И.Левкин, 1992. - 61 с. - Текст : непосредственный.Человеко-машинные системы и анализ данных : Сб. науч. тр. / Рос.АН.Ин-т пробл. передачи информ., 1992. - 174 с. - Текст : непосредственный.Попечителев Е.П. Инженерно-психологические аспекты синтеза систем отображения информации : Учеб. пособие / Е.П.Попечителев, 1991. - 78 с. - Текст : непосредственный.Vegt J. van der Editing objects of a hierarchical structured drawing / J. van derVegt, 1990. - 15 p. - Текст : непосредственный.Человеко-машинные комплексы. Алгоритмизация процессов управления и принятия решений : сборник статей / под ред. Ю. С. Вишнякова, 1992. - 97 с. - Текст : непосредственный.Rijn A.van Natural language communication between man and machine : Diss. / A.van Rijn, 1991. - XIV,159 p. p. - Текст : непосредственный.Krueger M.W. Artificial reality II / M.W.Krueger, 1991. - XVII,286 p. p. - Текст : непосредственный.Присняков В.Ф. Математическое моделирование переработки информации оператором человеко-машинных систем / В.Ф.Присняков,Л.М.Приснякова, 1990. - 247 c. - Текст : непосредственный.Hausser R. Computation of language : An essay on syntax, semantics and progmatics in natural man-machine communication / R.Hausser, 1989. - XVI,425 p. p. - Текст : непосредственный.Kuijk A.A.M. Temporal issues of animate response / A.A.M.Kuijk, 1989. - 11 p. - Текст : непосредственный.Системное проектирование взаимодействия человека с техническими средствами / В.М.Гасов,А.В.Меньков,Л.А.Соломонов,А.В.Шигин, 1991. - 142 c. - Текст : непосредственный.Waern Y. Cognitive aspects of computer supported tasks / Y.Waern, 1989. - XXII,327 p. p. - Текст : непосредственный.Hampp A. Bedienergesteuerte Anpassung einer Benutzungsoberflache unter Berucksichtigung verschiedener Dialogformen und Interaktionstechniken : Diss. / A.Hampp, 1989. - 173 S. - Текст : непосредственный.Королев А.В. Программный продукт ВЭСС для вероятностного анализа сложных человеко-машинных систем / А.В.Королев,А.Н.Румянцев, 2000. - 12 с. - Текст : непосредственный.Мингазетдинов И.Х. Анализ безопасности систем "человек - машина - среда" методом древовидных структур : Учеб. пособие / И.Х.Мингазетдинов,В.Л.Романовский,К.М.Газизуллин;Под ред. А.В. Демина, 2000. - 29 с. - Текст : непосредственный.
Показать все результатыЮрченко В.В. Разработка аппарата функциональных сетей для построения интегрированных человеко-машинных систем : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.11,05.13.16 / В. В. Юрченко, 1991. - 32 с. - Текст : непосредственный.Рыжов А.П. О выборе качественных признаков описаний объектов средствами теории нечетких множеств : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. П. Рыжов, 1992. - 17 с. - Текст : непосредственный.Галицкий Б.А. Естественно-языковое взаимодействие с ЭВМ в расширяемой предметной области : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Б. А. Галицкий, 1993. - 19 с. - Текст : непосредственный.Золотарев О.В. Метод и инструментальные средства построения и применения баз знаний с семантическим контролем в человеко-машинных системах ситуационного управления : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.06 / О. В. Золотарев, 1993. - 20 с. - Текст : непосредственный.Исаев И.А. Метод и средства поддержки проектирования моделей информационной структуры ситуационных систем отображения информации : Автореферат диссертации на соискание ученой степени канд.техн.наук:06.13.06 / И. А. Исаев, 1994. - 16 с. - Текст : непосредственный.Косарев Ю.А. Исследование и разработка методов смысловой интерпретации устной речи : Автореферат диссертации на соискание ученой степени д-ра техн.наук: 05.13.16 / Ю. А. Косарев, 1994. - 39 с. - Текст : непосредственный.Полякова И.Н. Синтаксический анализатор адаптивной системы общения человека с ЭВМ на естественном языке. Пунктуационный компонент : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / И. Н. Полякова, 1994. - 16 с. - Текст : непосредственный.Топровер Г.Л. Базовые единицы слитной речи и их использование в решении задачи свободного естественно-языкового человеко-машинного общения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Г. Л. Топровер, 1995. - 22 с. - Текст : непосредственный.Калечиц И.Н. методология построения, моделирования и комплексной оценки качества человеко-машинных систем управления : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.16 / И. Н. Калечиц, 1998. - 37 с. - Текст : непосредственный.Гольбан Е.В. Разработка методов принятия решения в условиях неопределенности исходных данных; теоретико-игровой подход : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Е. В. Гольбан, 1998. - 24 с. - Текст : непосредственный.Мелешко А.В. Разработка методов и средств оперативного контроля функционального состояния операторов сложных человеко-машинных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.09 / А. В. Мелешко, 2000. - 15 с. - Текст : непосредственный.Токмаков Г.П. Методы и средства обобщенной ассоциативной обработки символьной и смысловой информации в устройствах общения на естественном языке : Автореферат диссертации на соискание ученой степени д-ра техн. наук :05.13.05 / Г. П. Токмаков, 2001. - 33 с. - Текст : непосредственный.Гриф М.Г. Автоматизация проектирования процессов функционирования человеко-машинных систем по вероятностным и нечетким показателям : автореф. дис. .. д-ра техн. наук : 05.13.17 / М. Г. Гриф, 2002. - 35 с. - Текст : непосредственный.Пущин М.Н. Разработка Concept tree модели представления и контроля знаний, обеспечивающей заданный уровень функционирования человеко-машинных систем управления : автореф. дис. .. канд. техн. наук : 05.13.01 / М. Н. Пущин, 2003. - 17 с. - Текст : непосредственный.Тудэвдагва Уранчимэг.Автоматизация проектирования человеко-машинных систем на основе метода последовательной оптимизации : автореф. дис. .. канд. техн. наук : 05.13.17 / Тудэвдагва Уранчимэг, 2003. - 20 c. - Текст : непосредственный.Информационно-управляющие человеко-машинные системы : Исследование, проектирование, испытания Справ. / А.Н.Адаменко,А.Т.Ашеров,И.Л.Бердников и др.;Под общ. ред. А.И. Губинского, В.Г.Евграфова, 1993. - 527 c. - Текст : непосредственный.Потапова Р.К. Тайны современного Кентавра : Речевое взаимодействие "человек-машина" / Р.К.Потапова, 1992. - 247 c. - Текст : непосредственный.Verification and validation of complex systems:Human factors issues : Proc.of the NATO advanced study inst.on verification and validation of complex and integrated human-machine systems,July 6-17 1992,Vimeiro,Portugal / сост.ed. J. A. Wise, 1993. - 705 p. - Текст : непосредственный.Губинский А.И. Характеристики человека, как звена систем управления : Учеб. пособие / А. И. Губинский, Г. Д. Лаушкин, П. И. Падерно, 1982. - 46 c. - Текст : непосредственный.Арестова О.Н. Специфика психологических методов в условиях использования компьютера : Учеб. пособие / О.Н.Арестова,Л.Н.Бабанин,А.Е.Войскунский;Под ред. О.К.Тихомирова, 1995. - 109 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽