Home Books

Books : Page 81856

Combinators,lambda-terms and proof theory
  • DJVU
  • English
  • Year: 1972
  • Author: Soren Stenlund
Теоретические основы нелинейной акустики
  • DJVU
  • Russian
  • Year: 1975
  • Author: Руденко, Солуян.
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Многомерная комплексная геометрия
  • DJVU
  • Russian
  • Year: 1993
  • Author: Клеменс, Коллар, Мори. (H.Clemens,J.Collar,S.Mori)
Linear algebra
  • DJVU
  • English
  • Year: 1971
  • Author: Hoffman, Kunze.
Linear groups, with an exposition of the Galois field theory
  • DJVU
  • English
  • Year: 2003
  • Author: Leonard Eugene Dickson
Frommer's Portugal
  • PDF
  • English
  • Year: 2004
  • Author: Darwin Porter, Danforth Prince
City-Trip Hongkong mit großem City-Faltplan
  • PDF
  • German
  • Author: Werner Lips; Klaus Werner
PROLOG for Computer Science
  • PDF
  • English
  • Year: 1994
  • Author: M. S. Dawe, C. M. Dawe PhD (auth.)