Home Books

Books : Page 41993

From Logic to Logic Programming
  • PDF
  • English
  • Year: 1994
  • Author: Kees Doets
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
Hidden Secrets
  • PDF
  • English
  • Year: 2009
  • Author: Carl Nagel
Воспоминания (Автобиография)
  • DJVU
  • Russian
  • Year: 1998
  • Author: Иностранцев А.А.
Тени в перспективе.
  • PDF
  • Russian
  • Year: 2011
  • Author: Петрова В.В., Буткова Т.А.