Полное описание
Rutten, J. J.M.M.
ГРНТИ УДК 27.19.15 515.124
Рубрики: Метрические пространства
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9507)
Шифр в сводном ЭК: 66e7c95b7735ea62c57fbfe03deac4b3
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. - Текст : непосредственный. 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Rutten J.J.M.M. A calculus of transition systems(towards universal coalgebra) / J.J.M.M.Rutten, 1995. - 25 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. - Текст : непосредственный. 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. - Текст : непосредственный. America P.H.M. parallel objects-oriented language : Design and semantic foundations / P.H.M.America,J.J.M.M.Rutten, 1989. - 44 p. - Текст : непосредственный. Rutten J.J.M.M. Weighted colimits and firmal balls in generalized metric spaces / J.J.M.M.Rutten, 1997. - 23 p. - Текст : непосредственный. Rutten J.J.M.M. Explicit canonical representatives for weak bisimulation equivalence and congruence / J.J.M.M.Rutten, 1990. - 20 p. - Текст : непосредственный. Bonsangue M.M. Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding / M.M.Bonsangue,F.van Breugel,J.J.M.M.Rutten, 1996. - 43 p. - Текст : непосредственный. Rutten J.J.M.M. Universal coalgebra: a theory of systems / J.J.M.M.Rutten, 1996. - 55 p. - Текст : непосредственный. Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0224 : Coinductive counting with weighted automata / J.J.M.M.Rutten, 2002. - 30 p. - Текст : непосредственный. Rutten J.J.M.M. Coalgebra, concurrency, and control / J.J.M.M.Rutten, 1999. - 31 p. - Текст : непосредственный. Rutten J.J.M.M. A structural co-induction theorem / J.J.M.M.Rutten, 1993. - 17 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 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Чистяков Б.Н. Некоторые вопросы математического анализа (метрические пространства, ряды Фурье, дифференциальные уравнения) / Б. Н. Чистяков, 2004. - 123 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Петровский А.Б. Пространства множеств и мультимножеств / А.Б.Петровский, 2003. - 247 с. - Текст : непосредственный. Бондаренко В.А. Метрические пространства : учеб. пособие / В. А. Бондаренко, А. Н. Морозов, А. В. Николаев, 2017. - 108 с. - Текст : непосредственный. Совертков П.И. Задачи по топологии и геометрия метрических пространств : учеб. пособие / П. И. Совертков, 2010. - 169 с. - Текст : непосредственный. Bonsangue M.M. Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding / M.M.Bonsangue,F.van Breugel,J.J.M.M.Rutten, 1996. - 43 p. - Текст : непосредственный. Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный. Konik T. O stycznosci zbiorow w uogolnionych przestrzeniach metrycznych / T.Konik, 2001. - 70 s. - Текст : непосредственный. Скворцов В.А. Примеры метрических пространств / В.А.Скворцов, 2002. - 25 с. - Текст : непосредственный. Rutten J.J.M.M. Elements of generalized ultrametric domain theory / J.J.M.M.Rutten, 1995. - 31 p. - Текст : непосредственный. Седов А.И. Метрические пространства : учебное пособие / А. И. Седов, 2020. - 140 с. - Текст : непосредственный. Общая топология и теория метрических пространств : учебно-методическое пособие / Министерство науки и высшего образования Российской Федерации, Марийский государственный университет, Институт цифровых технологий, Физико-математический факультет, 2021. - 111 с. - Текст (визуальный) : непосредственный. Колмогоров, А. Н. (1903-1987) Элементы теории функций и функционального анализа. Вып. 1 : Метрические и нормированные пространства : курс лекций, 1954. - 153, [1] с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Zaslavski A.J. Optimization on metric and normed spaces / A. J. Zaslavski, 2010 r=on-line. - Текст : электронный. Петровский А.Б. Пространства множеств и мультимножеств / А.Б.Петровский, 2003. - 247 с. - Текст : непосредственный. Барбаумов В.Е. Метрические пространства : учеб. пособие / В. Е. Барбаумов, Н. В. Попова, 2013. - 75 с. - Текст : непосредственный. Searcoid M.Г. Metric spaces / M. Г. Searcoid, 2007 r=on-line. - Текст : электронный. Бондаренко В.А. Метрические пространства : учеб. пособие / В. А. Бондаренко, А. Н. Морозов, А. В. Николаев, 2017. - 108 с. - Текст : непосредственный. Балк М.Б. Метрические пространства : Учеб.пособие по курсу "Мат.анализ" / М. Б. Балк, В. А. Петров, А. М. Балк, 1996. - 160 c. - Текст : непосредственный. Bonsangue M.M. Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding / M.M.Bonsangue,F.van Breugel,J.J.M.M.Rutten, 1996. - 43 p. - Текст : непосредственный. Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный. Konik T. O stycznosci zbiorow w uogolnionych przestrzeniach metrycznych / T.Konik, 2001. - 70 s. - Текст : непосредственный. Скворцов В.А. Примеры метрических пространств / В.А.Скворцов, 2002. - 25 с. - Текст : непосредственный. Rutten J.J.M.M. Elements of generalized ultrametric domain theory / J.J.M.M.Rutten, 1995. - 31 p. - Текст : непосредственный. Седов А.И. Метрические пространства : учебное пособие / А. И. Седов, 2020. - 140 с. - Текст : непосредственный. Общая топология и теория метрических пространств : учебно-методическое пособие / Министерство науки и высшего образования Российской Федерации, Марийский государственный университет, Институт цифровых технологий, Физико-математический факультет, 2021. - 111 с. - Текст (визуальный) : непосредственный. Чикин, Владимир Максимович. Деформации метрик, локальные и глобальные аспекты : специальность 1.1.3 (01.01.04) - геометрия и топология: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Чикин Владимир Максимович, 2022. - 24 с. - Текст : непосредственный. Галстян, Арсен Хачатурович. Проблема Ферма-Штейнера в гиперпространствах : специальность 1.1.3. - "Геометрия и топология": автореферат диссертации на соискание учёной степени кандидата физико-математических навук / Галстян Арсен Хачатурович, 2023. - 45 с. - Текст : непосредственный. Смирнов, Александр Викторович. Асимптотические метрические инварианты и фундаментальные группы многомерных граф-многообразий : 1.1.3 - Геометрия и топология: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Смирнов Александр Викторович, 2024. - 18 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
