Home Books

Books : Page 81816

Advances in Databases and Information Systems: Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995
  • PDF
  • English
  • Year: 1996
  • Author: Jānis Bārzdiņš, Ilona Etmane, Audris Kalniņš, Kārlis Podnieks (auth.), Dr. Prof. Johann Eder, Dr. of Sci., Prof. Leonid A. Kalinichenko (eds.)
Практика программирования
  • DJVU
  • Russian
  • Year: 2004
  • Author: Керниган Б., Пайк Р.(Kernighan,Pike)
Using Event-B for Critical Device Software Systems
  • PDF
  • English
  • Year: 2013
  • Author: Neeraj Kumar Singh (auth.)
Fibrational formulation of intuitionistic predicate logic 1
  • DJVU
  • English
  • Year: 1993
  • Author: Makkai M.
Очерки по конструктивной математике
  • DJVU
  • Russian
  • Year: 1975
  • Author: Мартин-Леф П.
Natural Language and Information Systems: 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Edward Gibson (auth.), Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou (eds.)
Algebra: A computational introduction
  • PDF
  • English
  • Year: 2009
  • Author: John Scherk
Formal reduction and integration of systems of nonlinear differential equations
  • PDF
  • English
  • Year: 2000
  • Author: Eichenmueller G.
Проблема декомпозиции в математическом моделировании
  • DJVU
  • Russian
  • Year: 1998
  • Author: Павловский Ю.Н., Смирнова Т.Г.
Primitive groups
  • DJVU
  • English
  • Year: 2010
  • Author: William Albert Manning
search