Приложение
для AndroidПолное описание
Real time computing : proc.of the NATO advanced study inst.on real time computing / ed. W. A. Halang, ed. A. D. Stoyenko. - Berlin[etc.] : Springer, 1994. - XXII,762 p. p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.127). - ISBN 3-540-57558-8 : 494000 р. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 50.39.29 | 004.7.031.43(063) |
Рубрики:
Вычислительные системы реального времени -- Съезды и конференции
Кл.слова (ненормированные): вычислительная система
Доп. точки доступа:
Halang, W.A.\ed.\
Stoyenko, A.D.\ed.\
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Shape in picture : Mathematical description of shape in Grey-level images:Proc.of the NATO advanced research workshop,Driebergen,Sept.7-11,1992 / Сост. Y.-L. O, 1994. - X,676 p. p. - Текст : непосредственный.Constraint programming : Proc.of the NATO advanced study inst.on constraint programming,Parnu,Estonia,Aug.13-24,1993 / Ed. B. Mayoh, 1994. - 449 p. - Текст : непосредственный.Cognitive tools for learning : Proc.of the NATO advanced study inst.of mindtoolsCognitive technologies for modeling knowledge,held in Enschede,July 4-10,1990 / сост.ed. P. A.M. Kommers, 1992. - X,276 p. p. - Текст : непосредственный.New systems and architectures for automatic speech recognition and synthesis : Proc.of the NATO advanced study inst.on new systems and architectures for automatic speech recognition and synthesis,2-14 July,1984,Bonas,Gers / сост.ed. R. De Mori, сост.ed. C. Y. Suen, 1985. - XII,629 p. p. - Текст : непосредственный.Intelligent tutoring systems for foreign language learning : Proc.of the NATO advanced research workshop"The bridge to international communication:Intelligent tutoring systems for foreign language learning",Sept.19-21,1990,Washington(DC) / сост.ed. M. L. Swartz, сост.ed. M. Yazdani, 1992. - IX,347 p. p. - Текст : непосредственный.Computer-based learning environments and problem solving : Proc.of the NATO advanced research workshop on computer based learning environments and problem solving,held in Leuven,Sept.26-29,1990 / ed. E.de Corte, 1992. - VII,484 p. p. - Текст : непосредственный.Intelligent learning environments and knowlege acquisition in physics : Proc.of the NATO advanced research workshop on knowledge acquisition in the domain of physics and intelligent learning environments,held in Lyon,July 8-12,1990 / сост.ed. A. Tiberghien, сост.ed. H. Mandl, 1992. - VIII,283 p. p. - Текст : непосредственный.Computer algorithms for solving linear algebraic equations:The state of the art : Proc.of the NATO advanced study inst.on computer algorithms for solving linear algebraic equations:The state of the art,Barga,Sept.9-21 1990 / сост.ed. E. Spedicato, 1991. - 352 p. - Текст : непосредственный.Integrating advanced technology into technology education : Proc.of the NATO advanced research workshop on integrating advanced technology into technology education,Eindhoven,Oct.9-12 1990 / Ed. M. Hacker, 1991. - 184 p. - Текст : непосредственный.Logic,algebra and computation : Proc.of the NATO advanced study inst.on logic,algebra and computation,Marktoberdorf,July 25-Aug.6 1989 / сост.ed. F. L. Bauer, 1991. - 485 p. - Текст : непосредственный.Logic and algebra of specification : Proc.of the NATO advanced study inst.on logic and algebra of specification,July 23-Aug.4 1991,Marktoberdorf,Germany / сост.ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Software for parallel computation : Proc.of the NATO advanced workshop on software for parallel computation,June22-26 1992,Centraro,Cosenza,Italy / Ed.: J. S. Kowalik, L. Grandinetti, 1993. - 363 p. - Текст : непосредственный.Concurrent engineering:Tools and technologies for mechanical system design : Proc.of the NATO advanced study inst.on concurrent engineering tools and technologies for mechanical system design,May 25-June 5 1992,Iowa / ed. E. J. Haug, 1993. - 998 p. - Текст : непосредственный.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. - Текст : непосредственный.Intelligent systems:Safety,reliability and maintainability issues : Proc.of the NATO advanced research workshop on intelligent systems:Safety,reliability and maintainability issues,Aug.25-28 1992,Kusadasi,Izmir,Turkey / Ed. O. Kaynak, 1993. - 340 p. - Текст : непосредственный.Program design calculi : Proc.of the NATO advanced study inst.on program design calculi,July 28-Aug.9 1992,Marktoberdorf,Germany / сост.ed. M. Broy, 1993. - 409 p. - Текст : непосредственный.Item banking:Interactive testing and self-assessment : Proc.of the NATO advanced research workshop on item banking:Interactive testing and self-assessment,Oct.27-31 1992,Liege,Belgium / Ed.: D. A. Leclercq, J. E. Bruno, 1993. - 261 p. - Текст : непосредственный.Control technology in elementary education : Proc.of the NATO advanced research workshop on control technology in elementary education,Nov.17-21 1992,Liege,Belgium / Ed. B. Denis, 1993. - 311 p. - Текст : непосредственный.Learning from computers:Mathematics education and technology : Proc.of the NATO advanced research workshop on mathematics education and technology,May 6-11 1993,Villard-de-Lans,France / ed.: C. Keitel, K. Ruthven, 1993. - 332 p. - Текст : непосредственный.Simulation-based experiential learning : Proc.of the NATO advanced research workshop on the use of computer models for explication ,analysis and experiential learning,Oct.12-14 1992,Bonas / Ed. D. M. Towne, 1993. - 274 p. - Текст : непосредственный.
Показать все результатыТоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 1991. - 18 с. - Текст : непосредственный.Барсук В.И. Диалоговая система экстремального математического моделирования многосвязных процессов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. И. Барсук, 1990. - 15 с. - Текст : непосредственный.Юдовина Е.Ф. Лингвистическое моделирование процесса общения конечного пользователя с реляционными базами данных и его программная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Е. Ф. Юдовина, 1991. - 24 с. - Текст : непосредственный.Салкиндер Ю.Б. Инструментальная система для интерактивного конструирования сценариев диалога с пользователем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ю. Б. Салкиндер, 1991. - 17 с. - Текст : непосредственный.Лищитович Н.К. Методы конструирования и контроля информационных зависимостей в диалоговых системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. К. Лищитович, 1991. - 16 с. - Текст : непосредственный.Кондрашев А.В. Исследование и реализация универсальной диалоговой вычислительной системы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Кондрашев, 1991. - 21 с. - Текст : непосредственный.Бобошко А.Ю. Средства проектирования диалоговых систем с большим объемом счетных работ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Ю. Бобошко, 1991. - 16 с. - Текст : непосредственный.Чжан Сунхуа.Анализ, разработка и реализация в виде экспертной системы средств выбора структуры локальных вычислительных сетей : Автореферат диссертации на соискание ученой степени канд.техн.канд.:05.13.13 / Чжан Сунхуа, 1993. - 20 с. - Текст : непосредственный.Климанов В.П. Методология анализа вероятностно-временных характеристик локальных вычислительных сетей составных топологий на основе аналитического моделирования : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / В. П. Климанов, 1993. - 40 с. - Текст : непосредственный.Принципы установки для программных изделий кольцевой сети персонального компьютера / ВЦП. - 105 c. - Текст : непосредственный.Концепции построения локальных сетей / ВЦП. - 91 c. - Текст : непосредственный.Монтаж аппаратного и программного обеспечения для локальной сети на базе операционной системы / ВЦП. - 442 c. - Текст : непосредственный.Беляков В.Г. Методы и программные средства математического моделирования сетевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Беляков, 1994. - 19 с. - Текст : непосредственный.Биренбаум М.И. Разработка методических и программно-технологических средств организации гетерогенных локальных сетей произвольной топографии : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. И. Биренбаум, 1993. - 16 с. - Текст : непосредственный.Хачатрян А.Э. Разработка интеллектуально-имитационного метода выбора структуры распределенных отраслевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Э. Хачатрян, 1994. - 16 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11:05.13.13 / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.Ковалев А.А. Интеллектуальная система автоматизированного проектирования структур многомашинных управляющих вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. А. Ковалев, 1994. - 19 с. - Текст : непосредственный.Копейкин Ю.А. Методы и алгоритмы автоматизированного синтеза архитектур многофункциональных конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Копейкин, 1994. - 16 с. - Текст : непосредственный.Ершов Н.М. Математические модели и методы обработки информации многопроцессорными вычислительными системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.16 / Н. М. Ершов, 1995. - 12 с. - Текст : непосредственный.Гольцева Л.В. Аппликативная вычислительная система с интенсиональными отношениями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Л. В. Гольцева, 1995. - 20 с. - Текст : непосредственный.
Показать все результатыFourth Euromicro workshop on real-time systems,June 3-5,1992,Athens : Proc. / Euromicro workshop on real-time systems (4 ; 1992 ; Athens) , 1992. - IX,208 p. p. - Текст : непосредственный.Euromicro'91:workshop on real-time systems,June 12-14,1991,Paris,Orsay : Proc., 1991. - IX,231 p. p. - Текст : непосредственный.11th real-time systems symposium,held in Lake Buena Vista(Fl),Dec.5-7,1990 / Real-time systems symposium (11 ; 1990 ; Lake Buena Vista,Fl) , 1990. - XI,341 p. p. - Текст : непосредственный.Real time computing : Proc.of the NATO advanced study inst.on real time computing / ed. W. A. Halang, ed. A. D. Stoyenko, 1994. - XXII,762 p. p. - Текст : непосредственный.PEARL 90 : Workshop uber Realzeitsysteme:11.Fachtagung des PEARL-Vereins,Boppard 29./30.Nov.1990:Proc. / Hrsg.: W. Gerth, P. Baacke, 1990. - X,187 S. S. - Текст : непосредственный.Proceedings of the real-time systems symposium, Dec.6-8,1988, Huntsvillw(Al) / Real-time systems symposium (1988 ; Huntsville,Al.) , 1988. - x,301 p. p. - Текст : непосредственный.Selected papers from the tenth conference on real-time, Beaune, France, Sept.22-26, 1997 / RT'97;Ed.:J.-P.Dufey. Pt. 1, 1998. - 1757-2064 p. p. - Текст : непосредственный.PEARL'89 : Workshop @:uber Realzeit-systeme: 10. Fachtagung des PEARL-Vereins e. V. unter Mitwirkung von Gl und GMA Boppard, 7./8. 1989: Proc. / сост.hrsg. R. Henn, сост.hrsg. K. Stieger, 1989. - X, 242 S. 242 S. - Текст : непосредственный.Proceedings of the Real-time systems symposium,Dec.1-3,1987,San Jose(Ca) / Real-time systems symposium (1987 ; San Jose(Ca)) , 1987. - X,291 p. p. - Текст : непосредственный.13th euromicro conference on real-time systems, 13-15 Jun. 2001, Delft: Proc. / ESRTS 2001, 2001. - IX, 241 p. 241 p. - Текст : непосредственный.
Заказ фрагмента документа ₽