Полное описание
Industrial applications of ASF+SDF / M.van den Brand, A.van Deursen, P. Klint, A. S. Klusener. - Amsterdam : [s. n.], 1996. - 11 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9622). - Текст : непосредственный.
ГРНТИ УДК 50.49 658.014.1.011.56.012:51
Рубрики: Математическое обеспечение АСУ
Доп. точки доступа: Brand, M.van den
Deursen, A.van
Klint, P.
Klusener, A.S.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9622)
Шифр в сводном ЭК: ed0801a450a3634f35f09c488ae1d457
Klusener A.S. executable semantics for a subset of COLD / A. S. Klusener, 1991. - 35 p. - Текст : непосредственный. Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный. Brovedani C. A verification of the bakery protocol combining algebraic and model-oriented techniques / C. Brovedani, A. S. Klusener, 1996. - 24 p. - Текст : непосредственный. Industrial applications of ASF+SDF / M.van den Brand, A.van Deursen, P. Klint, A. S. Klusener, 1996. - 11 p. - Текст : непосредственный. Klint P. meta-environment for generating programming environments / P. Klint, 1990. - 22 p. - Текст : непосредственный. Klint P. Lazy scanner generation for modular regular grammars / P. Klint, 1991. - 18 p. - Текст : непосредственный. Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный. Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный. Klusener A.S. Completeness in real time process algebra / A. S. Klusener, 1991. - 57 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Deursen A.van Program comprehension risks and opportunities in extreme programming / A.van Deursen, 2001. - 10 p. - Текст : непосредственный. Klusener A.S. Abstraction in real time process algebra / A.S.Klusener, 1991. - 32 p. - Текст : непосредственный. Deursen A. van Legacy to the extreme / A. van Deursen,T.Kuipers,L.M.F.Moonen, 2000. - 9 p. - Текст : непосредственный. Efficient annotated terms / M.G.J.van denBrand,H.A. de Jong,P.Klint,P.A.Oliver, 2000. - 26 p. - Текст : непосредственный. Compiling language definitions: the ASF+SDF compiler / M.G.J.van den Brand,J.Heering,P.Klint,P.A.Oliver, 2000. - 37 p. - Текст : непосредственный. Deursen A. van algebraic specification for the static semantics of Pascal / A. van Deursen, 1991. - 93 p. - Текст : непосредственный. Показать все результаты 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. - Текст : непосредственный. Показать все результаты Проблемы создания автоматизированных систем и современных технологий обработки информации : сборник научных трудов / Казахский НИИ науч.-технической и конъюнктурно-коммерческой информации (Алма-Ата), Вычислительный центр, 1992. - 154 с. - Текст : непосредственный. Разу М.Л. Анализ и выработка критериев для формирования новых компьютерных программ по оценке эффективности проектов / М. Л. Разу, З. М. Гальперина, А. А. Ищенко, 1997. - 43 с. - Текст : непосредственный. Информационные технологии в управлении техническими и организационными системами : сборник научных трудов / Ред. Б. Я. Советов, 1993. - 94 c. - Текст : непосредственный. Чан Винь Фан.Разработка и исследование методов и программных средств проектирования архитектуры офисных систем информационного профиля : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / Чан Винь Фан, 2001. - 20 с. - Текст : непосредственный. Элькин М.Д. Элементы VBA для локальных информационных технологий управления / М. Д. Элькин, А. Г. Кушнер, Л. В. Зайцева, 2006. - 82 с. - Текст : непосредственный. Методология создания интегрированной информационной системы для автоматизации бизнес-процессов имитационного моделирования, технической подготовки и оперативного управления авиационным и машиностроительным производством / К. С. Кульга, И. А. Кривошеев, Д. А. Ахмедзянов, Д. Г. Кожинов, 2015. - 322 с. - Текст : непосредственный. Скачкова В.В. Использование инструментария MS Office для реализации информационной системы / В. В. Скачкова, 2006. - 173 с. - Текст : непосредственный. Уткин В.Б. Информационные системы в экономике : учебное пособие / В. Б. Уткин, К. В. Балдин, 2010. - 283 с. - Текст : непосредственный. Надеев А.Т. Концепция системно-физического подхода и его приложения к исследованию процессов обмена в сложных системах : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени д-ра техн. наук / А. Т. Надеев, 1998. - 32 с. - Текст : непосредственный. Глотов В.С. Интернет-технологии и электронная торговля: экономика, право, программное обеспечение. Вып. 2, 2007. - 219 с. - Текст : непосредственный. Слукин П.А. Адаптивные интерфейсы обмена коммерческой информацией : специальность 08.00.13 "Математические и инструментальные методы экономики" : диссертация на соискание ученой степени канд. экон. наук / П. А. Слукин, 2006. - 25 с. - Текст : непосредственный. Костин М.П. Организационно-экономические аспекты управления предприятием на основе современных информационных технологий : специальность 08.00.05 "Экономика и управление народным хозяйством (по отраслям и сферам деятельности в т.ч.:теория управления экономическими системами; макроэкономика; экономика, организация и управление предприятиями, отраслями, комплексами; управление инновациями; региональная экономика; логистика; экономика труда; экономика народонаселения и демография; экономика природопользования; землеустройство и др." : диссертация на соискание ученой степени канд. экон. наук / М. П. Костин, 2006. - 17 с. - Текст : непосредственный. Юрьев В.Н. Информационные системы в экономике : учебное пособие / В. Н. Юрьев, В. Н. Волкова, 2006. - 537 с. - Текст : непосредственный. Мишенин А.И. Теория экономических информационных систем / А. И. Мишенин, 2007. - 239 с. - Текст : непосредственный. Олейник П.П. Корпоративные информационные системы для бакалавров и специалистов : выставочные материалы / П. П. Олейник, 2012. - 175 с. - Текст : непосредственный. Куперштейн В.И. Microsoft Project 2010 в управлении проектами / В. И. Куперштейн, 2012. - 416 с. - Текст : непосредственный. Жаров Е.В. Интегрированные системы управления хозяйственными комплексами : специальность 08.00.05 "Экономика и управление народным хозяйством (по отраслям и сферам деятельности в т.ч.:теория управления экономическими системами; макроэкономика; экономика, организация и управление предприятиями, отраслями, комплексами; управление инновациями; региональная экономика; логистика; экономика труда; экономика народонаселения и демография; экономика природопользования; землеустройство и др." : диссертация на соискание ученой степени канд. экон. наук / Е. В. Жаров, 2007. - 23 с. - Текст : непосредственный. Лохмаков П.М. Мультилингвистическая технология поиска данных для подготовки и принятия решения в информационно-управляющих системах : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / П. М. Лохмаков, 2007. - 20 с. - Текст : непосредственный. Бабикова А.В. Разработка системы программно-информационной поддержки процесса принятия управленческих решений в многоуровневых компаниях : специальность 05.13.10 "Управление в социальных и экономических системах" : диссертация на соискание ученой степени канд. экон. наук / А. В. Бабикова, 2007. - 25 с. - Текст : непосредственный. Чебыкина Ю.А. Специализация стран в сфере информационно-коммуникационных технологий и ее мирохозяйственное значение : специальность 08.00.14 "Мировая экономика" : диссертация на соискание ученой степени канд. экон. наук / Ю. А. Чебыкина, 2007. - 21 с. - Текст : непосредственный. Показать все результаты Горелов М.А. Задача оценки производственных возможностей экономических подсистем / М. А. Горелов, И. М. Промахина, В. В. Шевченко, 1995. - 31 c. - Текст : непосредственный. Корухова Л.С. Программные средства реализации ассоциативного планирования / Л. С. Корухова, Э. З. Любимский, В. В. Малышко, 2002. - 29 с. - Текст : непосредственный. Труды Кубанского государственного технологического университета. Т. 25 : Серия Информатика и управлениеВып. 3, 2005. - 228 с. . - Текст : непосредственный. Вендров А.М. Проектирование программного обеспечения экономических информационных систем / А. М. Вендров, 2002. - 347 с. - Текст : непосредственный. Смирнов А.А. Разработка прикладного программного обеспечения в среде FOXBASE / А. А. Смирнов, 1993. - 85 c. - Текст : непосредственный. Кручинин В.И. Средапрограммирования "1C: Предприятие 7.7" / В. И. Кручинин, 2008. - 88 с. - Текст : непосредственный. Создание корпоративных Java-приложений для IBM WebSphere : монография / К. Браун, Г. Крейг, Г. Хестер [и др.], 2005. - 858 с. - Текст : непосредственный. Евграфов Б. А. Вопросы разработки, внедрения и эксплуатации АСУ : Метод.пособие. Вып. 4 : Проблемы управления качеством программной продукции / Б.А.Евграфов,В.И.Новиков,С.А.Чижов, 1991. - 45 с. - Текст : непосредственный. Industrial applications of ASF+SDF / M.van den Brand, A.van Deursen, P. Klint, A. S. Klusener, 1996. - 11 p. - Текст : непосредственный. Кале В. Внедрение SAP R/3 : монография / В. Кале, 2004. - 511 с. - Текст : непосредственный. Рязанцева Н. 1С:Предприятие : монография / Н. Рязанцева, Д. Рязанцев, 2004. - 334 с. - Текст : непосредственный. Каширин В.В. Современное экономическое программное обеспечение : учебное пособие / В. В. Каширин, М. В. Жаров, 2008. - 298 с. - Текст : непосредственный. Выпов Г.П. Конструирование и функционирование программного обеспечения для АСУ / Г. П. Выпов, Л. И. Саламатина, 1990. - 154 с. - Текст : непосредственный. Kiukka S. batch process management framework / S. Kiukka, 1999. - 215 p. - Текст : непосредственный. Niemela E. component framework of a distributed control systems family / E. Niemela, 1999. - Pag.var. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Исаев Ю.Ю. Методы эффективной организации и ведения информационного и программного обеспечения АСУП с распределенной структурой : специальность 05.13.06 "Автоматизация и управление технологическими процессами и производствами(по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Ю. Ю. Исаев, 2009. - 20 с. - Текст : непосредственный. Горелов М.А. Задача оценки производственных возможностей экономических подсистем / М. А. Горелов, И. М. Промахина, В. В. Шевченко, 1995. - 31 c. - Текст : непосредственный. Ерешко Ф.И. Математические модели и методы принятия согласованных решений в активных иерархических системах : специальность 05.13.10 "Управление в социальных и экономических системах" : автореферат диссертации на соискание ученой степени д-ра техн. наук / Ф. И. Ерешко, 1998. - 32 с. - Текст : непосредственный. Корухова Л.С. Программные средства реализации ассоциативного планирования / Л. С. Корухова, Э. З. Любимский, В. В. Малышко, 2002. - 29 с. - Текст : непосредственный. Труды Кубанского государственного технологического университета. Т. 25 : Серия Информатика и управлениеВып. 3, 2005. - 228 с. . - Текст : непосредственный. Вендров А.М. Проектирование программного обеспечения экономических информационных систем / А. М. Вендров, 2002. - 347 с. - Текст : непосредственный. Рязанов М.А. Разработка моделей и программных средств формирования и распределения потока управленческих работ : специальность 05.13.10 "Управление в социальных и экономических системах" : автореферат диссертации на соискание ученой степени канд. техн. наук / М. А. Рязанов, 2002. - 20 с. - Текст : непосредственный. Смирнов А.А. Разработка прикладного программного обеспечения в среде FOXBASE / А. А. Смирнов, 1993. - 85 c. - Текст : непосредственный. Кручинин В.И. Средапрограммирования "1C: Предприятие 7.7" / В. И. Кручинин, 2008. - 88 с. - Текст : непосредственный. Создание корпоративных Java-приложений для IBM WebSphere : монография / К. Браун, Г. Крейг, Г. Хестер [и др.], 2005. - 858 с. - Текст : непосредственный. Евграфов Б. А. Вопросы разработки, внедрения и эксплуатации АСУ : Метод.пособие. Вып. 4 : Проблемы управления качеством программной продукции / Б.А.Евграфов,В.И.Новиков,С.А.Чижов, 1991. - 45 с. - Текст : непосредственный. Методы создания ИАСУ, разработки и применения программно-технических комплексов и программных средств в народном хозяйстве : материалы временных коллективов / "Центрсистем", науч.-произв. об-ние (Минск), 1991. - 144 с. - Текст : непосредственный. Веденяпин И.Э. Унификация и оценка качества методов построения программного обеспечения информационной системы (на примере вуза) : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. техн. наук / И. Э. Веденяпин, 2003. - 16 с. - Текст : непосредственный. Industrial applications of ASF+SDF / M.van den Brand, A.van Deursen, P. Klint, A. S. Klusener, 1996. - 11 p. - Текст : непосредственный. Кале В. Внедрение SAP R/3 : монография / В. Кале, 2004. - 511 с. - Текст : непосредственный. Рязанцева Н. 1С:Предприятие : монография / Н. Рязанцева, Д. Рязанцев, 2004. - 334 с. - Текст : непосредственный. Львовский Г.Д. Lotus 1-2-3 для бизнеса и финансов / Г. Д. Львовский, М. А. Львовская, 1994. - 174 с. - Текст : непосредственный. Kiukka S. batch process management framework / S. Kiukka, 1999. - 215 p. - Текст : непосредственный. Niemela E. component framework of a distributed control systems family / E. Niemela, 1999. - Pag.var. - Текст : непосредственный. БЭСТ-4, 1997. - Разд.паг. с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
