Научная библиотека ТГУ catalog › Results of search for 'su:"обратный метод."'

Search

Your search returned 4 results.

	1.	No cover image available Реализация обратного метода установления выводимости для модальной логики КТ Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01 Бурлуцкий В В. ; Науч. рук. Новосельцев В. Б. ; Томский гос. ун-т by Бурлуцкий, Владимир Владимирович \| Новосельцев, Виталий Борисович [науч. рук.] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2001Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Численное решение двумерных уравнений газовой динамики с подвижными границами на неподвижной вычислительной сетке на примере задач внутренней баллистики РДТТ А. Е. Кирюшкин, Л. Л. Миньков by Кирюшкин, Александр Евгеньевич \| Миньков, Леонид Леонидович. Source: Всероссийская молодежная научная конференция "Все грани математики и механики" (25-28 апреля 2017 г.) : сборник статейMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др. by Чень, Ч \| Ли, Р \| Маслов, Сергей Юрьевич [edt]. Series: Математическая логика и основания математикиMaterial type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1983Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Моделирование внутрикамерных процессов в ракетном двигателе на твердом топливе с учетом движения поверхности горения А. Е. Кирюшкин, Л. Л. Миньков by Кирюшкин, Александр Евгеньевич \| Миньков, Леонид Леонидович. Source: Вестник Томского государственного университета. Математика и механикаMaterial type: Article; Format: electronic available online Other title: Numerical simulation of intra-chamber processes in a solid rocket motor with account for burning surface motion.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)