Home Advanced Search

Advanced Search - Page 1

Theories of types and proofs
  • DJVU
  • English
  • Year: 1998
  • Author: Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.)
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
The Heating Load of Greenhouses. (1). Convective heat transfer coefficients at the inside cover surface of a greenhouse as influenced by heating pipe positions (Тепловая нагрузка теплицы. (1). Коэффициент конвективной теплопередачи внутри те
  • PDF
  • English
  • Author: Okada M.
Molecular Catalysts for Energy Conversion
  • PDF
  • English
  • Year: 2009
  • Author: T. Okada, T. Abe, M. Kaneko (auth.), Dr. Tatsuhiro Okada, Professor Dr. Masao Kaneko (eds.)
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.)
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.)
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
Nonlinear and Convex Analysis in Economic Theory
  • PDF
  • English
  • Year: 1995
  • Author: Robert M. Anderson (auth.), Toru Maruyama, Wataru Takahashi (eds.)
Rethinking Environmental Management in the Pacific Rim
  • EPUB
  • English
  • Year: 2017
  • Author: Amrita Daniere; Lois. M Takahashi
An Atlas of Axial Transverse Tomography and its Clinical Application
  • PDF
  • German
  • Year: 1969
  • Author: Shinji Takahashi M. D. (auth.)
search