Home Advanced Search

Advanced Search - Page 1

Математическая логика.
  • PDF
  • Russian
  • Year: 2005
  • Author: Миронов А.М.
Верификация программ. Ч.1 Нерекурсивные программы.
  • PDF
  • Russian
  • Year: 2020
  • Author: Миронов А.М.
Теория процессов.
  • PDF
  • Russian
  • Year: 2013
  • Author: Миронов А.М.
Вероятностный алгоритм проверки чисел на простоту.
  • PDF
  • Russian
  • Year: 2005
  • Author: Миронов А.М.
Доказательство теоремы Гыоделя о неполноте, основанное на понятиях функционального программирования.
  • PDF
  • Russian
  • Year: 2015
  • Author: Миронов А.М.
Верификация программ методом model checking
  • PDF
  • Russian
  • Year: 2020
  • Author: Миронов А.М.
Криптографические протоколы. Ч.1
  • PDF
  • Russian
  • Year: 2016
  • Author: Миронов А.М.
Теория функциональных программ. Ч.1
  • PDF
  • Russian
  • Year: 2013
  • Author: Миронов А.М.
Теория процессов
  • DJVU
  • Russian
  • Year: 2008
  • Author: Миронов А.М.
Теория процессов.
  • DJVU
  • Russian
  • Year: 2008
  • Author: Миронов А.М.
search