Приложение
для AndroidПолное описание
Vegt, J. van der Editing objects of a hierarchical structured drawing / J. van derVegt. - Amsterdam : [s. n.], 1990. - 15 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9074). - 1.00 р. - Текст : непосредственный.
Библиогр.:с.14-15
| ГРНТИ | УДК | |
| 81.95.55 | 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. - Текст : непосредственный.
Показать все результатыЛатышев В.Л. Представление информации в системе "человек-компьютер" : Учеб.пособие / В.Л.Латышев,И.А.Клыпина, 1993. - 23 c. - Текст : непосредственный.Информационно-управляющие человеко-машинные системы : Исследование, проектирование, испытания Справ. / А.Н.Адаменко,А.Т.Ашеров,И.Л.Бердников и др.;Под общ. ред. А.И. Губинского, В.Г.Евграфова, 1993. - 527 c. - Текст : непосредственный.Потапова Р.К. Тайны современного Кентавра : Речевое взаимодействие "человек-машина" / Р.К.Потапова, 1992. - 247 c. - Текст : непосредственный.Proceedings, Saint Peterburg, Russia, August 2-6, 1994. Vol. 1, 1994. - 299 p. - Текст : непосредственный.Proceedings, Saint Peterburg, Russia, August 2-6, 1994. Vol. 2, 1994. - 204 p. - Текст : непосредственный.Губинский А.И. Характеристики человека, как звена систем управления : Учеб. пособие / А. И. Губинский, Г. Д. Лаушкин, П. И. Падерно, 1982. - 46 c. - Текст : непосредственный.Арестова О.Н. Специфика психологических методов в условиях использования компьютера : Учеб. пособие / О.Н.Арестова,Л.Н.Бабанин,А.Е.Войскунский;Под ред. О.К.Тихомирова, 1995. - 109 c. - Текст : непосредственный.Ротштейн А.П. Проектирование бездефектных машинных технологий / А.П.Ротштейн,П.Д.Кузнецов, 1992. - 180 c. - Текст : непосредственный.Wang C. Knowledge representation for operator's rule-based behavior with petri net models / C.Wang,H.Yoshikawa, 1995. - 17 p. - Текст : непосредственный.Human-Computer Interaction.Human aspects of business computing : The 6th international conference,EWHCI'96 Moscow, Russia, august 12-16, 1996Proceedings / International centre for scientific and technical information, 1996. - 341 c. - Текст : непосредственный.Engineering for human-computer interaction : Proc.of the IFIP TC2/WG2.7 working conf.on engineering for human-computer interaction,Yellowstone Park(Mt),Aug.1995 / Ed.: L. J. Bass, C. Unger, 1996. - VIII,373 p. p. - Текст : непосредственный.Komunikacja w ukladach czlowiek-maszyna : Konf.nauk.,Szklarska Poreba,16-18 wrzesnia 1991 / сост.red. D. Koczela, 1991. - 85 s. - Текст : непосредственный.Анохин А.Н. Анализ деятельности оператора: модели и методы : Учеб. пособие по курсу "Средства взаимодействия человека с вычисл. системами" / А.Н.Анохин, 1993. - 88 с. - Текст : непосредственный.East-West International Conference on Human-Computer Interaction : EWHCI'93: Proceedings. Vol. 1, 1993. - 256 с. - Текст : непосредственный.East-West International Conference on Human-Computer Interaction : EWHCI'93: Proceedings. Vol. 2, 1993. - 273 с. - Текст : непосредственный.East-West International Conference on Human-Computer Interaction : EWHCI'93: Proceedings. Vol. 3, 1993. - 146 с. - Текст : непосредственный.Ketscher L. CATOOL-Grasping categorical aspects of mental models / L.Ketscher, 1992. - 50 p. - Текст : непосредственный.Baecker R.M. Readings in human-computer interaction: A multidisciplinary approach : Ксерокопия в 3 кор. / R.M.Baecker,W.A.S.Buxton, 1987. - XIII,319 p. p. - Текст : непосредственный.Human factors in computer systems : Proc.,Mar.15-17,1982,Gaithersburg(Md) / Conf.chair:J.A.Nichols. - XIII,399 p. p. - Текст : непосредственный.Алексеев Ю.В. Принятие решений в сложном человеко-машинном комплексе : Препринт / Ю.В.Алексеев,М.И.Левкин, 1992. - 61 с. - Текст : непосредственный.
Показать все результатыГубинский А.И. Характеристики человека, как звена систем управления : Учеб. пособие / А. И. Губинский, Г. Д. Лаушкин, П. И. Падерно, 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. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽