Приложение
для AndroidПолное описание
Jeuring, J. Algorithms from theorems / J. Jeuring. - Amsterdam : [s. n.], 1990. - 20 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9006). - Текст : непосредственный.
Библиогр.:с.19-20
| ГРНТИ | УДК | |
| 27.41 | 519.6 |
Рубрики:
Алгоритмы
Кл.слова (ненормированные): АЛГОРИТМ -- АЛГОРИТМ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9006)
Шифр в сводном ЭК: 042788673b017a788653b0ef652c54d0
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. - Текст : непосредственный.
Показать все результатыКоварцев А.Н. Численные методы / А. Н. Коварцев, 1998. - 133 с. - Текст : непосредственный.Журнал вычислительной математики и математической физики / Российская академия наук. - Журнал выходит с 1961г. - Текст : непосредственный.Пинкина Н.А. Анализ устойчивости ортогональной прогонки / Н. А. Пинкина, 1989. - 27 с. - Текст : непосредственный.Мелешко В.П. Информатика. Численные методы и их реализация на ЭВМ / В. П. Мелешко, К. В. Прушковский, Ю. Г. Черный, 1997. - 80 с. - Текст : непосредственный.Солдатова Л. Аналогия учебных задач. / Л. Солдатова, И. Шевченко, 1998. - 37 с. - Текст : непосредственный.Aladjev V.Z. Extension of mathematica system functionality / V. Z. Aladjev, V. A. Vaganov, 2015. - 563 p. - Текст : непосредственный.Черный В.В. Регуляризирующие итерационные алгоритмы для решения некоторых классов интегральных уравнений первого рода : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. В. Черный, 1998. - 12 с. - Текст : непосредственный.Труды Вычислительного центра СО РАН..Серия: Вычислительная математика. Вып. 3, 1995. - 197 с. - Текст : непосредственный.Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods / H. Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный.Кирьянов Д.В. Mathcad 13 / Д. В. Кирьянов, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Трушкова Е.А. Численные методы анализа / Е. А. Трушкова, 2009. - 53 с. - Текст : непосредственный.Скорик Г.Г. Наилучшие оценки в методах аппроксимации производных функции, заданной с погрешностью : специальность 01.01.07 "Вычислительная математика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Г. Г. Скорик, 2006. - 15 с. - Текст : непосредственный.Савостьянов Д.В. Быстрая полилинейная аппроксимация матриц и интегральные уравнения : специальность 01.01.07 "Вычислительная математика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Д. В. Савостьянов, 2006. - 13 с. - Текст : непосредственный.Кудрявцев Е.М. Mathcad 2000 Pro / Е. М. Кудрявцев, 2001. - 571 с. - Текст : непосредственный.Зимин А.В. О всплесковых разложениях пространств сплайнов / А. В. Зимин, 2008. - 15 с. - Текст : непосредственный.Хассан Инаам Р.Применение сплайнов в методе Адамса решения дифференциальных уравнений / Хассан Инаам Р, 2008. - 16 с. - Текст : непосредственный.Численный анализ / Ред. С. К. Годунов, 1989. - 208 c. - Текст : непосредственный.Математика для экономистов на базе Mathcad / А. А. Черняк, В. А. Новиков, О. И. Мельников, А. В. Кузнецов, 2003. - 485 с. - Текст : непосредственный.Турчак Л.И. Основы численных методов / Л. И. Турчак, П. В. Плотников, 2003. - 300 с. - Текст : непосредственный.Кетков Ю.Л. MATLAB 6.х : монография / Ю. Л. Кетков, А. Ю. Кетков, М. М. Шульц, 2004. - 662 с. - Текст : непосредственный.
Показать все результатыВасильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 2000. - 780 с. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный.Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный.Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный.Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный.Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Макконнелл Д. Анализ алгоритмов. Активный обучающий подход : монография / Д. Макконнелл, 2013. - 415 с. - Текст : непосредственный.Давыдов В.Г. Программирование и основы алгоритмизации / В. Г. Давыдов, 2003. - 448 с. - Текст : непосредственный.Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный.Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный.Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный.
Показать все результатыКоварцев А.Н. Численные методы / А. Н. Коварцев, 1998. - 133 с. - Текст : непосредственный.Журнал вычислительной математики и математической физики / Российская академия наук. - Журнал выходит с 1961г. - Текст : непосредственный.Пинкина Н.А. Анализ устойчивости ортогональной прогонки / Н. А. Пинкина, 1989. - 27 с. - Текст : непосредственный.Мелешко В.П. Информатика. Численные методы и их реализация на ЭВМ / В. П. Мелешко, К. В. Прушковский, Ю. Г. Черный, 1997. - 80 с. - Текст : непосредственный.Солдатова Л. Аналогия учебных задач. / Л. Солдатова, И. Шевченко, 1998. - 37 с. - Текст : непосредственный.Aladjev V.Z. Extension of mathematica system functionality / V. Z. Aladjev, V. A. Vaganov, 2015. - 563 p. - Текст : непосредственный.Черный В.В. Регуляризирующие итерационные алгоритмы для решения некоторых классов интегральных уравнений первого рода : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. В. Черный, 1998. - 12 с. - Текст : непосредственный.Труды Вычислительного центра СО РАН..Серия: Вычислительная математика. Вып. 3, 1995. - 197 с. - Текст : непосредственный.Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods / H. Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный.Кирьянов Д.В. Mathcad 13 / Д. В. Кирьянов, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Трушкова Е.А. Численные методы анализа / Е. А. Трушкова, 2009. - 53 с. - Текст : непосредственный.Скорик Г.Г. Наилучшие оценки в методах аппроксимации производных функции, заданной с погрешностью : специальность 01.01.07 "Вычислительная математика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Г. Г. Скорик, 2006. - 15 с. - Текст : непосредственный.Савостьянов Д.В. Быстрая полилинейная аппроксимация матриц и интегральные уравнения : специальность 01.01.07 "Вычислительная математика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Д. В. Савостьянов, 2006. - 13 с. - Текст : непосредственный.Кудрявцев Е.М. Mathcad 2000 Pro / Е. М. Кудрявцев, 2001. - 571 с. - Текст : непосредственный.Зимин А.В. О всплесковых разложениях пространств сплайнов / А. В. Зимин, 2008. - 15 с. - Текст : непосредственный.Хассан Инаам Р.Применение сплайнов в методе Адамса решения дифференциальных уравнений / Хассан Инаам Р, 2008. - 16 с. - Текст : непосредственный.Численный анализ / Ред. С. К. Годунов, 1989. - 208 c. - Текст : непосредственный.Математика для экономистов на базе Mathcad / А. А. Черняк, В. А. Новиков, О. И. Мельников, А. В. Кузнецов, 2003. - 485 с. - Текст : непосредственный.Турчак Л.И. Основы численных методов / Л. И. Турчак, П. В. Плотников, 2003. - 300 с. - Текст : непосредственный.Кетков Ю.Л. MATLAB 6.х : монография / Ю. Л. Кетков, А. Ю. Кетков, М. М. Шульц, 2004. - 662 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽