| № | Дата |
Автор |
Заглавие |
|---|
|
2003 |
|
Приложения системы "Mathematica" в социальных процессах и математической физике : Сб. тр. междунар. науч. семинара (Брест, 3-6 июня 2003 г.) / Редкол.: Е.А.Гребенников (председатель) и др |
|
2007 |
Станкевич, Андрей Владимирович (кандидат технических наук) |
Теоретические основы систем автоматизированного проектирования : лабораторный практикум для студентов специальности 1-40 02 02 "Электронные вычислительные средства" дневной формы обучения / А. В. Станкевич ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра электронных вычислительных средств |
|
2013 |
Зинин, Михаил Владимирович |
Символьные алгоритмы и программы вычисления булевых базисов Гребнера : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Зинин Михаил Владимирович ; [Объединенный институт ядерных исследований] |
|
2014 |
Климаков, Андрей Владимирович |
Обобщенные примитивные элементы свободных алгебр шрайеровых многообразий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Климаков Андрей Владимирович ; ФГБОУ ВПО "Московский государственный университет им. М. В. Ломоносова" |
|
2019 |
Душкин, Роман Викторович (род. 1977) |
Искусственный интеллект / Р. В. Душкин |
|
2020 |
|
Решение строительно-технологических задач в пакете MathCAD : лабораторный практикум для студентов специальности 1-70 01 01 "Производство строительных изделий и конструкций" / Министерство образования Республики Беларусь, Белорусский национальный технический университет, Кафедра "Строительные материалы и технология строительства" ; [составители: О. Б. Сенько, Ж. Л. Зеленковская] |
|
2022 |
Вишняков, Алексей Вадимович |
Поиск ошибок в бинарном коде методами динамической символьной интерпретации : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 2.3.5 Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей / Вишняков Алексей Вадимович ; [Институт системного программирования им. В. П. Иванникова Российской академии наук] |
|
2002 |
Филаретов, Владимир Валентинович (доктор технических наук ; род. 1959) |
Топологический анализ электрических цепей на основе схемного подхода : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.09.05 Теоретическая электротехника / Филаретов Владимир Валентинович ; [Санкт-Петербургский государственный технический университет, Ульяновский государственный технический университет] |
|
2000 |
Кнут, Дональд Эрвин (программирование ; род. 1938) |
Искусство программирования : [В 3 т. : Пер. с англ.] / Дональд Э. Кнут ; Под общ. ред. Ю. В. Козаченко. — Т. 1: Основные алгоритмы |
|
2006 |
Бахтизин, Вячеслав Вениаминович (кандидат технических наук) |
Надежность вычислительных процессов : лабораторный практикум для специальности І-40 01 01 "Программное обеспечение информационных технологий" дневной формы обучения / В. В. Бахтизин, Е. П. Фадеева ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра программного обеспечения информационных технологий. — Ч. 1 |
|
2000 |
Носов, Валерий Михайлович |
Практическое использование CAB REDUCE (на примерах теоретической механики) : Учеб.пособие для студентов инженер.-техн. специальностей вузов / Под общ.ред.Стражева В.И |
|
2009 |
Кузнецова, Ирина Сергеевна (численные методы) |
Разработка алгоритмов и программ символьно-численного интегрирования некоторых классов обыкновенных дифференциальных уравнений при моделировании систем с переменной структурой : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Кузнецова Ирина Сергеевна ; [Белгородский государственный университет] |
|
2010 |
|
Задача рассеяния для дифференциального уравнения четвертого порядка с малым параметром при старшей производной : доложено на международной конференции "Математическое моделирование и вычислительная физика", Дубна, 7―11 июля 2009 г. / И. В. Амирханов [и др.] |
|
2012 |
Бураков, Сергей Васильевич |
Алгоритмы генетического программирования для символьного решения обыкновенных дифференциальных уравнений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации (космические и информационные технологии) / Бураков Сергей Васильевич ; [Институт математики ФГАОУ ВПО "Сибирский федеральный университет"] |
|
2016 |
Брэгман, Константин Михайлович |
Математические модели возмущенного движения в центральных полях : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Брэгман Константин Михайлович ; Санкт-Петербургский государственный университет |
|
2022 |
Ругалева, Ирина Евгеньевна |
Обработка данных средствами MathCad : пособие для студентов специальности 1-27 03 01 "Управление инновационными проектами промышленных предприятий" / Е. И. Ругалёва ; Министерство образования Республики Беларусь, Белорусский национальный технический университет, Кафедра "Маркетинг" |
|
2005 |
Мирошниченко, Любовь Александровна |
Методы выявления структурных единиц в символьных последовательностях : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.17 / Мирошниченко Любовь Александровна ; [Институт математики им. С.Л.Соболева СО РАН] |
|
2006 |
Дьяконов, Владимир Павлович (1940— ) |
Maple 9.5/10 в математике, физике и образовании : [справочник и руководство пользователя] / В. П. Дьяконов |
|
2007 |
Панкратьев, Евгений Васильевич (кандидат физико-математических наук ; 1945—2008) |
Элементы компьютерной алгебры : учеб. пособие / Е. В. Панкратьев |
|
2008 |
Дьяконов, Владимир Павлович (1940— ) |
Mathematica 5.1/5.2/6 в математических и научно-технических расчетах / В. П. Дьяконов |
|
2013 |
Богачев, Василий Евгеньевич |
Разработка алгоритмов и программ символьно-численного решения уравнений классической механики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Богачев Василий Евгеньевич ; [Белгородский государственный национальный исследовательский университет] |
|
2019 |
Таранчук, Валерий Борисович (доктор физико-математических наук ; род. 1948) |
Одномерная графика системы Mathematica. Визуализация функций : учебные материалы для студентов факультета прикладной математики и информатики / В. Б. Таранчук ; Белорусский государственный университет, Факультет приклданой математики и информатики, Кафедра компьютерных технологий и систем |
|
2018 |
Айрян, Эдик Арташевич (кандидат физико-математических наук) |
Метод конечных разноcтей и интегрирование дифференциальных уравнений в конечном виде / Э. А. Айрян, М. Д. Малых, Л. А. Севастьянов |
|
2021 |
|
Компьютерная алгебра : методические рекомендации / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра информационных технологий и управления бизнесом ; [составители Е. А. Витько] |
|
2022 |
Константинов, Сергей Валерьевич |
Решение задачи синтеза системы управления на основе аппроксимации множества оптимальных траекторий методом сетевого оператора : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 2.3.1 Системный анализ, управление и обработка информации, статистика / Константинов Сергей Валерьевич ; [Федеральный исследовательский центр "Информатика и управление" Российской академии наук] |
|
2005 |
Беспалько, Евгений Валерьевич |
Символьные и численные методы в математическом моделировании гравитирующей быстровращающейся сверхплотной конфигурации с реалистическими уравнениями состояния : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Беспалько Евгений Валерьевич ; [Тверской государственный университет] |
|
2002 |
Маркова, Людмила Васильевна (кандидат физико-математических наук ; род. 1955) |
Mathcad 2000: практика использования : учебно-методическое пособие / Л. В. Маркова, В. А. Свириденко ; Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова" |
|
2005 |
Половко, Анатолий Михайлович |
Derive для студента : универсальная система компьютерной алгебры / А.М.Половко |
|
2003 |
Волошинова, Татьяна Викторовна |
Решение задач по механике с применением пакета Maple: малые колебания : учебное пособие / Т.В.Волошинова, Г.А.Кутеева ; Санкт-Петербургский государственный университет |
|
2012 |
Поляков, Станислав Петрович |
Символьные алгоритмы, связанные с задачами суммирования : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Поляков Станислав Петрович ; [Вычислительный центр им. А. А. Дородницына Российской академии наук] |
|
2010 |
Муха, Владимир Степанович (доктор технических наук ; род. 1945) |
Вычислительные методы и компьютерная алгебра : учебно-методическое пособие для студентов учреждений, обеспечивающих получение высшего образования по специальности "Автоматизированные системы обработки информации" / В. С. Муха ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники" |
|
2011 |
Макаров, Евгений Георгиевич |
Инженерные расчеты в Mathcad 15 : учебный курс / Евгений Макаров |
|
2009 |
|
Исследование решений краевых задач для дифференциального уравнения высокого порядка в поле кулоновского потенциала / И. В. Амирханов [и др.] |
|
2015 |
Бабаян, Ваге Самвелович (кандидат технических наук) |
Исследование и разработка средств минимизации энергопотребления телекоммуникационных устройств : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.12.03 Телекоммуникационные сети, приборы и системы / Бабаян Ваге Самвелович ; Министерство образования и науки Республики Армения, Национальный политехнический университет Армении |
|
2006 |
Курганов, Сергей Александрович |
Символьный анализ и диакоптика линейных электрических цепей : автореферат диссертации на соискание ученой степени доктора технических наук : 05.09.05 / Курганов Сергей Александрович ; [Ульяновский государственный технический университет] |
|
2001 |
Тан, Киат Ши |
Символьный C++: введение в компьютерную алгебру с использованием объектно-ориентированного программирования / К.Ш.Тан, В.-Х.Стиб, Й.Харди ; Пер. со второго расш. и пересмотр. англ. изд. В.И.Ахмолина, С.В.Чудова ; Под ред. Г.М.Кобелькова |
|
2017 |
Грицук, Дмитрий Владимирович (кандидат физико-математических наук, математик) |
Компьютерная алгебра : курс лекций / Д. В. Грицук, А. А. Трофимук ; Учреждение образования "Брестский государственный университет им. А. С. Пушкина" |
|
2022 |
Воронина, Наталья Алексеевна |
Программные средства профессиональной деятельности в электротехнических и электронных устройствах : учебное пособие / Министерство науки и высшего образования Российской Федерации, Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Томский политехнический университет". — Ч. 3 / Н. А. Воронина, С. Г. Михальченко, С. М. Семенов |
|
2023 |
Кройтор, Олег Константинович |
Символьно-численное исследование поляризованного электромагнитного излучения в волноведущих системах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 1.2.2 Математическое моделирование, численные методы и комплексы программ / Кройтор Олег Константинович ; [место защиты: Российский университет дружбы народов] |
|
2002 |
Мешвелиани, Сергей Давидович |
Функциональное программирование и категорный подход в вычислительной алгебре : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Мешвелиани Сергей Давидович ; Российская академия наук, Институт программных систем |
|
2016 |
Бессонов, Алексей Владимирович |
Символьная спецификация и анализ программных моделей гибридных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Бессонов Алексей Владимирович ; [Новосибирский государственный технический университет] |
|
2022 |
Таранчук, Валерий Борисович (доктор физико-математических наук ; род. 1948) |
Инструменты интерактивного программирования в системе Mathematica : учебные материалы для студентов факультета прикладной математики и информатики / В. Б. Таранчук ; Белорусский государственный университет, Факультет прикладной математики и информатики, Кафедра компьютерных технологий и систем |
|
2022 |
Таранчук, Валерий Борисович (доктор физико-математических наук ; род. 1948) |
Двумерная графика системы Mathematica. Визуализация функций : учебные материалы для студентов факультета прикладной математики и информатики / В. Б. Таранчук ; Белорусский государственный университет, Факультет прикладной математики и информатики, Кафедра компьютерных технологий и систем |
|
1999 |
Стрижаченко, Алексей Ильич |
Символьно-численные методы проектирования автоматизированных систем : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.06; 05.13.01 : 14.12.99 / Стрижаченко Алексей Ильич ; [Сев.-Зап. заоч. политехн. ин-т] |
|
2007 |
Афонин, Сергей Александрович |
Алгоритмы эффективного вычисления конъюнктивных регулярных путевых запросов в базах полуструктурированных данных : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Афонин Сергей Александрович ; [Московский государственный университет им. М. В. Ломоносова] |
|
2001 |
Трохова, Татьяна Анатольевна (кандидат технических наук ; род. 1955) |
Символьные вычисления в математических пакетах : практическое пособие для всех специальностей дневного и заочного отделений / Т. А. Трохова ; Министерство образования Республики Беларусь, Учреждение образования "Гомельский государственный технический университет им. П. О. Сухого", Кафедра "Информационные технологии" |
|
2005 |
Гандер, Вальтер |
Решение задач в научных вычислениях с применением Maple и MATLAB : перевод с английского / Вальтер Гандер, Иржи Гржебичек |
|
1993 |
|
Оптические вычисления : Сб.ст.специалистов из США,ФРГ и Японии / Пер.с англ.А.Ю.Быковского ; Под ред.Ю.А.Быковского |
|
2019 |
Ефимова, Елена Анатольевна (кандидат физико-математических наук) |
Программирование на языке Пролог для задач искусственного интеллекта : введение в логическое программирование : учебник / В. А. Ефимова ; Минобрнауки России, Федеральное государственное бюджетное образовательное учреждение высшего образования "Российский государственный гуманитарный университет", Отделение интеллектуальных систем в гуманитарной сфере, Кафедра математики, логики и интеллектуальных систем в гуманитарной сфере |
|
2021 |
Зорин, Александр Валерьевич (кандидат физико-математических наук) |
Символьно-численная реализация модели квантовых измерений водородоподобных атомов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Зорин Александр Валерьевич ; [Российский университет дружбы народов] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ