Home Books

Books : Page 81927

О математической индукции. (Оn mathematical induction)
  • DJVU
  • Russian
  • Year: 1962
  • Author: Генкин Л., Перевод с английского М.Д.Гриндлингера и Е.И.Гриндлингер. Под редакцией И.М.Яглома.
Orders: Description and Roles
  • DJVU
  • English
  • Year: 1984
  • Author: M. Pouzet, D. Richard
Бесконечномерные алгебры Ли
  • DJVU
  • Russian
  • Year: 1993
  • Author: Кац В.
Pattern Calculus: Computing with Functions and Structures
  • PDF
  • English
  • Year: 2009
  • Author: Barry Jay (auth.)
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Artificial intelligence and robotics in manufacturing
  • PDF
  • English
  • Year: 2001
  • Author: Leondes C. (ed.)