Приложение
для AndroidПолное описание
Rutten, J. J.M.M. Elements of generalized ultrametric domain theory / J.J.M.M.Rutten. - Amsterdam : [s. n.], 1995. - 31 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9507). - 200 р. - Текст : непосредственный.
Библиогр.:с.30-31
| ГРНТИ | УДК | |
| 27.19.15 | 515.124 |
Рубрики:
Метрические пространства
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыГулько С.П. Е -произведения и проблемы классификации в топологической теории пространств функции : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.04 / С. П. Гулько, 1991. - 24 с. - Текст : непосредственный.Крежевских Л.Т. О расширениях непрерывных отображений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / Л. Т. Крежевских, 1991. - 19 с. - Текст : непосредственный.Сипачева О.В. Непрерывные отображения и кардинальные инварианты в Ср-теории : Автореферат диссертации на соискание ученой степени канд.физ.мат.наук:01.01.04 / О. В. Сипачева, 1990. - 13 с. - Текст : непосредственный.Коткин С.В. О некоторых вопросах теории размерности : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / С. В. Коткин, 1990. - 11 с. - Текст : непосредственный.Джорбенадзе С.С. О функциях размерностного типа пространств и отображений в специальных классах топологических пространств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01,04 / С. С. Джорбенадзе, 1990. - 12 с. - Текст : непосредственный.Хименес Бенитес Роландо.Некоторые вопросы теории n-шейпов : Автореферат диссертации на соискание ученой степени канд.техн.наук:01.01.04 / Хименес Бенитес Роландо, 1991. - 11 с. - Текст : непосредственный.Коткин С.В. О некоторых вопросах теории размерности : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / С. В. Коткин, 1990. - 9 с. - Текст : непосредственный.Айнулин А.У. Паракомпактность и точечно счетные базы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / А. У. Айнулин, 1991. - 10 с. - Текст : непосредственный.Лубенец Ю.В. Фундаментальная размерность компактов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / Ю. В. Лубенец, 1992. - 11 с. - Текст : непосредственный.Васильев В.А. Дополнения к дискриминантам гладких отображений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.04 / В. А. Васильев, 1992. - 29 с. - Текст : непосредственный.Казаков А.Н. Расширения топологических пространств и далекие точки : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / А. Н. Казаков, 1992. - 11 с. - Текст : непосредственный.Талаат Жамиль Махмуд.Кардинальнозначные инварианты пространств сцепленных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / Талаат Жамиль Махмуд., 1993. - 8 с. - Текст : непосредственный.Полякова Л.С. Топологические инварианты алгебраических аналогов цепочки Тода и геодезических потоков с квадратичными по импульсам интегралами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / Л. С. Полякова, 1993. - 13 с. - Текст : непосредственный.Пыткеев Е.Г. Пространства непрерывных и бэровских функций в слабых топологиях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.04 / Е. Г. Пыткеев, 1994. - 13 с. - Текст : непосредственный.Альперин М.И. Вложение пространств функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.01 / М. И. Альперин, 1994. - 10 с. - Текст : непосредственный.Ященко И.В. Пространство C (X) и некоторые вопросы теории непрерывных отображений : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:01.01.04 / И. В. Ященко, 1994. - 8 с. - Текст : непосредственный.Якивчик А.Н. Произведения и отображения топологических пространств и некоторые свойства типа отделимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.04 / А. Н. Якивчик, 1995. - 12 с. - Текст : непосредственный.Бузякова Р.З. Расщепляемость и образы декартовых произведений при уплотнениях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.04 / Р. З. Бузякова, 1995. - 8 с. - Текст : непосредственный.Караулов В.М. О размерности непрерывных отображений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / В. М. Караулов, 1995. - 14 с. - Текст : непосредственный.Швецова И.И. О некоторых свойствах непрерывных отображений типа полноты и компактности : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.04 / И. И. Швецова, 1995. - 16 с. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.Rutten J.J.M.M. Elements of generalized ultrametric domain theory / J.J.M.M.Rutten, 1995. - 31 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. - Текст : непосредственный.Михайличенко Г.Г. Полиметрические геометрии / Г.Г.Михайличенко;Приложение В.А.Крылова, 2001. - 143 с. - Текст : непосредственный.Скворцов В.А. Примеры метрических пространств / В.А.Скворцов, 2002. - 25 с. - Текст : непосредственный.Konik T. O stycznosci zbiorow w uogolnionych przestrzeniach metrycznych / T.Konik, 2001. - 70 s. - Текст : непосредственный.Петровский А.Б. Пространства множеств и мультимножеств / А.Б.Петровский, 2003. - 247 с. - Текст : непосредственный.Некоторые вопросы математического анализа (метрические пространства, ряды Фурье, дифференциальные уравнения) : Учеб. пособие / Б. Н. Чистяков, 2004. - 123 с. - Текст : непосредственный.Совертков П.И. Задачи по топологии и геометрия метрических пространств : учеб. пособие / П. И. Совертков, 2010. - 169 с. - Текст : непосредственный.Бондаренко В.А. Метрические пространства : учеб. пособие / В. А. Бондаренко, А. Н. Морозов, А. В. Николаев, 2017. - 108 с.Седов А.И. Метрические пространства : учебное пособие / А. И. Седов, 2020. - 140 с. - Текст : непосредственный.Общая топология и теория метрических пространств : учебно-методическое пособие / Министерство науки и высшего образования Российской Федерации, Марийский государственный университет, Институт цифровых технологий, Физико-математический факультет, 2021. - 111 с. - Текст (визуальный) : непосредственный.Колмогоров, А. Н. (1903-1987) Элементы теории функций и функционального анализа. Вып. 1 : Метрические и нормированные пространства : курс лекций, 1954. - 153, [1] с. - Текст : непосредственный.
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. - Текст : непосредственный.Rutten J.J.M.M. Elements of generalized ultrametric domain theory / J.J.M.M.Rutten, 1995. - 31 p. - Текст : непосредственный.Балк М.Б. Метрические пространства : Учеб.пособие по курсу "Мат.анализ" / М. Б. Балк, В. А. Петров, А. М. Балк, 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. - Текст : непосредственный.Скворцов В.А. Примеры метрических пространств / В.А.Скворцов, 2002. - 25 с. - Текст : непосредственный.Konik T. O stycznosci zbiorow w uogolnionych przestrzeniach metrycznych / T.Konik, 2001. - 70 s. - Текст : непосредственный.Петровский А.Б. Пространства множеств и мультимножеств / А.Б.Петровский, 2003. - 247 с. - Текст : непосредственный.Searcoid M.Г. Metric spaces / M. Г. Searcoid, 2007 r=on-line.Барбаумов В.Е. Метрические пространства : учеб. пособие / В. Е. Барбаумов, Н. В. Попова, 2013. - 75 с. - Текст : непосредственный.Бондаренко В.А. Метрические пространства : учеб. пособие / В. А. Бондаренко, А. Н. Морозов, А. В. Николаев, 2017. - 108 с.Zaslavski A.J. Optimization on metric and normed spaces / A. J. Zaslavski, 2010 r=on-line.Седов А.И. Метрические пространства : учебное пособие / А. И. Седов, 2020. - 140 с. - Текст : непосредственный.Общая топология и теория метрических пространств : учебно-методическое пособие / Министерство науки и высшего образования Российской Федерации, Марийский государственный университет, Институт цифровых технологий, Физико-математический факультет, 2021. - 111 с. - Текст (визуальный) : непосредственный.Чикин, Владимир Максимович. Деформации метрик, локальные и глобальные аспекты : специальность 1.1.3 (01.01.04) - геометрия и топология : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Чикин Владимир Максимович, 2022. - 24 с. - Текст : непосредственный.Галстян, Арсен Хачатурович. Проблема Ферма-Штейнера в гиперпространствах : специальность 1.1.3. - "Геометрия и топология" : автореферат диссертации на соискание учёной степени кандидата физико-математических навук / Галстян Арсен Хачатурович, 2023. - 45 с. - Текст : непосредственный.Смирнов, Александр Викторович. Асимптотические метрические инварианты и фундаментальные группы многомерных граф-многообразий : 1.1.3 - Геометрия и топология : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Смирнов Александр Викторович, 2024. - 18 с. - Текст : непосредственный.
Заказ фрагмента документа ₽