Полное описание
Veltkamp, R. C.
ГРНТИ УДК 50.10.43 658.512.2.011.56
Рубрики: Моделирование геометрическое
Доп. точки доступа: Arbab, F.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9141)
Шифр в сводном ЭК: 147c81ab43859a83efffe5c698a169d7
Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный. Everaars C.T.H. Restructuring sequential Fortran code into a parallel/distributed application / C. T.H. Everaars, F. Arbab, F. J. Burger, 1996. - 14 p. - Текст : непосредственный. Veltkamp R.C. Geometric constraint satisfaction / R. C. Veltkamp, F. Arbab, 1991. - 24 p. - Текст : непосредственный. Rutten E.P.B.M. Formal specification of Manifold : сборник научных трудов / E. P.B.M. Rutten, F. Arbab, I. Herman, 1992. - 34 p. - Текст : непосредственный. Arbab F. MANIFOLD: a language for specification of inter-process communication / F. Arbab, I. Herman, 1990. - 16 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Reusability of coordination programs / F. Arbab, C. L. Blom, F. J. Burger, C. T.H. Everaars, 1996. - 14 p. - Текст : непосредственный. Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный. transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный. Arbab F. Examples in Manifold / F. Arbab, I. Herman, 1990. - 25 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
GKS input model in Manifold / D.Soede,F.Arbab,I.Herman,P.J.W. ten Hagen, 1991. - 20 p. - Текст : непосредственный. Papadopoulos G.A. Coordination models and languages / G.A.Papadopoulos,F.Arbab, 1998. - 55 p. - Текст : непосредственный. Arbab F. logical interface description language for components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 2000. - 17 p. - Текст : непосредственный. Fundamentals of software engineering : 3rd IPM International conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009: revised selected papers / eds. F. Arbab, M. Sirjani, 2010 r=on-line. - Текст : электронный. Arbab F. overview of manifold and its implementation / F.Arbab,I.Herman ,P.Spilling, 1991. - 36 с. - Текст : непосредственный. Veltkamp R.C. Survey of continuities of curves and surfaces / R.C.Veltkamp, 1992. - 28 p. - Текст : непосредственный. Arbab F. Coordination of massively concurrent activities / F.Arbab, 1995. - 31 p. - Текст : непосредственный. International symposium on fundamentals of software engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007: proceedings / ed.: F. Arbab, M. Sirjani, 2007 r=on-line. - Текст : электронный. Veltkamp R.C. y (gamma)-neighborhood graph / R.C.Veltkamp, 1990. - 21 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. - Текст : непосредственный. Показать все результаты Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Уэйнманн Э. Photoshop CS2 для Windows и Macintosh / Э. Уэйнманн, П. Лурекас, 2006. - 875 с. - Текст : непосредственный. Кулагин Б.Ю. 3ds Max 8. Актуальное моделирование, визуализация и анимация / Б. Ю. Кулагин, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Верстак В.А. 3ds Max 8 на 100 % / В. А. Верстак, С. В. Бондаренко, М. Ю. Бондаренко, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Волкова Т. Photoshop CS3. Новые возможности и эффекты / Т. Волкова, К. Алешина, 2007. - 191 с. - Текст : непосредственный. Ивнинг М. Adobe Photoshop CS2 для фотографов : методический материал / М. Ивнинг, 2007. - 675 с. - Текст : непосредственный. Ивнинг М. Adobe Photoshop CS2 для фотографов / М. Ивнинг, 2007. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Волкова Т. Photoshop CS3. Новые возможности и эффекты / Т. Волкова, К. Алешина, 2007. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Чумаченко И.Н. 3ds max 9 / И. Н. Чумаченко, 2007. - 654 с. - Текст : непосредственный. Делла-Росса Р. Adobe Photoshop CS2 для художников / Р. Делла-Росса, А. Делла-Росса, И. Делла-Росса, 2005. - 587 с. - Текст : непосредственный. Уэйнманн Э. Photoshop 7 для Windows / Э. Уэйнманн, П. Лурекас, 2003. - 751 с. - Текст : непосредственный. Бойер П. Adobe Photoshop C55 для чайников : монография / П. Бойер, 2011. - 430 с. - Текст : непосредственный. Мак-Клелланд Д. Photoshop CS. Библия пользователя : монография / Д. Мак-Клелланд, 2004. - 931 с. - Текст : непосредственный. Лебедев О.В. Инженерная графика : учеб. пособие. Ч. 2, 2006. - 200 с. - Текст : непосредственный. Ивнинг М. Adobe Photoshop CS6 для фотографов : монография / М. Ивнинг, 2014. - 739 с. Сидоров С.Ю. Деловая графика с использованием Harvard Graphics / С. Ю. Сидоров, Т. М. Сидорова, Л. Л. Савченко, 1994. - 140 c. - Текст : непосредственный. Гасов В.М. Технические средства ввода-вывода графической информации / В. М. Гасов, В. С. Москвин, С. И. Сенькин ; ред. В. Н. Четвериков, 1990. - 111 c. - Текст : непосредственный. Система "великолепная семерка" Скотта Келби для Adobe Photoshop CS3 : монография, 2008. - 278 с. - Текст : непосредственный. Горелик А. Г. Самоучитель 3ds Max 2014 / А. Г. Горелик, 2014. - 523 с. - Текст : непосредственный. Тучкевич Е.И. Adobe Illustrator CS5 / Е. И. Тучкевич, 2011. - 352 с. - Текст : непосредственный. Показать все результаты Новое в жизни, науке, технике. Подписная научно-популярная серия: Вычислительная техника и ее применение. № 5(1991) : Узоры на экране. Машинная графика и геометрия : сб. ст. / Ред. Б. М. Васильев, 1991. - 47 c. - Текст : непосредственный. Гаврилов В.Н. Теоретические основы геометрического моделирования : учеб. пособие. Ч. 1 : Моделирование на плоскости, 2006. - 91 с. - Текст : непосредственный. Veltkamp R.C. Geometric constraint satisfaction / R. C. Veltkamp, F. Arbab, 1991. - 24 p. - Текст : непосредственный. Горшков Г.Ф. Графические основы геометрического моделирования (системология геометрического моделирования) : учебное пособие / Г. Ф. Горшков, 2009. - 154 с. - Текст : непосредственный. Rogier J.L.H. Retrospective creation of virtual alternative hierarchies / J. L.H. Rogier, D. B.M. Otten, 1990. - 12 p. - Текст : непосредственный. Геометрические модели и алгоритмы : сборник научных трудов / Кузбасский политехнический ин-т (Кемерово), 1992. - 110 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Дискретно-непрерывные модели оптимального проектирования / А. И. Каплинский, Я. Е. Львович, С. Ю. Белецкая, 1997. - 109 с. - Текст : непосредственный. Чернопятов Е.А. Повышение эффективности функционирования интегрированных систем CAD/CAM на основе применения конвертеров форматов данных : специальность 05.13.06 "Автоматизация и управление технологическими процессами и производствами(по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / Е. А. Чернопятов, 2001. - 23 с. - Текст : непосредственный. Современные средства интеллектуальных САПР : материалы временных коллективов / Московский гос. ин-т электроники и математики, 1993. - 68 c. - Текст : непосредственный. Варакин А.С. AutoCAD / А. С. Варакин, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Погорелов В.И. AutoCAD 2010. Концептуальное проектирование в 3D / В. И. Погорелов, 2009. - 357 с. - Текст : непосредственный. Инфография / Под ред. В. О. Чулкова. Т. 2 : Инфорграфическое моделирование нелинейных виртуальных функциональных систем соорганизации деятельности / В. О. Чулков, Г. О. Чулков, 2007. - 256 с. - Текст : непосредственный. Thomas R.M. AutoCAD Desktop companion / R. M. Thomas, 1989. - XVI,1094 p. мкф. - Текст : непосредственный. Schuster R. CAD data transfer for solid models / R. Schuster, D. Trippner, M. Endres ; Ed. E. G. Schlechtendahl, 1989. - XVIII,325 p. p. - Текст : непосредственный. Погорелов В.И. AutoCAD 2009: 3D-моделирование / В. И. Погорелов, 2009. - 385 с. - Текст : непосредственный. Харрингтон Д. Внутренний мир AutoCAD : монография / Д. Харрингтон, 2006. - 941 с. - Текст : непосредственный. Поляков А.Ю. Визуальная технология решения задач проектирования технических устройств и систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. Ю. Поляков, 2000. - 20 с. - Текст : непосредственный. Маклаев В.А. Средства вопросно-ответной коммуникации в корпоративных средах автоматизированного проектирования : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / В. А. Маклаев, 2007. - 19 с. - Текст : непосредственный. Математическое и программное обеспечение САПР : Науч.-техн.сб. / Том.политехн.ун-т. Ч. 1, 1997. - 262 с. - Текст : непосредственный. Хрящев В.Г. Ввод чертежа с листа в ПЭВМ с использованием системы AutoCAD / В. Г. Хрящев, В. И. Гусев, 1995. - 19 c. - Текст : непосредственный. Бухарбаева Л.Я. Информационные технологии в проектировании автоматизированных систем управления / Л. Я. Бухарбаева, Р. В. Насыров, А. И. Кудряшов, 1993. - 68 c. - Текст : непосредственный. Рыбин П.К. Разработка масштабных планов железнодорожных объектов с использованием Auto CAD : учебное пособие / П. К. Рыбин, Л. А. Олейникова, М. В. Губарь, 2007. - 33 с. - Текст : непосредственный. Барчард Б. AutoCAD 2000 : сборник / Б. Барчард, Д. Питцер, 2000. - 682 с. - Текст : непосредственный. Ткачев Д. AutoCAD 2002 / Д. Ткачев, 2003. - 414 с. - Текст : непосредственный. Андреев Л.Н. Системы автоматизированного проектирования / Л. Н. Андреев, Д. Е. Бортяков, С. В. Мещеряков, 2002. - 76 с. - Текст : непосредственный. Полещук Н.Н. AutoCAD 2009. Двумерное проектирование / Н. Н. Полещук, В. А. Савельева, 2008. - 526 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
