Home Books

Books : Page 81808

Algebra
  • DJVU
  • English
  • Year: 1994
  • Author: Howard Anton
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
  • PDF
  • English
  • Year: 1993
  • Author: Prof.Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Dietmar Ratz, Dipl-Math. oec. Matthias Hocks (auth.)
Readin, ritin, and Rafferty; a study of educational fundamentalism
  • EPUB
  • English
  • Year: 1969
  • Author: William F O'Neill
Группы и алгебры Ли
  • DJVU
  • Russian
  • Year: 1986
  • Author: Бурбаки Н.
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994
  • PDF
  • English
  • Year: 1994
  • Author: A. Greenway MSc DMS DipM AMIEE (auth.), Felix Redmill, Tom Anderson (eds.)
How to prove it: a structured approach
  • DJVU
  • English
  • Year: 2006
  • Author: Daniel J. Velleman
Fuzzy Logik: Theorie und Praxis 4. Dortmunder Fuzzy-Tage Dortmund, 6.–8. Juni 1994
  • PDF
  • German-English
  • Year: 1994
  • Author: Emdad Khan (auth.), Bernd Reusch (eds.)
Dynamic logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Tutorial on asymptotic analysis
  • GZ
  • English
  • Year: 2000
  • Author: Struckmeier J.