Выбор БД
Тип поиска
Сортировать по:
1. Книга
bookCover
Шеретов Юрий Владимирович.
Кинетически согласованные уравнения газовой динамики [Электронный ресурс] : монография / Ю. В. Шеретов ; Тверской государственный университет. - Тверь : Тверской государственный университет, 2023. - 129 с.
Авторы: Шеретов Юрий Владимирович, Балашов А. Н., Михеев С. А.
Шифры: В253.3 - Ш 49
Ключевые слова: Физика, Механика газов, Вычислительная математика, Кинетическая теория газов, Газовая динамика, Газодинамика, Уравнения газовой динамики, Квазигазодинамические системы, Энтропийные свойства уравнений, Труды Тверского государственного университета
Для просмотра электронного документа необходимо войти в личный кабинет, нажав кнопку «Войти» и введя свою фамилию и номер читательского билета
Подробнее
2. Книга
bookCover
Шеретов Юрий Владимирович.
Кинетически согласованные уравнения газовой динамики : монография / Ю. В. Шеретов ; Тверской государственный университет. - Тверь : Тверской государственный университет, 2023. - 129 с. - 220.00.
Авторы: Шеретов Юрий Владимирович, Балашов А. Н., Михеев С. А.
Шифры: В253.3 - Ш 49
Ключевые слова: Физика, Механика газов, Вычислительная математика, Кинетическая теория газов, Газовая динамика, Газодинамика, Уравнения газовой динамики, Квазигазодинамические системы, Энтропийные свойства уравнений, Труды Тверского государственного университета
Экземпляры: Всего: 1, из них: к3-1
Подробнее
3. Книга
bookCover
Голубенко Дмитрий Александрович.
Языки, автоматы и грамматики / Д. А. Голубенко, Ю. В. Саватеев. - Москва : МЦНМО, 2023. - 301, [1] с. : ил., табл. - Библиогр.: с. 292-296. - Предм. указ.: с. 297-301. - ISBN 978-5-4439-1775-7 : 500.00.
Авторы: Голубенко Дмитрий Александрович, Саватеев Юрий Вячеславович
Шифры: З973.2 - Г 62
Ключевые слова: Языки программирования, Формальные языки и грамматики, Программирование, Машины Тьюринга, Теорема Успенского-Райса, Теорема Хомского-Шютценберже, Регулярные языки, Контекстно-свободные языки, Контекстно-зависимые языки, Перечислимые языки
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга содержит введение в теорию формальных языков. В основу этой книги легли материалы, подготовленные одним из авторов для семинаров в Московском физико-техническом институте. Для студентов и аспирантов университетов, изучающих теоретическую информатику и смежные дисциплины.
4. Книга
bookCover
Михайлов Александр Петрович.
Математические модели системы "человек-общество" / А. П. Михайлов, А. П. Петров. - Москва : Физматлит, 2022. - 450 с. : ил., табл. - Библиогр.: с. 436-450 и в конце гл. - Издание осуществлено при финансовой поддержке Российского фонда фундаментальных исследований по проекту № 21-11-00005. - ISBN 978-5-9221-1909-2 : 630.00.
Авторы: Михайлов Александр Петрович, Петров Александр Пхоун Чжо
Шифры: В19 - М 69
Ключевые слова: Общественные науки, Социология, Математические методы исследования, Математика, Математическое моделирование, Математические методы в социологии, Вычислительная математика, Человек и общество
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В монографии изложены подходы к математическому моделированию и изучены конкретные модели процессов из области демографии, психологии, социологии, политологии. В качестве методологической основы принята сформулированная академиком А. А. Самарским триада "модель-алгоритм-программа", описывающая ключевые этапы моделирования. Особое внимание уделяется построению математических моделей на основании гипотез о поведении как индивидов, так и социальных групп, с учетом теоретических представлений и эмпирически полученных закономерностей, установленных в соответствующих отраслях научного знания. Для всех рассматриваемых моделей проведено исследование аналитическими или численными методами, с содержательной трактовкой математических результатов
5. Книга
bookCover
Бабенко Людмила Климентьевна.
Параллельные алгоритмы для решения задач защиты информации / Бабенко Людмила Климентьевна, Ищукова Евгения Александровна , Сидоров Игорь Дмитриевич. - Москва : Горячая линия - Телеком, 2014. - 304 с. : ил. - ISBN 978-5-9912-0426-2 : 300.00.
Авторы: Бабенко Людмила Климентьевна, Ищукова Евгения Александровна , Сидоров Игорь Дмитриевич
Шифры: З973.2 - Б 12
Ключевые слова: Криптография, Математические основы криптографии, Автоматизированные информационные системы, Защита памяти автоматизированных информационных систем, Криптографическая защита памяти, Криптографическая информация в компьютерах
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Кратко представлены основные составляющие современных криптографических систем: симметричные алгоритмы шифрования, асимметричные алгоритмы шифрования, функции хэширования. Основной упор сделан на рассмотрение практической возможности применения существующих способов анализа современных криптосистем с целью оценки их криптографической стойкости. В работе рассмотрен целый ряд параллельных алгоритмов, основанных на различных методах анализа. В качестве примеров приведены способы реализации разработанных алгоритмов с использованием двух наиболее распространенных технологий: с использованием интерфейса передачи данных MPI для организации распределенных многопроцессорных вычислений и технологии CUDA, основанной на использовании графических вычислений. Книга снабжена множеством наглядных примеров и иллюстраций. Впервые описаны подходы к разработке параллельных алгоритмов, ориентированных на программную реализацию, и предназначенных для решения задач в области информационной безопасности. Для специалистов в области информационной безопасности, реализующих известные методы анализа шифрованных данных с применением параллельных вычислительных систем.
6. Книга
bookCover
Фримен Эрик.
Паттерны проектирования / Фримен Эрик, Фримен Элизабет; при участии К. Сьерра. и Б. Бейтса ; [пер. с англ. Е. Матвеева]. - Москва [и др.] : Питер, 2012. - 645 с. : ил., портр. ; 23 см. - Доп. тит. л. на англ. яз. - ISBN 978-5-459-00435-9 : 489.00.
Авторы: Фримен Эрик, Фримен Элизабет, Сьерра Кэтти, Бейтс Берт, Матвеев Е.
Шифры: З973.2 - Ф 88
Ключевые слова: Вычислительная техника, Компьютеры, Объектно-ориентированное программирование, Объектно-ориентированное проектирование, Паттерны проектирования, Программирование, Программное обеспечение, Проектирование, Радиоэлектроника, Шаблоны проектирования
Экземпляры: Всего: 15, из них: к3-15
Подробнее
Аннотация: В мире постоянно кто-то сталкивается с такими же проблемами программирования, которые возникают и у вас. Многие разработчики решают совершенно идентичные задачи и находят похожие решения. Если вы не хотите изобретать велосипед, используйте готовые шаблоны (паттерны) проектирования, работе с которыми посвящена эта книга.Паттерны появились, потому что многие разработчики искали пути повышения гибкости и степени повторного использования своих программ. Найденные решения воплощены в краткой и легко применимой на практике форме. Особенностью данного издания является уникальный способ подачи материала, выделяющий серию «Head First» издательства O'Reilly в ряду множества скучных книг, посвященных программированию. Книга будет интересна широкому кругу веб-разработчиков, от начинающих до профессионалов, желающих освоить работу с паттернами проектирования.
7. Книга
bookCover
Приемы объектно-ориентированного проектирования : паттерны проектирования : [принципы применения паттернов проектирования, классификация паттернов, различные подходы к выбору паттернов, каталог паттернов с детальным их описанием] / Гамма Эрих [и др.]; [пер. с англ. А. Слинкин]. - Москва [и др.] : Питер, 2012. - 366 с. : ил. ; 24 см. - (Библиотека программиста). - Загл. и авт. ориг.: Design Patterns. Elements of reusable object-oriented software / Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides. - Библиогр.: с. 353-358. - Алф. указ.: с. 359-366. - ISBN 978-5-469-01136-1 : 250.00.
Авторы: Гамма Эрих, Хелм Ричард, Джонсон Ральф, Влиссидес Джон, Слинкин А.
Шифры: З973.2 - П 75
Ключевые слова: Вычислительная техника, Компьютеры, Объектно-ориентированное программирование, Объектно-ориентированное проектирование, Паттерны проектирования, Программирование, Программное обеспечение, Проектирование, Радиоэлектроника, Шаблоны проектирования
Экземпляры: Всего: 15, из них: к3-15
Подробнее
Аннотация: В предлагаемой книге описываются простые и изящные решения типичных задач, возникающих в объектно-ориентированном проектировании . Паттерны появились потому, что многие разработчики искали пути повышения гибкости и степени повторного использования своих программ. Найденные решения воплощены в краткой и легко применимой на практике форме. Авторы излагают принципы использования паттернов проектирования и приводят их каталог. Таким образом, книга одновременно решает две задачи. Во-первых, здесь демонстрируется роль паттернов в создании архитектуры сложных систем. Во-вторых, применяя содержащиеся в справочнике паттерны, проектировщик сможет с легкостью разрабатывать собственные приложения. Издание предназначено как для профессиональных разработчиков, так и для программистов, осваивающих объектно-ориентированное проектирование .
8. Книга
bookCover
Семинар по суперсимметриям. Т. 1 : Алгебра и анализ: основные факты / Бернштейн Иосиф Наумович [и др.]; под ред. Д. Лейтеса. - Москва : МЦНМО, 2011. - 410 с. ; 23 см. - Авт. указаны на обороте тит. л. - Библиогр. в конце гл. - Предм. указ.: с. 402-410. - ISBN 978-5-94057-850-5 (т. 1). - ISBN 978-5-94057-849-9 : 330.00.
Авторы: Бернштейн Иосиф Наумович, Лейтес Дмитрий Александрович, Молотков Владимир Васильевич, Шандер Владимир Наумович
Шифры: В1 - С 30
Ключевые слова: Алгебра, Алгебраическая геометрия, Аффинная алгебраическая геометрия, Векторные поля, Геометрия, Градуированные алгебры, Группы Брауэра, Дифференциальная геометрия, Дифференциальные уравнения, Интегрирование, Линейная алгебра, Математика, Математический анализ, Симметрии, Суперкоммутативные супералгебры, Суперматематика, Супермногообразия, Суперпространства, Суперсимметрии, Теория супермногообразий, Теория суперсимметрий
Экземпляры: Всего: 1, из них: к3-1
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/989146ogl.pdf
Подробнее
Аннотация: Теория суперсимметрий - относительно новое направление в математике. Идеи суперсимметрии, появившиеся, чтобы разрешить долго казавшиеся неразрешимыми некоторые проблемы теоретической физики, быстро выросли в теорию супермногообразий - богатый сплав дифференциальной и алгебраической геометрий с собственными глубокими и пока малоисследованными проблемами. В этой книге изложены основы линейной алгебры в суперпространствах и элементы дифференциальной и алгебраической геометрий на супермногообразиях. В следующих томах рассмотрены избранные более сложные вопросы. Книга насыщена открытыми проблемами разного уровня сложности и будет полезна как студентам, так и преподавателям и научным работникам - как математикам, так и физикам.
9. Документ
bookCover
Абельсон Харольд.
Структура и интерпретация компьютерных программ / Абельсон Харольд, Сассман Джеральд Джей, Сассман Джули; [пер. Г. К. Бронникова]. - 2-е изд. - Москва : Добросвет : КДУ, 2010. - 608 с. : ил. ; 24 см. - Доп. тит. л. на англ. яз. - Библиогр.: с. 558-565. - Предм. указ.: с. 566-608. - ISBN 978-5-98227-708-4 : 665.50.
Авторы: Абельсон Харольд, Сассман Джеральд Джей, Сассман Джули
Шифры: З973.2 - А 14
Ключевые слова: Вычислительная техника, Компьютеры, Радиоэлектроника, Интерпретаторы, Потоки, Компьютерные программы, Программирование, Scheme, диалект языка Лисп, Абстракции, Абстракция данных, Лисп, язык программирования, Метаязыковая абстракция, Процедурная абстракция, Процедуры, Регистровые машины
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Книга посвящена описанию различных систем программного синтаксиса, анализу перехода от набора алгоритмов к программному коду. Значительное место уделяется обсуждению набора "элементарных программ", использующихся в качестве элементов конструкции программ более высоких уровней сложности, оптимизации соотношения их "веса" и эффективности. Особое внимание авторы уделяют анализу проблемы взаимодействия компьютера как физического объекта и программного кода, обеспечивающего информационную составляющую вычисления. Книга будет полезна всем, кому приходится иметь дело с программированием, в том числе и в гуманитарных областях знания.
10. Документ
bookCover
Харди Годфри Гарольд (1877-1947).
Апология математики = A mathematician's apology / Харди Годфри Гарольд; с предисл. Ч. П. Сноу ; пер. с англ. Ю. А. Данилова. - Изд. 3-е. - Москва : URSS : ЛИБРОКОМ, 2009. - 122,[2] с. - ISBN 978-5-397-00555-5 : 172.00.
Авторы: Харди Годфри Гарольд, Сноу Чарлз Перси
Шифры: В1 - Х 20
Ключевые слова: Математика
Экземпляры: Всего: 2, из них: к3-1, к7-1
Подробнее
Аннотация: В настоящей книге в живой увлекательной форме рассказано о специальности математика, математической теории, научной атмосфере Кембриджа начала XX века. Профессор Г Харди --- выдающийся английский математик; его научное творчество совместно с Дж.Литлвудом привело к ряду замечательных открытий.Для широкого круга читателей --- математиков, историков, философов, студентов, научных работников, а также для школьников.
11. Книга
bookCover
Будущее прикладной математики : лекции для молодых исследователей. Поиски и открытия / Ин-т прикл. математики им. М.В. Келдыша Рос. акад. наук ; под ред. Г. Г. Малинецкого. - Москва : ЛИБРОКОМ : URSS, 2009. - 635 с. : ил. - Библиогр. в конце лекций. - ISBN 978-5-397-00638-5 : 550.00.
Шифры: В1 - Б 90
Ключевые слова: Астрономия, Беспроводная связь, Вычислительная математика, Вычислительная техника, Динамический хаос, Дистанционное зондирование, Компьютеры, Курдюмов, Сергей Павлович, о нем, Лекции, Математика, Математическая физика, Математические методы, Математическое моделирование, Небесная механика, Прикладная математика, Прикладная небесная механика, Ракетная техника, Связь, Хаос
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В настоящей книге представлены лекции ряда ведущих специалистов в области прикладной математики, которые были прочитаны на III ежегодной школе для студентов, аспирантов и молодых исследователей в Институте прикладной математики им. М.В.Келдыша РАН.
12. Документ
bookCover
Грэхем Роналд.
Конкретная математика : основание информатики / Грэхем Роналд, Кнут Доналд, Паташник Орен; пор. с англ. Б. Б. Походзея и А. Б. Ходулева ; под ред. А. Б. Ходулева . - 3-е изд. - Москва : Мир : БИНОМ. Лаб. знаний, 2009. - 703 с. - Доп. тит. л. англ. - Библиогр.: с. 651-688. - Имен. указ.: с. 689-703. - ISBN 978-5-94774-997-7 (БИНОМ.ЛЗ) : 484.00.
Авторы: Грэхем Роналд, Кнут Доналд, Паташник Орен
Шифры: В1 - Г 91
Ключевые слова: Информатика, Конкретная математика, Математика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
bookCover
Миллер Расс.
Последовательные и параллельные алгоритмы : общий подход / Миллер Расс, Боксер Лоренс; пер. с англ. А. В. Козвониной ; под ред. С. М. Окулова. - Москва : БИНОМ. Лаборатория знаний, 2009. - 406 с. : ил. - Доп. тит. л. на англ. яз. - Предм. указ.: с. 396-402. - ISBN 978-5-94774-325-6 (рус.) : 312.00.
Авторы: Миллер Расс, Боксер Лоренс, Окулов Станислав Михайлович
Шифры: З973.2 - М 60
Ключевые слова: Алгоритмы, Компьютеры, Параллельные алгоритмы, Параллельные вычисления, Последовательные алгоритмы, Программирование
Экземпляры: Всего: 5, из них: к3-5
Подробнее
Аннотация: Изложение основывается на объединении в одном курсе вопросов, имеющих отношение к последовательным и параллельным моделям, с большим акцентом на параллельных вычислениях. Подробно излагаются такие темы, как алгоритмы на графах, вычислительная геометрия, фундаментальные модели вычислений, умножение матриц, обработка изображений, нахождение приближенного значения определенных интегралов.
14. Книга
bookCover
Дуванов Александр Александрович.
Транслятор?. Это очень просто! / Дуванов Александр Александрович. - Москва : Чистые пруды , 2009. - 32 с. : табл. - (Библиотечка "Первого сентября" ) (Информатика ; вып. 26). - ISBN 978-5-9667-0549-7 : 25.00.
Шифры: З973.2 - Д 79
Ключевые слова: Информатика, Задачи по информатике, Рекурсивные алгоритмы, Формы Бэкуса - Наура, Трансляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В брошюру включены примеры и большое количество задач, связанных с лексическим анализом выражений, построением и интерпретацией форм Бэкуса - Наура (БНФ), основами проектирования трансляторов. Особое внимание уделено рекурсивным алгоритмам.
15. Книга
bookCover
Островский Сергей Львович.
Функциональное программирование на языке Лисп : элективный курс / Островский Сергей Львович. - Москва : Чистые пруды, 2009. - 28, [1] с. - (Библиотечка "Первого сентября") (Информатика ; вып. 27). - ISBN 978-5-9667-0570-1 : 25.00.
Шифры: З973.2 - О-77
Ключевые слова: Информатика, Языки программирования, Лисп, язык программирования, Рекурсивные алгоритмы, Вычислительные задачи, Множества, Комбинаторные алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Знакомство с основами языка Лисп наилучшим образом способствует развитию навыков конструирования рекурсивных алгоритмов и пониманию сути рекурсии. В брошюре рассмотрены основы языкам содержится большое количество задач по темам "Обработка списков", "Вычислительные задачи", "Множества", "Комбинаторные алгоритмы".
16. Документ
bookCover
Арнольд Владимир Игоревич.
Наука математика и искусство математиков : лекция лауреата Государственной премии Российской Федерации 2007 года в Московском государственном университете им. М. В. Ломоносова, Москва, 24 июня 2008 г. / Арнольд Владимир Игоревич; В. И. Арнольд. - Москва : Московский государственный университет, 2008. - 55, [2] с. : ил., портр. - 60.00.
Шифры: В1 - А84
Ключевые слова: Математика, История математики, Лекции
Экземпляры: Всего: 1, из них: к3-1
Подробнее
17. Документ
bookCover
Окулов Станислав Михайлович.
Основы программирования / Окулов Станислав Михайлович; С. Окулов. - 4-е изд. - Москва : Бином. Лаб. знаний, 2008. - 440 с. : ил. ; 22см. - Библиогр. в конце кн. - ISBN 978-5-94774-838-3 : 145.00.
Шифры: З973.2 - О-52
Ключевые слова: Компьютеры, Программирование
Экземпляры: Всего: 5, из них: к3-5
Подробнее
18. Книга
bookCover
Кнут Дональд Эрвин.
Искусство программирования. Т. 1 : основные алгоритмы / Д. Э. Кнут ; под общей редакцией Ю. В. Козаченко. - 3-е изд., испр. и доп. - Москва ; Санкт-Петербург ; Киев, 2007. - 712, [1] с. : ил., табл. - (Классический труд). - ISBN 5-8459-0080-8 : 530.00.
Авторы: Кнут Дональд Эрвин, Козаченко Ю. В.
Шифры: З973.2 - К 53
Ключевые слова: Перограмирование, Алгоритмы, Разработка программного обеспечения
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Книга
bookCover
Мейер Бертран.
Объектно-ориентированное конструирование программных систем : [пер. с англ.] / Мейер Бертран; Б. Мейер. - Москва : Русская Редакция : Интернет университет информационных технологий, 2005. - XXVII, 1198 с. : ил. ; 24 см. + Приложение (2 электронных оптимальных диска CD-ROM). - Перевод изд.: Object-oriented software construction / Bertrand Meyer. - Предм. указ.: с. 1193-1198. - ISBN 5-7502-0255-0 : 699.00.
Авторы: Мейер Бертран, Мейер Бертран, Биллиг В. А.
Шифры: З973.2 - М45
Ключевые слова: Программное обеспечение, Конструирование программных систем, Программные системы, Программирование для ЭВМ, Объектно-ориентированное конструирование, Объектно-ориентированное программирование, Компьютеры
Экземпляры: Всего: 15, из них: к3-15
Подробнее
20. Документ
bookCover
Блехман Илья Израилевич.
Прикладная математика : предмет, логика, особенности подходов : с примерами из механики : [учеб. пособие] / Блехман Илья Израилевич; И. И. Блехман, А. Д. Мышкис, Я. Г. Пановко. - Москва : URSS : КомКнига, 2005. - 376 с. - Библиогр.: с. 329-350, с. 367-370 и в подстроч. примеч. - Имен. указ.: с. 371-376. - ISBN 5-484-00163-3 : 220.00.
Авторы: Блехман Илья Израилевич, Мышкис Анатолий Дмитриевич, Пановко Яков Гилелевич
Шифры: В1 - Б68
Ключевые слова: Прикладная математика, Логика прикладной математики, Механика
Экземпляры: Всего: 2, из них: к3-2
Подробнее