Home Advanced Search

Advanced Search - Page 1

Model Checking. Верификация параллельных и распределенных программных систем.
Model Checking. Верификация параллельных и распределенных программных систем.
  • DJVU
  • Russian
  • Year: 2010
  • Author: Ю. Г. Карпов
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
  • DJVU
  • Russian
  • Year: 2006
  • Author: Карпов Ю.
Путь ученого
  • PDF
  • Russian
  • Author: Карпов Г.
В кальдере вулкана
  • DJVU
  • Russian
  • Year: 1980
  • Author: Карпов Г.
Ярослав Мудрый
Ярослав Мудрый
  • DJVU
  • Russian
  • Year: 2005
  • Author: Карпов А. Ю.
Технология, механизация и автоматизация работ по техническому обслуживанию железнодорожного пути: учебное пособие
  • ZIP
  • Russian
  • Year: 2020
  • Author: Карпов И. Г., Лагерев С. Ю.
Теория автоматического управления. Часть 2
  • PDF
  • Russian
  • Year: 2012
  • Author: Карпов А. Г.
Механические связи и их реакции : учебное пособие для бакалавров по всем техническим направлениям
  • ZIP
  • Russian
  • Author: Карпов Г. Н.
Вектор в теоретической механике = Vector in theoretical mechanics: научно-популярное издание
  • ZIP
  • Russian
  • Author: Карпов Г. Н.
Экономика образования : памятка для студентов и их родителей: научно-популярное издание
  • PDF
  • Russian
  • Author: Карпов Г. Н.
search