Sections
- Natural sciences
- Study of art
- History
- Culturology
- Literature
- Pedagogics
- Politology
- Legal studies
- Psychology
- Religion
- Sociology
- Mass media
- Philology
- Philosophy
- Economics
- Physical training and sport
- Periodicals
- Archives and documents
- Reference materials
- Textbooks. Humanities and social sciences
- Textbooks. Informatics and computer science
- СУБД : язык SQL в exampleах и задачах: учебное пособие
- Барыбин А. А. Electronics и микроэлектроника. Физико-технологические основы: учебное пособие
- Бурбаева Н. В., Днепровская Т. С. Сборник задач по полупроводниковой электронике: учебное пособие
- Мелешко Е. А. Быстродействующая импульсная электроника
- Меркурьев И. В., Подалков В. В. Динамика микромеханического и волнового твердотельного гироскопов: монография
- Подколзин А. С. Компьютерное моделирование логических процессов. Архитектура и языки решателя задач
- Смолин Д. В. Введение в искусственный интеллект: конспект лекций
- Трубецков Д. И., Храмов А. Е. Лекции по сверхвысокочастотной электронике для физиков. В 2 т. Т. 2
- Ульянов М. В. Ресурсно-эффективные компьютерные алгоритмы. Разработка и анализ
- Харкевич А. А. Основы радиотехники
- Textbooks. Natural and Exact sciences
- Mathematics для экономистов
- Mathematics. Геометрия. Прикладные аспекты
- Бугров Я. С., Никольский С. М. Сборник задач по высшей математике: учебное пособие
- Будак Б. М., Фомин С. В. Кратные интегралы и ряды: учебник
- Васильева А. Б., Медведев Г. Н., Тихонов Н. А. Дифференциальные и интегральные уравнения. Вариационное исчисление в exampleах и задачах
- Волковыский Л. И., Лунц Г. Л., Араманович И. Г. Сборник задач по теории функций комплексного переменного
- Геворкян П. С. Высшая математика
- Гладков Л. А., Курейчик В. В., Курейчик В. М. Генетические алгоритмы: учебник
- Гордин В. А. Mathematics, компьютер, прогноз погоды и другие сценарии математической физики: учебное пособие
- Волны в сплошных средах: учебное пособие
- Ефимов Н. В. Высшая геометрия: учебное пособие
- Ефимов Н. В. Краткий курс аналитической геометрии
- Измаилов А. Ф., Солодков В. М. Численные методы оптимизации
- Ильин А. М. Уравнения математической физики: учебное пособие
- Ильин В. А., Позняк Э. Г.
- Кибзун А. И., Горяинова Е. Р., Наумов А. В. Теория вероятностей и математическая статистика : Базовый курс с exampleами и задачами: учебное пособие
- Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов
- Лебедев В. И. Функциональный анализ и вычислительная математика: учебное пособие
- Левин В. А., Калинин В. В., Рыбалка Е. В. Элементы линейной алгебры и аналитической геометрии на базе пакета «Mathematica»
- Миллер Б. М., Панков А. Р. Теория случайных процессов в exampleах и задачах
- Никольский С. М. Course математического анализа: учебник
- Петрушин В. Н., Ульянов М. В. Информационная чувствительность компьютерных алгоритмов: учебное пособие
- Потапов М. К., Олехник С. Н., Нестеренко Ю. В. Конкурсные задачи по математике
- Пугачев В. С. Теория вероятностей и математическая статистика: учебное пособие
- Розендорн Э. Р., Ефимов Н. В. Линейная алгебра и многомерная геометрия
- Сборник задач по алгебре. В 2 т. Т. 1, Ч. I и II. Основы алгебры. Линейная алгебра и геометрия
- Седракян Н. М., Авоян А. М. Неравенства. Методы доказательства
- Тер-Крикоров А. М., Шабунин М. И. Course математического анализа: учебное пособие для вузов
- Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики: учебное пособие
- Фалин А. И., Фалин Г. И. Актуарная математика в задачах
- Федорчук В. В., Фorппов В. В. Общая топология. Основные конструкции: учебное пособие
- Mathematics. Прикладная математика
- Акивис М. А., Гольдберг В. В. Тензорное исчисление: учебное пособие
- Алексеев В. М., Галеев Э. М., Тихомиров В. М. Сборник задач по оптимизации. Теория. Примеры. Задачи: учебное пособие
- Структуры и хаос в нелинейных средах: монография
- Баврин И. И. Краткий курс высшей математики: учебник
- Беклемишев Д. В. Course аналитической геометрии и линейной алгебры: учебник
- Беклемишева Л. А., Петрович А. Ю., Чубаров И. А. Сборник задач по аналитической геометрии и линейной алгебре: учебное пособие
- Бочаров П. П., Печинкин А. В. Теория вероятностей. Математическая статистика
- Братусь А. С., Новожилов А. С., Платонов А. П. Динамические системы и модели биологии: научное издание
- Будак Б. М., Самарский А. А., Тихонов А. Н. Сборник задач по математической физике
- Булинский А. В., Ширяев А. Н. Теория случайных процессов
- Достоверный и правдоподобный вывод в интеллектуальных системах
- Васильева А. Б., Тихонов Н. А. Интегральные уравнения: учебное пособие
- Сборник задач по уравнениям математической физики: учебное пособие
- Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике
- Гантмахер Ф. Р. Теория матриц: учебное пособие
- Геворкян П. С. Высшая математика: учебное пособие. Т. 2. Интегралы, ряды, ТФКП, дифференциальные уравнения
- Герасимчук В. С., Васильченко Г. С., Кравцов В. И. Course классической математики в exampleах и задачах. В 3 тт.
- Горелик Г. С. Колебания и волны: учебное пособие
- Гурова З. И., Каролинская С. Н., Осипова А. П. Математический анализ : Начальный курс с exampleами и задачами: учебное пособие
- Дифференциальные уравнения: учебник
- Дураков Б. К. Краткий курс высшей алгебры: учебное пособие
- Елизаров А. М., Касимов А. Р., Маклаков Д. В. Задачи оптимизации формы в аэрогидродинамике: монография
- Зельдович Я. Б. Высшая математика для начинающих и ее приложения к физике: учебное пособие
- Злобина С. В., Посицельская Л. Н. Математический анализ в задачах и упражнениях: учебное пособие
- Измаилов А. Ф. Чувствительность в оптимизации: учебное пособие
- Ильин В. А., Позняк Э. Г. Основы математического анализа. В 2-х частях
- Кадомцев С. Б. Аналитическая геометрия и линейная алгебра: учебное пособие
- Карасев И. П. Теория функций комплексного переменного: учебное пособие
- Карманов В. Г. Математическое программирование: учебное пособие
- Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа
- Крянев А. В., Лукин Г. В. Математические методы обработки неопределенных данных: монография
- Теория тестирования логических устройств
- Кудрявцев Л. Д. Краткий курс математического анализа. В 2-х тт.
- Кудрявцев Л. Д., Кутасов А. Д., Чехлов В. И., Шабунин М. И. Сборник задач по математическому анализу. В 3 тт.
- Высшая математика: учебное пособие
- Лизунова Н. А., Шкроба С. П. Матрицы и системы линейных уравнений: учебное пособие
- Лунгу К. Н. Линейное программирование. Руководство к решению задач: учебное пособие
- Лунгу К. Н., Макаров Е. В. Задачи по математике
- Макаров Е. В., Лунгу К. Н. Высшая математика. Руководство к решению задач
- Макаров Е. В., Лунгу К. Н. Высшая математика. Руководство к решению задач: учебное пособие, Ч. 2
- Макоха А. Н., Сахнюк П. А., Червяков Н. И. Дискретная математика: учебное пособие
- Малышева Н. Б., Розендорн Э. Р. Функции комплексного переменного: учебник
- Михеев В. И., Павлюченко Ю. В. Высшая математика : Краткий курс: учебное пособие
- Мищенко А. С., Фоменко А. Т. Краткий курс дифференциальной геометрии и топологии: учебник
- Мышкис А. Д. Прикладная математика для инженеров. Специальные курсы: учебное пособие
- Посицельская Л. Н. Теория функций комплексной переменной в задачах и упражнениях: учебное пособие
- Прудников В. В., Вакилов А. Н., Прудников П. В. Фазовые переходы и методы их компьютерного моделирования: учебное пособие
- Ракитин В. И. Руководство по методам вычислений и приложения MATHCAD
- Редькин Н. П. Дискретная математика: учебник
- Розендорн Э. Р. Задачи по дифференциальной геометрии
- Рябенький В. С. Введение в вычислительную математику
- Салимов Р. Б. Mathematics для инженеров и технологов: учебное пособие
- Сборник задач по алгебре. В 2 т. Т. 2, Ч. III. Основные алгебраические структуры
- Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной: учебник
- Сигал И. Х., Иванова А. П. Введение в прикладное дискретное программирование : модели и вычислительные алгоритмы: учебное пособие
- Сидельников В. М. Теория кодирования
- Сизый С. В. Лекции по дифференциальной геометрии: учебное пособие
- Сизый С. В. Лекции по теории чисел: учебное пособие
- Сизый С. В. Математические задачи : Студенческие олимпиады математико-механического факультета Уральского госуниверситета: учебное пособие
- Сухарев А. Г., Тимохов А. В., Федоров В. В. Course методов оптимизации: учебное пособие
- Треногин В. А. Обыкновенные дифференциальные уравнения: учебник
- Треногин В. А. Функциональный анализ: учебник
- Треногин В. А., Писаревский Б. М., Соболева Т. С. Задачи и упражнения по функциональному анализу: учебное пособие
- Турчак Л. И., Плотников П. В. Основы численных методов: учебное пособие
- Тыртышников Е. Е. Матричный анализ и линейная алгебра: учебное пособие
- Действительный анализ в задачах: учебное пособие
- Фorппов В. А. Основы геометрии поверхностей оболочек пространственных конструкций: учебное пособие
- Формалев В. Ф., Ревизников Д. Л. Численные методы: учебник
- Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия: учебное пособие
- Эйдерман В. Я. Основы теории функций комплексного переменного и операционного исчисления
- Mechanics
- Волков И. А., Коротких Ю. Г. Уравнения состояния вязкоупругопластических сред с повреждениями: монография
- Георгиевский Д. В., Победря Б. Е. Основы механики сплошной среды: курс лекций
- Горшков А. Г., Трошин В. Н., Шалашorн В. И. Сопротивление материалов: учебное пособие
- Димитриенко Ю. И. Нелинейная механика сплошной среды: учебное пособие
- Журавлев В. Ф. Основы теоретической механики
- Кирсанов М. Н. Решебник. Теоретическая механика
- Орленко Л. П. Physics взрыва и удара: учебное пособие
- Павленко Ю. Г. Задачи по теоретической механике
- Павленко Ю. Г. Лекции по теоретической механике: учебник
- Петров А. Г. Аналитическая гидродинамика: учебное пособие
- Сборник задач по сопротивлению материалов с теорией и exampleами: учебное пособие
- Светлицкий В. А. Строительная механика машин. Mechanics стержней: учебник. Т. 1. Статика
- Светлицкий В. А. Строительная механика машин. Mechanics стержней: учебник. В 2 т. Т. 2. Динамика
- Горшков А. Г., Старовойтов Э. И., Тарлаковский Д. В. Теория упругости и пластичности: учебник
- Черняк В. Г., Суетин П. Е. Mechanics сплошных сред: учебное пособие
- Федоров В. М. Англо-русский словарь по электронным Mass media: словари
- Справочники
- Каазик Ю. А. Математический словарь: словари
- Брычков Ю. А., Маричев О. В., Прудников А. П. Таблицы неопределенных интегралов
- Прудников А. П., Брычков Ю. А., Маричев О. И. Интегралы и ряды : Дополнительные главы. В 3 т. Т. 3. Специальные функции
- Прудников А. П., Брычков Ю. А., Маричев О. И. Интегралы и ряды. В 3 т. Т. 2. Специальные функции
- Прудников А. П., Брычков Ю. А., Маричев О. И. Интегралы и ряды. В 3 т. Т. 1. Элементарные функции
- Манжиров А. В., Полянин А. Д. Справочник по интегральным уравнениям: справочник
- Полянин А. Д., Зайцев В. Ф. Справочник по нелинейным уравнениям математической физики. Точные решения: справочник
- Physics. Astronomy
- Задачи по физике для поступающих в вузы: учебное пособие
- Бутиков Е. И., Кондратьев А. С. Physics: учебное пособие. Кн. 2. Электродинамика. Оптика
- Бутиков Е. И., Кондратьев А. С., Уздин В. М. Physics: учебное пособие. Кн. 3. Строение и свойства вещества
- Взаимодействие лазерного излучения с веществом
- Владимиров В. С., Жаринов В. В. Уравнения математической физики: учебник
- Газовая динамика. Favorite. Т. 1
- Гриб А. А. Основные представления современной космологии: учебное пособие
- Елютин П. В., Кривченков В. Д. Квантовая механика с задачами
- Ландау Л. Д., Лифшиц Е. М. Теоретическая физика. В 10 томах
- Леденев А. Н. Physics
- Сборник задач по аналитической механике
- Сивухин Д. В. Общий курс физики. В 5 т.
- Трубецков Д. И., Храмов А. Е. Лекции по сверхвысокочастотной электронике для физиков. В 2 т. Т. 1
- Трухин В. И., Показеев К. В., Куницын В. Е. Общая и экологическая геофизика: учебник
- Алешкевич В. А. Course общей физики. Оптика: учебник
- Фундаментальная и прикладная физика. Astronomy и астрофизика
- Алешкевич В. А., Деденко Л. Г., Караваев В. А. Course общей физики. Mechanics: учебник
- Акустика в задачах: учебное пособие
- Боголюбов Н. Н., Ширков Д. В. Квантовые поля: учебное пособие
- Боровик Е. С., Еременко В. В., Мильнер А. С. Лекции по магнетизму
- Сборник задач по общему курсу физики. В 5 т. Кн. 5. Атомная физика. Physics ядра и элементарных частиц
- Зегря Г. Г., Перель В. И. Основы физики полупроводников: учебное пособие
- Капитонов И. М. Введение в физику ядра и частиц: учебник
- Course общей физики в задачах
- Кондратьев А. С., Ляпцев А. В. Physics. Задачи на компьютере
- Кондратьев А. С., Райгородский П. А. Задачи по термодинамике, статистической физике и кинетической теории
- Ландсберг Г. С. Оптика: учебное пособие
- Лебедев А. И. Physics полупроводниковых приборов: учебное пособие
- Леденев А. Н. Physics: учебное пособие. Кн. 1. Mechanics
- Леденев А. Н. Physics: учебное пособие. Кн. 2. Молекулярная физика и термодинамика
- Леденев А. Н. Physics: учебное пособие. Кн. 3. Электромагнетизм
- Леденев А. Н. Physics: учебное пособие. Кн. 4. Оптика
- Манцызов Б. И. Когерентная и нелинейная оптика фотонных кристаллов: учебное пособие
- Медведев Б. В. Начала теоретической физики : Mechanics, теория поля, элементы квантовой механики: учебное пособие
- Черноуцан А. И. Physics для поступающих в вузы: учебное пособие
- Chemistry
- Морозов А. И. Введение в плазмодинамику
- Кингсеп А. С., Локшин Г. Р., Ольхов О. А. Основы физики : Course общей физики: учебник. В 2 т. Т. 1. Mechanics, электричество и магнетизм, колебания и волны, волновая оптика
- Руденко О. В., Гурбатов С. Н., Хедберг К. М. Нелинейная акустика в задачах и exampleах: учебное пособие
- Сивухин Д. В. Общий курс физики: учебное пособие. В 5 т. Т. 2. Термодинамика и молекулярная физика
- Сивухин Д. В. Общий курс физики: учебное пособие. В 5 т. Т. 3. Электричество
- Степаньянц К. В. Классическая теория поля
- Тамм И. Е. Основы теории электричества: учебное пособие
- Фетисов Г. В. Синхротронное излучение. Методы исследования структуры веществ: учебное пособие
- Черноуцан А. И. Краткий курс физики: учебное пособие
- Textbooks. Medicine. Врачебное дело. Здравоохранение
- Биофизика. Биология. Medicine
- Кудряшов Ю. Б. Радиационная биофизика (ионизирующие излучения)
- Кудряшов Ю. Б., Перов Ю. Ф., Рубин А. Б. Радиационная биофизика : радиочастотные и микроволновые электромагнитные излучения: учебник
- Оптическая биомедицинская диагностика: коллективная монография. В 2 т. Т. 1
- Механические колебания и резонансы в организме человека: учебное пособие
- Федорова В. Н., Степанова Л. А. Краткий курс медицинской и биологической физики с элементами реабorтологии : Лекции и семинары: учебное пособие
- Биофизика. Биология. Medicine
- Textbooks. Technics and technologies. Military science
- Textbooks. Economics and Management
- Banking. Кредит
- Проблемы управления
- Каляев И. А., Гайдук А. Р., Каemptyян С. Г. Модели и алгоритмы коллективного управления в группах роботов: монография
- Ким Д. П. Сборник задач по теории автоматического управления: учебное пособие. Т. 2. Многомерные, нелинейные, оптимальные и адаптивные системы
- Ким Д. П., Дмитриева Н. Д. Сборник задач по теории автоматического управления. Линейные системы: учебное пособие
- Ким Д. П. Теория автоматического управления: учебное пособие. Т. 2. Многомерные, нелинейные, оптимальные и адаптивные системы
- Ким Д. П. Теория автоматического управления: учебное пособие. Т. 1. Линейные системы
- Тихомиров В. М., Алексеев В. М., Фомин С. В. Оптимальное управление
- Егоров А. И. Основы теории управления: монография
- Чистякова Н. А., Соколов Г. А. Теория вероятностей. Управляемые цепи Маркова в экономике
- Оптимальное управление движением
- Finance. Financial management. Анализ банкротств
- Preparing for Unified State Exam
- Mathematics
- Обществоведение
- Physics. Chemistry. Биология
- Элементарный учебник физики Теплота. Молекулярная физика: учебное пособие. В 3 т. Т. 1. Mechanics
- Элементарный учебник физики: учебное пособие. В 3 т. Т. 2. Электричество и магнетизм
- Бронфман В. В. Пространство, время, взаимодействия
- Засов А. В., Кононович Э. В. Astronomy: учебное пособие
- Драбович К. Н., Макаров В. А., Чесноков С. С. Physics. Практический курс для поступающих в университеты
- Задачник по физике: учебное пособие
- Бутиков Е. И., Кондратьев А. С. Physics: учебное пособие. Кн. 1. Mechanics
- Шутов В. И., Сухов В. Г., Подлесный Д. В. Эксперимент в физике. Физический практикум
- Трубецкова С. В. Physics. Вопросы-ответы, задачи-решения Геометрическая и волновая оптика: учебное пособие. Т. 7. Колебания и волны
- Делоне Н. Б. Что такое свет?
- Кондратьев А. С., Уздин В. М. Physics : Сборник задач: учебное пособие
- Трубецкова С. В. Physics. Вопросы-ответы, задачи-решения. Т. 5. Электричество и магнетизм
- Делоне Н. Б. Нелинейная оптика
- Пинский А. А. Задачи по физике
- Пинский А. А., Яворский Б. М. Основы физики: учебник. Т. 2. Колебания и волны. Квантовая физика. Physics ядра и элементарных частиц
- Делоне Н. Б. Атом в сильном поле лазерного излучения
- Textbooks for secondary specialized colleges
- Courseware for school
- Mathematics. Геометрия. Алгебра
- Physics. Astronomy
- Трубецкова С. В. Physics. Вопросы - ответы. Задачи - решения: учебное пособие. Т. 1. Mechanics
- Элементарный учебник физики Оптика. Атомная и ядерная физика: учебное пособие. В 3 т. Т. 3. Колебания и волны
- Яворский Б. М., Пинский А. А. Основы физики Молекулярная физика. Электродинамика: учебное пособие. Т. 1. Mechanics
- Astronomy
- Geography
- History of science
- Mathematics
- Нелинейные системы. Частотные и матричные неравенства: публицистика
- Булинский А. В., Шашкин А. П. Предельные теоремы для ассоциированных случайных полей и родственных систем: монография
- Зайцев В. Ф., Полянин А. Д. Справочник по дифференциальным уравнениям с частными производными первого порядка: справочник
- Закревский А. Д., Поттосин Ю. В., Черемисова Л. Д. Логические основы проектирования дискретных устройств: монография
- Капцов О. В. Методы интегрирования уравнений с частными производными: монография
- Кибзун А. И., Кан Ю. С. Задачи стохастического программирования с вероятностными критериями: монография
- Mathematics. Прикладная математика
- Сапоженко А. А. Проблема Дедекинда и метод граничных функционалов: монография
- Сергеев Я. Д., Квасов Д. Е. Диагональные методы глобальной оптимизации: монография
- Егоров А. И. Теорема Коши и особые решения дифференциальных уравнений
- Волосюк В. К., Кравченко В. Ф. Статистическая теория радиотехнических систем дистанционного зондирования и радиолокации: монография
- Гасанов Э. Э., Андреев А. Е., Кудрявцев В. Б. Теория тестового распознавания: монография
- Марченков С. С. Рекурсивные функции: методическое пособие
- Киселев А. П. Алгебра, Ч. 1
- Киселев А. П. Алгебра, Ч. 2
- Устинов Ю. А. Задачи Сен-Венана для псевдоцorндров: монография
- Храмов А. Е., Короновский А. А. Непрерывный вейвлетный анализ и его приложения
- Емельянов В. В., Курейчик В. В., Курейчик В. М. Теория и практика эволюционного моделирования: монография
- Карманов А. В. Исследование управляемых конечных марковских цепей с неполной информацией (минимаксный подход): монография
- Марченков С. С. Булевы функции: методическое пособие
- Хренников А. Ю. Неархимедов анализ и его приложения: монография
- Марченков С. С. S-классификация функций трёхзначной логики
- Марченков С. С. Замкнутые классы булевых функций
- Математические вопросы кибернетики. Сборник статей. Т. 12
- Местецкий Л. М. Непрерывная морфология бинарных изображений: фигуры, скелеты,циркуляры: монография
- Наац В. И., Наац И. Э. Математические модели и численные методы в задачах экологического мониторинга атмосферы: монография
- Нелинейная динамика и управление. Вып. 6
- Острецов Г. Э., Клячко Л. М. Методы автоматизации управления движением корабля: монография
- Осцилляционный метод штурма в спектральных задачах: монография
- Половинкин Е. С., Балашов М. В. Элементы выпуклого и сильно выпуклого анализа
- Пытьев Ю. П., Чуличков А. И. Методы морфологического анализа изображений: монография
- Топорков В. В. Модели распределенных вычислений: монография
- Чернов В. М. Арифметические методы синтеза быстрых алгоритмов дискретных ортогональных преобразований: монография
- Medicine and health
- Physics
- Computer and Internet
- Бурдонов И. Б., Косачев А. С., Кулямин В. В. Теория соответствия для систем с блокировками и разрушением: монография
- Головешкин В. А., Ульянов М. В. Теория рекурсии для программистов: учебное пособие
- Елизаров А. М., Липачев Е. К., Малахальцев М. А. Веб-технологии для математика : основы MathML: практическое руководство
- Electronics. Информационные и компьютерные технологии
- Мемуары. Воспоминания
- Management. Organization and administration theory
- Mechanics
- Бондарь В. С., Даншин В. В. Пластичность. Пропорцональные и непропорциональные нагружения: монография
- Волков К. Н., Емельянов В. Н. Течения газа с частицами: монография
- Гиневский А. С., Желанников А. И. Вихревые следы самолетов
- Голушко С. К., Немировский Ю. В. Прямые и обратные задачи механики упругих композитных пластин и оболочек вращения: монография
- Завалищин Д. С., Завалищин С. Т. Динамическая оптимизация обтекания: монография
- Ишлинский А. Ю. Математическая теория пластичности: монография
- Матюхин В. И. Управление механическими системами: монография
- Асимптотическая теория сверхзвуковых течений вязкого газа: монография
- Центробежные бескаркасные крупногабаритные космические конструкции
- Методы расчета цorндрических оболочек из композиционных материалов
- Nanotechnologies
- Богданкевич О. В. Лекции по экологии
- Карасев В. А., Лучинин В. В. Введение в конструирование бионических наносистем: монография
- Кудасов Ю. Б. Электрофизические измерения: учебное пособие
- Окунь Л. Б. Элементарное введение в физику элементарных частиц
- Пономарев Л. И. Под знаком кванта: учебное пособие
- Словарь нанотехнологических и связанных с нанотехнологиями терминов: словари
- Energetics
- Физическая химия. Биофизика. Технологии
- Фундаментальная и прикладная физика. Astronomy и астрофизика
- Кузнецов В. П. Нелинейная акустика в океанологии
- Чернин С. М. Многоходовые системы в оптике и спектроскопии: монография
- Кашурников В. А., Красавин А. В. Численные методы квантовой статистики: монография
- Виноградов Е. А., Дорофеев И. А. Термостимулированные электромагнитные поля твёрдых тел: монография
- Евсеев И. В., Рубцова Н. Н., Самарцев В. В. Когерентные переходные процессы в оптике: монография
- Котельников В. А. Собрание трудов. В 3 т. Т. 3. Радиолокационная астрономия
- Мордасов Д. М., Мордасов М. М. Струйно-акустические эффекты в методах неразрушающего контроля вещества: монография
- Михасев Г. И., Товстик П. Е. Локализованные колебания и волны в тонких оболочках. Асимптотические методы: монография
- Фортов В. Е., Якубов И. Т., Храпак А. Г. Physics неидеальной плазмы
- Ковалев В. А., Радаев Ю. Н. Элементы теории поля: вариационные симметрии и геометрические инварианты: монография
- Очкин В. Н. Спектроскопия низкотемпературной плазмы
- Антонов Ю. Ф., Данилевич Я. Б. Сверхпроводниковые топологические электрические машины: монография
- Тимофеев А. В. Резонансные явления в колебаниях плазмы: монография
- Дорошенко В. А., Кравченко В. Ф. Дифракция электромагнитных волн на незамкнутых конических структурах: монография
- Дадашев Р. Х. Термодинамика поверхностных явлений: монография
- Степанов Е. В. Диодная лазерная спектроскопия и анализ молекул-биомаркеров: монография
- Баутин С. П. Аналитическая тепловая волна: монография
- Погосов В. В. Введение в физику зарядовых и размерных эффектов : Поверхность, кластеры, низкоразмерные системы: учебное пособие
- Chemistry
- Абрамочкин Е. Г., Волостников В. Г. Современная оптика гауссовых пучков: монография
- Абрикосов А. А. Основы теории металлов: учебное пособие
- Методы нелинейной динамики и теории хаоса в задачах электроники сверхвысоких частот: монография. В 2 т. Т. 1. Стационарные процессы
- Акулин В. М. Динамика сложных квантовых систем: монография
- Алхасов А. Б. Возобновляемая энергетика: монография
- Астероидно-кометная опасность: вчера, сегодня, завтра: монография
- Атомный проект СССР: документы и материалы 1945-1954. (кн. 1). Т. III. Водородная бомба
- Ахманов С. А., Дьяков Ю. Е., Чиркин А. С. Статистическая радиофизика и оптика. Случайные колебания и волны в линейных системах: монография
- Барабанов А. Л. Симметрии и спин-угловые корреляции в реакциях и распадах: монография
- Барыбин А. А. Электродинамика волноведущих структуrub. Теория возбуждения и связи волн
- Березинский В. Л. Низкотемпературные свойства двумерных систем: монография
- Бескин В. С. Гравитация и астрофизика
- Бескин В. С. Осесимметричные стационарные течения в астрофизике: монография
- Блохинцев Д. И. Избранные труды. Т. 1
- Блохинцев Д. И. Избранные труды. Т. 2
- Бобылёв Ю. В., Кузелев М. В. Нелинейные явления при электромагнитных взаимодействиях электронных пучков с плазмой: монография
- Вараксин А. Ю. Столкновения в потоках газа с твердыми частицами: монография
- Веретенников В. Г., Синицын В. А. Метод переменного действия: монография
- Волков К. Н., Емельянов В. Н. Моделирование крупных вихрей в расчетах турбулентных течений: монография
- Ворович И. И. Лекции по динамике Ньютона. Современный взгляд на механику Ньютона и ее развитие. В 2 частях: монография, Ч. 2
- Гантмахер В. Ф. Электроны в неупорядоченных средах: монография
- Гантмахер Ф. Р. Лекции по аналитической механике: учебное пособие
- Гасанов Э. Э., Кудрявцев В. Б. Теория хранения и поиска информации: монография
- Голенищев-Кутузов А. В., Голенищев-Кутузов В. А., Калимуллин Р. И. Фотонные и фононные кристаллы: монография
- Головкин В. А., Головкин М. А., Калявкин В. М. Вопросы вихревой гидромеханики: монография
- Гурбатов С. Н., Руденко О. В., Саичев А. И. Волны и структуры в нелинейных средах без диcперсии. Приложения к нелинейной акустике: монография
- Гусев А. И. Наноматериалы, наноструктуры, нанотехнологии: монография
- Процессы торможения сверхзвуковых течений в каналах: монография
- Дирак П. Собрание научных трудов: монография. В 4 т. Т. 1. Квантовая теория (монографии, лекции)
- Дифракционная компьютерная оптика: монография
- Дмитриев В. Г. Нелинейная оптика и обращение волнового фронта: монография
- Евдокименков Е. Н., Динеев В. А., Карп К. А. Инженерные методы вероятностного анализа авиационных и космических систем: монография
- Елисеев А. А., Лукашин А. В. Функциональные наноматериалы: учебное пособие
- Емельянов А. А., Емельянова Е. А. Импульсные технологии повышения электрической прочности в вакууме: монография
- Емельянов В. М., Тимошенко С. Л., Стриханов М. Н. Введение в релятивистскую ядерную физику: монография
- Жданов В. М. Процессы переноса в многокомпонентной плазме: монография
- Жиляев А. П., Пшеничнюк А. И. Сверхпластичность и границы зерен в ультрамелкозернистых материалах: монография
- Звезды: монография
- Зверев Г. Н. Теоретическая информатика и её основания: монография. Т. 1
- Зверев Г. Н. Теоретическая информатика и её основания: монография. Т. 2
- Зельдович Я. Б., Райзер Ю. П. Physics ударных волн и высокотемпературных гидродинамических явлений: практическое пособие
- Зубчанинов В. Г. Mechanics процессов пластических сред: монография
- Зубчанинов В. Г. Устойчивость и пластичностьт: монография. В 2 т. Т. 2. Пластичность
- Ивлев Д. Д. Предельное состояние деформируемых тел и горных пород: монография
- Игнатович В. К. Нейтронная оптика: монография
- Изотопы: свойства, получение, применениет: монография. В 2 т. Т. 1
- Изотопы: свойства, получение, применениет: монография. В 2 т. Т. 2
- Ильичев В. Г. Устойчивость, адаптация и управление в экологических системах: монография
- Инстантоны, струны и конформная теория поля
- Кабанов С. А. Оптимизация динамики систем при действии возмущений: монография
- Каленова В. И., Морозов В. М. Линейные нестационарные системы и их приложения к задачам механики: монография
- Калинчук В. В., Белянкова Т. И. Динамика поверхности неоднородных сред: монография
- Карлов Н. В., Кириченко Н. А. Колебания, волны, структуры
- Карлов Н. В., Кириченко Н. А. Начальные главы квантовой механики
- Квантовое изображение: монография
- Климов В. В. Наноплазмоника
- Кобзарь А. И. Прикладная математическая статистика
- Кондратьев А. С., Райгородский П. А. Задачи по термодинамике, статистической физике и кинетической теории: учебное пособие
- Котельников В. А. Модельная нерелятивистская квантовая механика
- Котельников В. А. Собрание трудов. В 3 т. Т. 1. Радиофизика, информатика, телекоммуникации
- Цифровая обработка сигналов и изображений в радиофизических приложениях: монография
- Адаптивные методы обработки спекл-модулированных оптических полей: монография
- Ландау Л. Д. Собрание трудов. Т. 1
- Вычислительные методы в современной радиофизике: монография
- Нестационарная аэродинамика баллистического полета: монография
- Лободюк В. А., Эстрин Э. И. Мартенситные превращения: монография
- Лукаш В. Н., Михеева Е. В. Физическая космология
- Магомедов М. Н. Изучение межатомного взаимодействия, образования вакансий и самодиффузии в кристаллах: монография
- Майлыбаев А. А., Сейранян А. П. Многопараметрические задачи устойчивости: монография
- Методы компьютерной оптики: монография
- Mechanics жидкости и газа. Favorite
- Митрофанова О. В. Гидродинамика и теплообмен закрученных потоков в каналах ядерно-электрических установок: монография
- Автоволновые процессы в нелинейных средах с диффузией: монография
- Новиков В. Г., Никифоров А. Ф., Уваров В. Б. Квантово-статистические модели высокотемпературной плазмы и методы расчета росселандовых пробегов и уравнений состояния
- Полунин В. М. Акустические эффекты в магнитных жидкостях: монография
- Попович К. Ф., Лаврухин Г. Н. Аэрогазодинамика реактивных сопел: монография. Т. 2. Обтекание донных уступов потоком газа
- Путешествия к Луне
- Рамбиди Н. Г., Березкин А. В. Физические и химические основы нанотехнологий
- Самарский А. А., Михайлов А. П. Математическое моделирование: монография
- Синицын В. А., Веретенников В. Г. Теоретическая механика (дополнения к общим разделам): монография
- Сковорода А. А. Магнитные ловушки для удержания плазмы: монография
- Солнечно-земная физика: монография
- Степанова Л. В. Математические методы механики разрушения: монография
- Стулов В. П. Лекции по газовой динамике: монография
- Сухинин С. Н. Прикладные задачи устойчивости многослойных композитных оболочек: монография
- Методы нелинейной динамики и теории хаоса в задачах электроники сверхвысоких частот: монография. В 2 т. Т. 2. Нестационарные и хаотические процессы
- Холодное газодинамическое напыление. Теория и практика: монография
- Фортов В. Е. Экстремальные состояния вещества: учебное пособие
- Хренников А. Ю. Введение в квантовую теорию информации
- Ципенюк Ю. М. Фундаментальные и прикладные исследования на микротроне: монография
- Шестаков Н. А., Субич В. Н., Демин В. А. Уплотнение, консолидация и разрушение пористых материалов: монография
- Шимановский Н. Л., Епинетов М. А., Мельников М. Я. Молекулярная и нанофармакология: монография
- Шульгин Б. В., Черепанов А. Н., Шульгин Д. Б. Новые детекторные материалы и устройства: монография
- Энциклопедия низкотемпературной плазмы. Серия Б. Справочные приложения, базы и банки данных. Т. 4. Газовые и плазменные лазеры
- Яфаров Р. К. Physics СВЧ вакуумно-плазменных нанотехнологий: монография
- Computer and Internet
- Шишковский И. В. Лазерный синтез функционально-градиентных мезоструктур и объемных изделий
- Кобзарь А. И. Прикладная математическая статистика
- Калашников С. Г. Электричество: учебное пособие
- Андреев С. Г., Бойко М. М., Селиванов В. В. Экспериментальные методы физики взрыва и удара: учебник
- Антонов Ю. Ф. Криотурбогенератор КТГ-20 : опыт и проблемы сверхпроводникового электромашиностроения: монография
- Аплеснин С. С. Магнитные и электрические свойства сильнокоррелированных магнитных полупроводников с четырехспиновым взаимодействием и с орбитальным упорядочением: монография
- Астахов В. И. Квазистационарные электромагнитные поля в проводящих оболочках
- Бесов О. В. Лекции по математическому анализу: учебник
- Броневич А. Г., Каркищенко А. Н., Лепский А. Е. Анализ неопределенности выделения информативных признаков и представлений изображений: монография
- Бухалев В. А. Оптимальное сглаживание в системах со случайной скачкообразной структурой: монография
- Фортов В. Е. Physics высоких плотностей энергии: монография
- Гантмахер В. Ф. Электроны в неупорядоченных средах
- Грузевич Ю. К. Оптико-электронные приборы ночного видения: монография
- Ищенко А. А., Гиричев Г. В., Тарасов Ю. И. Дифракция электронов : структура и динамика свободных молекул и конденсированного состояния вещества
- Колесников А. А. Новые нелинейные методы управления полетом: монография
- Конвективный теплообмен летательных аппаратов
- Ковалев О. Б., Фомин В. М. Физические основы лазерной резки толстых листовых материалов: монография
- Кудряшов Ю. Б., Рубин А. Б. Радиационная биофизика : Сверхнизкочастотные излучения: учебник
- Кузовлев В. П., Подаева Н. Г. Course геометрии : элементы топологии, дифференциальная геометрия, основания геометрии: учебное пособие
- Мазалова В. Л., Кравцова А. Н., Солдатов А. В. Нанокластеры : рентгеноспектральные исследования и компьютерное моделирование: монография
- Никитенко Ю. В., Сыромятников В. Г. Рефлектометрия поляризованных нейтронов: монография
- Остроухов С. П. Аэродинамика воздушных винтов и винтокольцевых движителей: монография
- Радин В. П., Самогин Ю. Н., Чирков В. П. Метод конечных элементов в динамических задачах сопротивления материалов
- Спутниковая радиотомография ионосферы: монография
- Сабитов К. Б. Уравнения математической физики: учебник
- Самарцев В. В. Коррелированные фотоны и их применение
- Щитов И. Н. Асимптотические разложения решений сингулярно возмущенных задач для обыкновенных дифференциальных уравнений: монография
- Щеглов Б. А. Динамическое формоизменение элементов конструкций
- Штарьков Ю. М. Универсальное кодирование : Теория и алгоритмы
- Скворцов В. В. Аэродинамические исследования при участии потоков синтезированной и низкотемпературной плазмы: монография
- Солтаханов Ш. Х. Основы механики голономных и неголономных систем: учебное пособие
- Токарев В. В. Модели и решения : Исследование операций для экономистов, политологов и менеджеров: учебное пособие
- Треногин В. А., Недосекина И. С. Уравнения в частных производных: учебное пособие
- Туманов Ю. Н. Электротехнологии нового поколения в производстве неорганических материалов : экология, энергосбережение, качество: монография
- Вейвлеты в нейродинамике и нейрофизиологии: монография
- Волков К. Н., Емельянов В. Н., Зазимко В. А. Турбулентные струи — статистические модели и моделирование крупных вихрей: монография
- Зorтинкевич С. С. Атмосферная турбулентность и планетарные пограничные слои
- Сивухин Д. В. Общий курс физики: учебное пособие : в 5 т. Т. 2. Термодинамика и молекулярная физика
- Алешкевич В. А. Электромагнетизм: учебник
- Арутюнов А. В. Лекции по выпуклому и многозначному анализу: учебное пособие
- Фторхинолоны : синтез и применение: монография
- Черепащук А. М. Тесные двойные звезды: монография : в 2-х ч., Ч. 2
- Формальский А. М. Управление движением неустойчивых объектов: монография
- Хлебников В. С. Аэротермодинамика элементов летательных аппаратов при стационарном и нестационарном сверхзвуковом отрывном обтекании: монография
- Каширина Н. И., Лахно В. Д. Математическое моделирование автолокализованных состояний в конденсированных средах: монография
- Ким Д. П. Алгебраические методы синтеза систем автоматического управления: монография
- Курлов А. С., Гусев А. И. Physics и химия карбидов вольфрама: монография
- Магомедов У. Б., Алхасов А. Б., Магомедов М. М. Справочник по теплопроводности и динамической вязкости воды и водных растворов солей: справочник
- Марченков С. С. Функциональные уравнения дискретной математики
- Вильке В. Г. Mechanics систем материальных точек и твердых тел: учебник
- Виноградова А. А., Иванова Ю. А. Антропогенная нагрузка на экосистемы Костомукшского природного заповедника : Атмосферный канал: монография
- Волынский Александр Л., Бакеев Н. Ф. Роль поверхностных явлений в структурно-механической поведении твердых полимеров: монография
- Башкин В. А., Егоров И. В. Численное исследование задач внешней и внутренней аэродинамики: монография
- Елкин В. И. Основы геометрической теории нелинейных управляемых систем: монография
- Фундаментальные космические исследования: монография : в 2-х кн. Кн. 1. Астрофизика
- Фундаментальные космические исследования: монография : в 2-х кн. Кн. 2. Солнечная система
- Гиперспектральное дистанционное зондирование в геологическом картировании
- Глезер А. М., Шурыгина Н. А. Аморфно-нанокристаллические сплавы: монография
- Математические методы теории управления : проблемы устойчивости, управляемости и наблюдаемости: монография
- Моделирование статики и динамики оболочечных конструкций из композиционных материалов: монография
- Лунгу К. Н., Макаров Е. В. Высшая математика : руководство к решению задач: учебное пособие, Ч. 1
- Марченков С. С. Основы теории булевых функций: учебное пособие
- Методы ускорения газодинамических расчетов на неструктурированных сетках: монография
- Сабитов К. Б. К теории уравнений смешанного типа: монография
- Сивухин Д. В. Общий курс физики: учебное пособие : в 5 т. Т. 1. Mechanics
- Прикладные задачи механики композитных цorндрических оболочек: монография
- Солтаханов Ш. Х. Определение управляющих сил при наличии связей высокого порядка: монография
- Сумбатян М. А., Скалия А. Основы теории дифракции с приложениями в механике и акустике: монография
- Временная деградация некоторых оксидов ванадия : структура и свойства: монография
- Теплогидравлические модели оборудования электрических станций
- Антонов Ю. Ф., Зайцев А. А. Магнитолевитационная транспортная технология
Главная
»
»
Физика
»
Компьютер и Интернет
»
Бурдонов И. Б., Косачев А. С., Кулямин В. В. Теория соответствия для систем с блокировками и разрушением: монография
Бурдонов И. Б. , Косачев А. С. , Кулямин В. В.
Теория соответствия для систем с блокировками и разрушением: монография
Discipline:
Информационные технологии
Genre:
Научные монографии
Москва: Физматлит, 2010
Number of pages: 410
No view is available.
The book is accessible only through subscription.
Bibliographic description
Annotation
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением.
Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.
Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности.
Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.
Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности.
Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Contents
Предисловие | 5 |
1. Формальные модели и соответствия между ними | 7 |
2. Отношение ioco и его проблемы | 8 |
3. Предлагаемый в данной работе подход | 12 |
4. Благодарности | 14 |
Как читать эту книгу | 15 |
1. Краткое содержание книги | 15 |
2. Нумерация и ссылки | 19 |
3. Порядок чтения книги | 19 |
Общематематические понятия и обозначения | 23 |
1. Множества, числа и соответствия | 23 |
2. Последовательности | 24 |
3. Деревья последовательностей | 27 |
4. Порождающий граф | 28 |
Глава 1. Основные понятия теории соответствия | 29 |
1.1. Формализация понятия «правильности» | 29 |
1.2. Формализация тестового эксперимента | 36 |
1.3. Дивергенция и недетерминизм | 41 |
1.4. Трассовая и автоматная модели | 44 |
1.5. Тесты | 48 |
1.6. Модели ввода-вывода | 52 |
1.7. Проблемы взаимодействия тестера и реализации | 55 |
1.8. Пополнение спецификации | 69 |
1.9. Асинхронное тестирование и верификация композиции | 72 |
Глава 2. Синхронное тестирование | 77 |
2.1. Машина тестирования | 78 |
2.2. Трассовые модели | 92 |
2.3. LTS-модель | 139 |
2.4. Сравнение моделей | 181 |
2.5. Пополнение спецификации | 186 |
Глава 3. Верификация композиции | 209 |
3.1. Общая теория монотонности | 212 |
3.2. Мажорирование ???-трасс и отношение ioco??? | 219 |
3.3. ?-трассы | 221 |
3.4. Общий случай: Мажорирование ?-трасс | 235 |
3.5. Общий случай: Преобразование T??? | 238 |
3.6. Общий случай: Алгоритмизация | 261 |
Глава 4. Верификация композиции в частных случаях | 284 |
4.1. Спецификации без разрушения | 284 |
4.2. Спецификации без блокировок | 288 |
4.3. Спецификации без блокировок и без разрушения | 298 |
Итоги и перспективы | 300 |
Список литературы | 304 |
Приложение A. Доказательства утверждений | 307 |