Полное описание
Rutten, J. J.M.M.
Рубрики: Топологические пространства
Кл.слова (ненормированные): ТОПОЛОГИЧЕСКОЕ ПРОСТРАНСТВО
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R9711)
Шифр в сводном ЭК: eeb51e1b48d8bad0b848530b0d392f25
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. - Текст : непосредственный. Показать все результаты Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный. Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный. Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный. Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 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. - Текст : непосредственный. Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный. Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 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. - Текст : непосредственный. Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный. Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный. Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный. Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 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
