Электронный каталог

    страница из
    всего найдено записей: 1,
      отображать

    Platzer A. Logical analysis of hybrid systems : proving theorems for complex dynamics / A. Platzer, 2010 r=on-line. - Текст : электронный.