Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
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. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Проценко Е.А. Бинарные соответствия и отношения. Функции : выставочные материалы / Е. А. Проценко, Ю. В. Трофименко, 2013. - 162 с. - Текст : непосредственный.Корженевич Ю.В. Комбинаторные задачи / Ю. В. Корженевич, 1989. - 116 с. - Текст : непосредственный.Тюрнева Т.Г. Комбинаторные методы перечисления плоских корневых деревьев и путей на решетках : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Т. Г. Тюрнева, 2004. - 18 с. - Текст : непосредственный.Кручинин В.В. Степени производящих функций и их применение / В. В. Кручинин, Д. В. Кручинин, 2013. - 234 с. - Текст : непосредственный.Castellet M. Combinatorial number theory and additive group theory / M. Castellet, A. Geroldinger, I. Z. Ruzsa, 2009 r=on-lineHazewinkel M. Counting interlacing pairs on the circle / M. Hazewinkel, V. V. Kalashnikov, 1995. - 3 p. - Текст : непосредственный.Hazewinkel M. Linked balanced designs are symmetric BIBD's / M. Hazewinkel. - 5 p. - Текст : непосредственный.Сачков В.Н. Комбинаторика неотрицательных матриц / В. Н. Сачков, В. Е. Тараканов, 2000. - 448 с. - Текст : непосредственный.Балагура А.А. Обобщенные пирамиды Паскаля и комбинаторные формулы обращения : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. А. Балагура, 2008. - 19 с. - Текст : непосредственный.Мир математики : [в 45 т.]. [Т.] 34 : Искусство подсчета. Комбинаторика и перечисление : [пер. с исп.] / Х. Руэ, 2014. - 140 с. - Текст : непосредственный.Ермолаева Н.Н. Практические занятия по алгебре. Элементы теории множеств, теории чисел, комбинаторики. Алгебраические структуры : выставочные материалы / Н. Н. Ермолаева, В. А. Козынченко, Г. И. Курбатова, 2014. - 111 с. - Текст : непосредственный.Башов М.А. Минимизация тени в слое булева куба / М. А. Башов, 2013. - 12 с. - Текст : непосредственный.Евдокимов С.А. Шуровость и отделимость ассоциативных схем : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. А. Евдокимов, 2005. - 30 c. - Текст : непосредственный.Артамкин И.В. Геометрия и комбинаторика пунктированных кривых с простейшими особенностями : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. В. Артамкин, 2006. - 23 с. - Текст : непосредственный.Зуев Ю.А. По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т. 1 : Основные структуры. Методы перечисления. Булевы функции., 2017. - 273 с. - Текст : непосредственный.Маренич Е.Е. Алгебры бинарных функций на упорядоченных множествах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / Е. Е. Маренич, 1996. - 16 с. - Текст : непосредственный.Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный.Алон Н. Вероятностный метод : учебное пособие / Н. Алон, Д. Спенсер, 2007. - 320 с. - Текст : непосредственный.Ерош И.Л. Дискретная математика. Комбинаторика / И. Л. Ерош, 2001. - 35 с. - Текст : непосредственный.Баранчук А.Л. Алгоритмические исследования комбинаторных чисел и полиномов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Л. Баранчук, 2005. - 20 с. - Текст : непосредственный.
Показать все результатыКорженевич Ю.В. Комбинаторные задачи / Ю. В. Корженевич, 1989. - 116 с. - Текст : непосредственный.Кузьмин О.В. Полиномы Тушара и их приложения / О. В. Кузьмин, О. В. Леонова, 1999. - 19 с. - Текст : непосредственный.Hazewinkel M. Counting interlacing pairs on the circle / M. Hazewinkel, V. V. Kalashnikov, 1995. - 3 p. - Текст : непосредственный.Hazewinkel M. Linked balanced designs are symmetric BIBD's / M. Hazewinkel. - 5 p. - Текст : непосредственный.Сачков В.Н. Комбинаторика неотрицательных матриц / В. Н. Сачков, В. Е. Тараканов, 2000. - 448 с. - Текст : непосредственный.Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный.Алон Н. Вероятностный метод : учебное пособие / Н. Алон, Д. Спенсер, 2007. - 320 с. - Текст : непосредственный.Ерош И.Л. Дискретная математика. Комбинаторика / И. Л. Ерош, 2001. - 35 с. - Текст : непосредственный.Гульден Я. Перечислительная комбинаторика / Я. Гульден, Д. Джексон ; , 1990. - 503 c. - Текст : непосредственный.Бухштабер В.М. Торические действия в топологии и комбинаторике / В. М. Бухштабер, Т. Е. Панов, 2004. - 271 с. - Текст : непосредственный.Pruesse G. Efficient generation of linear extensions and other restricted permutations / G. Pruesse, 1993. - 82 p. - Текст : непосредственный.Polygons, polyominoes and polycubes / SpringerLink (Online service), 2009 r=on-lineРомашкова О.Н. Комбинаторные алгоритмы : Учеб. пособие. Ч. 1, 2004. - 34 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Абросимов М.Б. Минимальные расширения графов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. Б. Абросимов, 2001. - 20 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный.Оре О. Графы и их применение / О. Оре, 2007. - 172 с. - Текст : непосредственный.Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный.Лашева М.И. Переключательные алгоритмы преобразования графов / М. И. Лашева, 2011. - 16 с. - Текст : непосредственный.Hora A. Quantum probability and spectral analysis of graphs / A. Hora, N. Obata, 2007 r=on-line. - Текст : электронный.Бабенко М.А. Сложность некоторых алгоритмических проблем для кососимметрических графов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. А. Бабенко, 2007. - 13 с. - Текст : непосредственный.Калмыков Г.И. Каркасная классификация помеченных графов / Г. И. Калмыков, 2006. - 240 с. - Текст : непосредственный.Нирова М.С. Конечные геометрии, графы, их расширения и автоморфизмы / М. С. Нирова, 2014. - 22 с. - Текст : непосредственный.Проценко Е.А. Бинарные соответствия и отношения. Функции : выставочные материалы / Е. А. Проценко, Ю. В. Трофименко, 2013. - 162 с. - Текст : непосредственный.Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M. Molloy, B. Reed, 1996. - 36 p. - Текст : непосредственный.Rozenblat A. Solving of determinants with functional graphs / A. Rozenblat, 2015. - 549 p. - Текст : непосредственный.Барыкин М.П. Элементы теории графов и некоторые их приложения / М. П. Барыкин, Т. Л. Борзунова, 2003. - 55 с. - Текст : непосредственный.Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный.Discrete geometry, combinatorics and graph theory / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Корженевич Ю.В. Комбинаторные задачи / Ю. В. Корженевич, 1989. - 116 с. - Текст : непосредственный.Тюрнева Т.Г. Комбинаторные методы перечисления плоских корневых деревьев и путей на решетках : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Т. Г. Тюрнева, 2004. - 18 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽