Home Books

Books : Page 83062

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
An exploration of chaos: an introduction for natural scientists and engineers
  • DJVU
  • English
  • Year: 1994
  • Author: G. Faust, M. Haase, J.H. Argyris
Datenkommunikation: Verfahren — Netze — Dienste
  • PDF
  • German
  • Year: 1993
  • Author: Dieter Conrads (auth.)
Photorealistic Rendering Techniques
  • PDF
  • English
  • Year: 1995
  • Author: Peter Shirley, Georgios Sakas (auth.), Georgios Sakas, Stefan Müller, Peter Shirley (eds.)
Hopf algebras and quantum groups: proceedings of the Brussels conference
  • DJVU
  • English
  • Year: 2000
  • Author: Freddy Van Oystaeyen, Stefaan Caenepeel
Atom-probe field ion microscopy
  • DJVU
  • English
  • Year: 1990
  • Author: Tien T. Tsong
The Clausal Theory of Types
  • DJVU
  • English
  • Year: 1993
  • Author: D. A. Wolfram