Полное описание
Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). - Amsterdam : [s. n.]. - Текст : непосредственный. SEN-R0224 : Coinductive counting with weighted automata / J.J.M.M.Rutten. - Amsterdam : [s. n.], 2002. - 30 p. : ill
Рубрики: Комбинаторика
Кл.слова (ненормированные): КОМБИНАТОРИКА
Экз-ры полностью a96726339b2759a50ccd043700d004cd Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R0224)
Шифр в сводном ЭК: a96726339b2759a50ccd043700d004cd
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-line 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 с. - Текст : непосредственный. Балагура А.А. Обобщенные пирамиды Паскаля и комбинаторные формулы обращения : специальность 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 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
