Приложение
для AndroidПолное описание
Dinesh, T. B. An algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering. - Amsterdam : [s. n.], 1998. - 19 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9844). - Текст : непосредственный.
Библиогр.: с.17-19
| ГРНТИ | УДК | |
| 27.41.19 | 519.63 |
Рубрики:
Дифференциальные уравнения с частными производными
Кл.слова (ненормированные): ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ -- ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ
Доп. точки доступа:
Haveraaen, M.
Heering, J.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R9844)
Шифр в сводном ЭК: fb4417199fed21054ad7289e6c28be8c
Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Dinesh T.B. Animators and error reporters for generated programming environments / T. B. Dinesh, F. Tip, 1992. - 98 p. - Текст : непосредственный.Towards a complete transformational toolkit for compilers / J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering, 1996. - 53 p. - Текст : непосредственный.Dinesh T.B. A trying C++ experience (Why COMPARE dropped C++) / T. B. Dinesh, 1994. - 22 p. - Текст : непосредственный.Heering J. Application software, domain-specific languages, and language design assistants / J.Heering, 2000. - 6 p. - Текст : непосредственный.Compiling language definitions: the ASF+SDF compiler / M.G.J.van den Brand,J.Heering,P.Klint,P.A.Oliver, 2000. - 37 p. - Текст : непосредственный.Heering J. Implementing higher-order algebraic specifications / J.Heering, 1992. - 12 p. - Текст : непосредственный.Naidich D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers / D.Naidich,T.B.Dinesh, 1996. - 34 p. - Текст : непосредственный.Bergstr J.A. Which data types have w-complete initial algebra specifications? / J.A.Bergstr,J.Heering, 1989. - 16 p. - Текст : непосредственный.Heering J. Lazy and incremental program generation : Rev.version / J.Heering,P.Klint,J.Rekers, 1991. - 12 p. - Текст : непосредственный.Deursen A.van Origin tracking for higher-order term rewriting systems / A.van Deursen,T.B.Dinesh, 1994. - 21 p. - Текст : непосредственный.Walters H.R. An extensible language for the generation of parallel data manipulation and control packages / H.R.Walters,J.F.Th.Kamperman,T.B.Dinesh, 1995. - 16 p. - Текст : непосредственный.complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.Heering J. Semantics of programming languages: a tool-oriented approach / J.Heering,P.Klint, 1999. - 12 p. - Текст : непосредственный.Bergstra J.A. Homomorphism preserving algebraic specifications require hidden sorts / J.A.Bergstra,J.Heering, 1992. - 12 p. - Текст : непосредственный.Dinesh T.B. slicing-based approach for locating type errors / T.B.Dinesh,F.Tip, 1998. - 24 p. - Текст : непосредственный.Heering J. Second-order algebraic specification of static semantics / J.Heering, 1992. - 16 p. - Текст : непосредственный.Field J. Equations as a uniform framework for partial evaluation and abstract interpretation / J.Field,J.Heering,T.B.Dinesh, 1997. - 6 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.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. В. Черный, 1998. - 12 с. - Текст : непосредственный.Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods / H. Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный.Савостьянов Д.В. Быстрая полилинейная аппроксимация матриц и интегральные уравнения : специальность 01.01.07 "Вычислительная математика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Д. В. Савостьянов, 2006. - 13 с. - Текст : непосредственный.Хассан Инаам Р.Применение сплайнов в методе Адамса решения дифференциальных уравнений / Хассан Инаам Р, 2008. - 16 с. - Текст : непосредственный.Алтынникова Л.А. Монотонные разностные схемы для уравнений параболического и гиперболического типов : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Л. А. Алтынникова, 1994. - 11 с. - Текст : непосредственный.Нагаева С.Я. Оптимальные кубатурные формулы вычисления сингулярных интегралов : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / С. Я. Нагаева, 2000. - 21 с. - Текст : непосредственный.Брюно А.Д. Локальный анализ особенности одной обратимой системы ОДУ. Простые случаи / А. Д. Брюно, А. Солеев, 1995. - 28 c. - Текст : непосредственный.Солеев А. Первые приближения одной обратимой системы ОДУ / А. Солеев, А. Б. Арансон, 1995. - 20 c. - Текст : непосредственный.Selected papers of the 6th conference on the numerical treatment of differential equations,held Sept.1992,Halle / Conference on the numerical treatment of differential equations (6 ; 1992 ; Halle) , 1993. - 270 p. - Текст : непосредственный.Мигинский С.В. New quadratures with local error estimation and two strategies of step control in calculation of definite integrals / С. В. Мигинский, 2001. - 22 p. - Текст : непосредственный.Дыльков М.И. Метод инверсии для численного решения внешних краевых задач для уравнений эллиптического типа : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. И. Дыльков, 2004. - 22 с. - Текст : непосредственный.Утемаганбетов З.С. Некоторые численные методы решения дифференциальных уравнений : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд.физ.-мат. / З. С. Утемаганбетов, 1995. - 18 с. - Текст : непосредственный.Музафаров И.Ф. Применение компактных разностных схем к решению квазилинейной смешанной задачи для гиперболической и параболической схем уравнений / И. Ф. Музафаров, С. В. Утюжников, 1994. - 26 c. - Текст : непосредственный.Василе Даниела.Асимптотическая устойчивость разностных схем с переменными весовыми множителями : специальность "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Василе Даниела, 1995. - 14 с. - Текст : непосредственный.Shafer D. The center and cyclicity problems / D. Shafer, V. Romanovski, 2009 r=on-line. - Текст : электронный.Савченко А.О. Решение интегральных уравнений Вольтерра неявным методом Рунге-Кутты : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. О. Савченко, 1997. - 17 с. - Текст : непосредственный.Самойлова Э.Н. Методы решения сингулярных интегродифференциальных уравнений на разомкнутых контурах : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Э. Н. Самойлова, 2004. - 19 с. - Текст : непосредственный.Жанлав Т. О методе сплайн-аппроксимации решения обыкновенных дифференциальных уравнений / Т. Жанлав, 1992. - 14 с. - Текст : непосредственный.Медведева М.И. Приближенное вычисление потенциалов Рисса : специальность 01.01.07 "Вычислительная математика" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. И. Медведева, 2009. - 18 с. - Текст : непосредственный.Разработка и реализация алгоритмов задач Коши и краевых задач. Математическое и программное обеспечение курсовых работ : учебное пособие / А. Ф. Высицкий, С. Н. Леора, Г. В. Проценко [и др.], 2009. - 379 с. - Текст : непосредственный.
Показать все результатыГромов М. Дифференциальные соотношения с частными производными / М. Громов, 1990. - 536 с. - Текст : непосредственный.Ученые записки Императорского Московского университета. Отдел физико-математический / Московский ун-т. Отдел физико-мат. Вып. 15 : Уравнения с частными производными 2-го порядка по двум независимым переменным. Общая теория интегралов; характеристики / Д. Ф. Егоров, 1899. - 392 с. - Текст : непосредственный.Memoires de la Societe mathematique de France.N.S. / Societe mathematique de France (Paris). N 135 : Microlocalization of subanalytic sheaves / L. Prelli, 2013. - VI, 91 p. - Текст : непосредственный.Современная математика. Фундаментальные направления / Рос. ун-т дружбы народов. Т. 52 : Уравнения в частных производных, 2014. - 143 с.Сабитов К.Б. К теории уравнений смешанного типа / К. Б. Сабитов, 2014. - 300 с. - Текст : электронный.Демиденко Г.В. Пространства Соболева и обобщенные решения : выставочные материалы / Г. В. Демиденко, 2015. - 269 с. - Текст : непосредственный.Дифференциальные уравнения с частными производными / ВИНИТИ. 8, 1991. - 274 с. - Текст : непосредственный.Назимов П.С. Об интегрировании дифференциальных уравнений с частными производными одной функции первого порядка со многими независимыми переменными и второго порядка с двумя независимыми переменными / П. С. Назимов, 2016. - 208 с. - Текст : непосредственный.Каверина И.А. Уравнения в частных производных третьего и четвертого порядков / И. А. Каверина, 2008. - 131 с. - Текст : непосредственный.Асланов Р.М. Дифференциальные уравнения с частными производными. Теория, примеры, задачи / Р. М. Асланов, М. С. Сабуров, 1997. - 185 с. ил. - Текст : непосредственный.Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Bifurication theory, mechanics and physics / Ed. C. P. Bruter, 1983. - XII, 388 p. - Текст : непосредственный.Calin O. Geometric mechanics on riemannian manifolds / O. Calin, D. Chang, 2005 r=on-linePowers D. L. Boundary value problems and partial differential equations / D. L. Powers, 2010. - XI, 506 p. - Текст : непосредственный.Дифференциальные уравнения с частными производными : сборник научных трудов / Ленинградский пед. ин-т им. А. И. Герцена, 1990. - 125 с. - Текст : непосредственный.Олейник О.А. Лекции об уравнениях с частными производными / О. А. Олейник, 2005. - 260 с. - Текст : непосредственный.Иванов А.О. Метод интегральных преобразований в уравнениях с частными производными / А. О. Иванов, С. В. Булычева, 2004. - 77 с. - Текст : непосредственный.Тиморин В.А. Геометрия гамильтоновых систем и уравнений с частными производными : выставочные материалы / В. А. Тиморин, 2017. - 350 с. - Текст : непосредственный.Рашевский П.К. Геометрическая теория уравнений с частными производными / П. К. Рашевский, 2017. - 354 с. - Текст : непосредственный.Хватцев А.А. Дифференциальные уравнения в частных производных : выставочные материалы / А. А. Хватцев, И. А. Строчков, 2016. - 79 с. - Текст : непосредственный.
Показать все результатыАлтынникова Л.А. Монотонные разностные схемы для уравнений параболического и гиперболического типов : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Л. А. Алтынникова, 1994. - 11 с. - Текст : непосредственный.Дыльков М.И. Метод инверсии для численного решения внешних краевых задач для уравнений эллиптического типа : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. И. Дыльков, 2004. - 22 с. - Текст : непосредственный.Музафаров И.Ф. Применение компактных разностных схем к решению квазилинейной смешанной задачи для гиперболической и параболической схем уравнений / И. Ф. Музафаров, С. В. Утюжников, 1994. - 26 c. - Текст : непосредственный.Белов А.А. Программы SuFaReC для сверхбыстрого расчета эллиптических уравнений в прямоугольной области / А. А. Белов, 2015. - 12 с. - Текст : непосредственный.Толстых А.И. Компактные и мультиоператорные аппроксимации высокой точности для уравнений в частных производных / А. И. Толстых, 2015. - 350 с. - Текст : непосредственный.Виноградова П.В. Приближенные методы решения начально-краевых задач для параболических уравнений в нецилиндрических областях : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / П. В. Виноградова, 2003. - 14 с. - Текст : непосредственный.Сказка В.В. Кососимметрические разностные аналоги четвертого порядка аппроксимации первой производной / В. В. Сказка, 2010. - 9 с. - Текст : непосредственный.Рукавишников В.А. Error estimates for the finite element method for the third boundary value problem with strong singularity of solution : Preprint / В.А.Рукавишников,Е.И.Рукавишникова, 1997. - 20 p. - Текст : непосредственный.Hemker P.W. Fourier two-level analysis for discontinuous Galerkin discretization with linear elements / P. W. Hemker, W. Hoffmann, M.H. van Raalte, 2002. - 19 p. - Текст : непосредственный.Худалов М.З. Разностные методы решения краевых задач для уравнений параболического типа с дробной производной в граничных условиях : специальность 01.01.02 "Дифференциальные уравнения, динамические системы и оптимальное управление " : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. З. Худалов, 2003. - 18 с. - Текст : непосредственный.Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Численное решение обратных коэффициентных задач для параболических уравнений методом конечно-разностной регуляризации / М. М. Лаврентьев, В. В. Комиссаров, Н. В. Комиссарова, М. Х. Негматова ; , 2008. - 23 с. - Текст : непосредственный.Louter-Nool M. MGD1M, a parallel multigrid code with a fast vectorized ILU-relaxation / M. Louter-Nool, 1992. - 14 p. - Текст : непосредственный.Issues in developing parallel iterative algorithms for solving partial differential equations on a (Transputer-based) distributed parallel computing system / S. Rajagopalan, A. Jethra, A. N. Khare, 1990. - 27 p. - Текст : непосредственный.Гайдомак С.В. Исследование и численное решение некоторых классов вырожденных систем уравнений в частных производных / С. В. Гайдомак, 2005. - 23 с. - Текст : непосредственный.Гаджиев А.Д. Об устойчивости и сходимости неявного конечно-разностного метода "Ромб" решения двумерных гиперболических уравнений / А. Д. Гаджиев, 1997. - 10 с. - Текст : непосредственный.Матусевич Л.В. Многокомпонентные разностные схемы с факторизацией нулевого порядка / Л. В. Матусевич, Ю. В. Минченков, 1992. - 18 с. - Текст : непосредственный.Бахвалов П.А. Экономичная формулировка схем с квазиодномерной реконструкцией переменных / П. А. Бахвалов, Т. К. Козубская, 2013. - 16 с. - Текст : непосредственный.Васильев Ю.П. Разностные методы решения уравнений с частными производными в системе MATLAB / Ю. П. Васильев, Л. Н. Леванова, 1999. - 51 с. - Текст : непосредственный.Богачев К.Ю. Итерационные методы решения краевых задач для квазилинейных эллиптических уравнений в областях сложной формы : специальность 01.01.07 "Вычислительная математика" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / К. Ю. Богачев, 1994. - 15 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽