Полное описание
Bonsangue, M. M.
Рубрики: Топологические пространства
Кл.слова (ненормированные): ТОПОЛОГИЧЕСКОЕ ПРОСТРАНСТВО
Доп. точки доступа: Breugel, F.van
Rutten, J.J.M.M.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9560)
Шифр в сводном ЭК: 4692185cbe21ec42ac4417c99a1d3279
Rutten J.J.M.M. Hereditarity-finite sets and complete metric spaces / J. J.M.M. Rutten, 1991. - 17 p. - Текст : непосредственный. Rutten J.J.M.M. Processes as terms: Non-wellfounded models for bisimulation / J. J.M.M. Rutten, 1992. - 19 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 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. - Текст : непосредственный. Rutten J.J.M.M. Nonwellfounded sets and programming language semantics / J. J.M.M. Rutten, 1990. - 17 p. - Текст : непосредственный. Rutten J.J.M.M. Initial algebra and final coalgebra semantics for concurrency / J. J.M.M. Rutten, D. Turi, 1994. - 57 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: proceedings / ed. M. M. Bonsangue, 2007 r=on-line. - Текст : электронный. Rutten J.J.M.M. A calculus of transition systems(towards universal coalgebra) / J.J.M.M.Rutten, 1995. - 25 p. - Текст : непосредственный. Bonsangue M.M. Comparing coordination models and architectures using embeddings / M.M.Bonsangue,J.N.Kok,G.Zavattaro, 2000. - 33 p. - Текст : непосредственный. Rutten J.J.M.M. Behavioural differential equations:a coinductive calculus of streams, automata, and power series / J.J.M.M.Rutten, 2000. - 46 p. - Текст : непосредственный. Boer F.S. de compositional model for confluent dynamic data-flow networks / F.S. de Boer,M.M.Bonsangue, 2000. - 15 p. - Текст : непосредственный. Arbab F. logical interface description language for components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 2000. - 17 p. - Текст : непосредственный. failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 p. - Текст : непосредственный. Bonsangue M.M. Generalized ultrametric spaces:completion,topology,and powerdomains via the Yoneda embedding / M.M.Bonsangue,F.van Breugel,J.J.M.M.Rutten, 1995. - 43 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. - Текст : непосредственный. Показать все результаты Семенов П.В. Непрерывные селекции паравыпуклозначных отображений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / П. В. Семенов, 1998. - 24 с. - Текст : непосредственный. Осипов А.В. Пространства непрерывных отображений в множественно-открытых топологиях : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени д-ра физ.-мат. наук / А. В. Осипов, 2012. - 31 с. - Текст : непосредственный. Крежевских Л.Т. О расширениях непрерывных отображений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Л. Т. Крежевских, 1991. - 19 с. - Текст : непосредственный. Vries J. de Compactification of G-spaces revisited / J. de Vries, 2000. - 10 p. - Текст : непосредственный. Половинкин Е.С. Многозначный анализ и дифференциальные включения / Е. С. Половинкин ; , 2014. - 522 с. - Текст : электронный. Карасев А.В. О размерности некоторых неметризуемых многообразий : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. В. Карасев, 2000. - 11 с. - Текст : непосредственный. Rutten J.J.M.M. Hereditarity-finite sets and complete metric spaces / J. J.M.M. Rutten, 1991. - 17 p. - Текст : непосредственный. Кармазин А.П. Квазиизометрии, теория предконцов и геометрия пространственных областей : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : диссертация на соискание ученой степени д-ра физ.-мат. наук / А. П. Кармазин, 2005. - 24 с. - Текст : непосредственный. Сипачева О.В. Свободные топологические группы и локально выпуклые пространства : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / О. В. Сипачева, 2003. - 26 с. - Текст : непосредственный. Климов Г.П. Метризация топологических пространств : выставочные материалы / Г. П. Климов, В. Ф. Матвеев, 2015. - 213 с. - Текст : непосредственный. Патракеев М.А. Топология прямой Зоргенфрея : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. А. Патракеев, 2005. - 11 c. - Текст : непосредственный. Филатова М.А. О классах разложимых пространств : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. А. Филатова, 2004. - 11 с. - Текст : непосредственный. Одиноков А.В. Факторизационные теоремы и размерность подмножеств пределов обратных спектров и топологических произведений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Одиноков, 1999. - 9 с. - Текст : непосредственный. Дроздовский С.А. Свойства топологических пространств типа связности и метризуемости и селекции многозначных отображений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / С. А. Дроздовский, 1999. - 13 с. - Текст : непосредственный. Нохрин С.Э. Пространства непрерывных функций в множественно-открытых топологиях : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / С. Э. Нохрин, 1997. - 10 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Семенов П.В. Непрерывные селекции паравыпуклозначных отображений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / П. В. Семенов, 1998. - 24 с. - Текст : непосредственный. Ершов Ю.В. Обобщения функции расстояния римановых многообразий и двухточечная краевая задача для гироскопических систем : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени канд. физ.-мат. наук / Ю. В. Ершов, 2007. - 13 с. - Текст : непосредственный. Мантуров В.О. Геометрия и комбинаторика виртуальных узлов : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. О. Мантуров, 2008. - 32 с. - Текст : непосредственный. Шведов И.А. Проблемы исчисления дифференциальных форм на римановых многообразиях : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Шведов, 2008. - 26 с. - Текст : непосредственный. Онищенко А.Ю. Когомологии пространства свободных петель односвязных 4-многообразий / А. Ю. Онищенко, 2011. - 8 с. - Текст : непосредственный. Бычков Ю.А. Топология для физиков / Ю. А. Бычков, 1993. - 105 c. - Текст : непосредственный. Овчинников М.А. Построение специальных спайнов многообразий Вальдхаузена : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Овчинников, 2000. - 20 с. - Текст : непосредственный. Осипов А.В. Пространства непрерывных отображений в множественно-открытых топологиях : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени д-ра физ.-мат. наук / А. В. Осипов, 2012. - 31 с. - Текст : непосредственный. Листинг И.Б. Предварительные исследования по топологии / И. Б. Листинг, 2010. - 116 с. - Текст : непосредственный. Bonner mathematische Schriften. Nr. 393 : Generalized snaith splittings : diss. / J. Wang, 2009. - IV, 85 p. - Текст : непосредственный. Постников М.М. Лекции по алгебраической топологии. Теория гомотопий клеточных пространств / М. М. Постников, 2010. - 335 с. - Текст : непосредственный. Постников М.М. Лекции по алгебраической топологии. Основы теории гомотопий / М. М. Постников, 2010. - 416 с. - Текст : непосредственный. Васильев В.А. Введение в топологию / В. А. Васильев, 1997. - 127 с. - Текст : непосредственный. Александрян Р.А. Общая топология / Р. А. Александрян, Э. А. Мирзаханян, 1979. - 336 c. - Текст : непосредственный. Скорпан А. Удивительный мир четырехмерных многообразий / А. Скорпан, 2016. - 647 с. - Текст : непосредственный. Васильев В.А. Лагранжевы и лежандровы характеристические классы / В. А. Васильев, 2000. - 312 с. - Текст : непосредственный. Матвеев С.В. Алгоритмические и компьютерные методы в трехмерной топологии / С. В. Матвеев, А. Т. Фоменко, 1998. - 303 с. - Текст : непосредственный. Алгебра. Топология / ВИНИТИ. Т. 29, 1991. - 192 с. - Текст : непосредственный. Dieudonne J. A history of algebraic and differential topology, 1900 - 1960 / J. Dieudonne, 2009 r=on-line Jordan D. A topological aperitif / D. Jordan, S. Huggett, 2009 r=on-line. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
