Уточнить поиск
Наличие
-
Авторы
- "Методы моделирования", казанский научный семинар (1)
- A. I. Mikov (1)
- Mikov A. I. 1949- Aleksandr Ivanovič (1)
- Southern federal university (1)
- А.Г. Деменев (2)
- В.П. Кулагин (1)
- Деменев А. Г. 1967- Алексей Геннадьевич (2)
- Ершов Н. М. канд. физ.-мат. наук 1968- Николай Михайлович (1)
- Карпов Ю. Г. д-р техн. наук Юрий Глебович (1)
- Кулагин В. П. Владимир Петрович (1)
- М-во образования Рос. Федерации, Перм. гос. пед. ун-т. Каф. информатики и вычисл. техники (1)
- М-во общ. и проф. образования Рос. Федерации, Моск. гос. ин-т электроники и математики (Техн. ун-т) (1)
- Московский государственный университет имени М. В. Ломоносова, Факультет вычислительной математики и кибернетики (1)
- Н. М. Ершова, Н. Н. Попова (1)
- Попова Н. Н. канд. физ.-мат. наук Нина Николаевна (1)
- Райхлин В. А. Вадим Абрамович 340 (1)
- Федер. агентство по образованию, ГОУ ВПО "Перм. гос. ун-т", Нац. проект "Образование" (1)
- Ю.Г. Карпов (1)
- под ред. В. А. Райхлина (1)
- Показать больше
- Показать меньше
-
Item types
- Книга (7)
-
Места хранения
-
Заглавие серии
-
Предметные рубрики
- MODEL CHECKING, метод (1)
- Верификация (1)
- Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Параллельное программирование -- Учебно-методическое пособие для высшей школы (1)
- Вычислительные системы многопроцессорные (1)
- Моделирование (7)
- Параллельные вычислительные системы (7)
- Программирование (2)
- Программы (компьют.) (1)
- Распределенные вычислительные системы (1)
- Руководства, пособия и т.п. для высшей школы (2)
- Съезды, совещания и т.п (1)
- Учебно-методические пособия для высших учебных заведений (2)
- Учебные издания для высшей школы (2)
- Физико-математические науки -- Математика -- Теория вероятностей и математическая статистика -- Теория игр. Исследование операций -- Параллельное программирование -- Учебно-методическое пособие для высшей школы (1)
- взаимодействующие системы (1)
- Показать больше
- Показать меньше
-
Коллекции
-
Библиотека хранения
- РНБ (Московский) (5)
- РНБ (Садовая) (1)
-
Языки
- английский (eng) (2)
- русский (rus) (6)