Полное описание
Li, M.
Рубрики: Комбинаторика
Кл.слова (ненормированные): КОМБИНАТОРИКА
Доп. точки доступа: Vitanyi, P.M.B.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9125)
Шифр в сводном ЭК: 8cdf831c180cb1c64edf35f6a28117f9
Li M. Mathematical theory of thermodynamics of computation / M. Li, P. M.B. Vitanyi, 1992. - 16 p. - Текст : непосредственный. Study on thermal performance of vertical gravity-assisted heat pipes irradiation capsules : доклад, тезисы доклада / M. Li, H. Ito, T. Siraishi, 1990. - 40 мкфш. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Sha D. linear complementary based implicit dynamic approach for frictional contact-impact problems with elasto-plastic large deformation / D.Sha,K.K.Tamma,M.Li, 1997. - 27 p. - Текст : непосредственный. Li M. Large strain frictional contact developments for metal forming applications / M.Li,D.Sha,K.Tamma, 1997. - 35 p. - Текст : непосредственный. Li M. Combinatorics and Kolmogorov complexity / M.Li,P.M.B.Vitanyi, 1991. - 10 p. - Текст : непосредственный. Linear approximation of shortest superstrings / A.Blum,T.Jiang,M.Li и др., 1991. - 12 p. - Текст : непосредственный. Research report NIFS series / Nat. inst. for fusion science. 823 : Tensile property of low activation vanadium alloy after liquid lithium exposure / T.Nagasaka, T.Muroga, M.Li [et al.], 2005. - 5 p. - Текст : непосредственный. Li M. Optimality of wait-free atomic multiwriter variables / M.Li,P.M.B.Vitanyi, 1991. - 8 p. - Текст : непосредственный. Sha D. An effective linear complementary model involving general contact with Coulomb friction / D.Sha,M.Li,K.K.Tamma, 1993. - 21 p. - Текст : непосредственный. Thermodynamics of computation and information distance / C.H.Bennett,P.Gacs,M.Li,, 1993. - 15 p. - Текст : непосредственный. Jiang T. Two heads are better than two tapes / T.Jiang,J.I.Seiferas,P.M.B.Vitanyi, 1994. - 12 p. - Текст : непосредственный. Randomized wait-free naming / A.Panconesi,M.Papatriantafilou,P.Tsigas,P.M.B.Vitanyi, 1994. - 13 p. - Текст : непосредственный. Unifying the software process spectrum : international software process workshop, SPW 2005, Beijing, China, May 25-27, 2005: revised selected papers / ed. M. Li [et al.], 2006 r=on-line Li M. Linear complementary formulations involving frictional contact for elasto-plastic deformable bodies / M.Li,D.Sha,K.K.Tamma, 1995. - 32 p. - Текст : непосредственный. Tamma K.K. Conjugate gradient baseed projection: a new explicit computational methodology for frictional contact problems / K.K.Tamma,M.Li,D.Sha, 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. - Текст : непосредственный. Показать все результаты Проценко Е.А. Бинарные соответствия и отношения. Функции : выставочные материалы / Е. А. Проценко, Ю. В. Трофименко, 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
