Home Advanced Search

Advanced Search - Page 1

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.)
Categorical Combinators, Sequential Algorithms, and Functional Programming
  • PDF
  • English
  • Year: 1993
  • Author: Pierre-Louis Curien
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
  • PDF
  • English
  • Year: 2003
  • Author: Pierre-Louis Curien (auth.), G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo (eds.)
Understanding Korean Politics : An Introduction
  • PDF
  • English
  • Year: 2010
  • Author: Soong Hoom Kil, Chung-in Moon
Gottfried Wilhelm Leibniz: The Art of Controversies
  • PDF
  • English
  • Year: 2006
  • Author: Marcelo Dascal (auth.), Marcelo Dascal (eds.)
Internet and digital economics : [principles, methods and applications] ed. by
  • PDF
  • English
  • Year: 2007
  • Author: Brousseau E., Curien N. (eds.)
The Six-Party Talks on North Korea: Dynamic Interactions among Principal States
  • PDF
  • English
  • Year: 2018
  • Author: Mi-yeon Hur (auth.)
Nonlinear MHD Waves and Turbulence: Proceeding of the Workshop Held in Nice, France, 1–4 December 1998
  • DJVU
  • English
  • Year: 1999
  • Author: P.K. Shukla, L. Stenflo (auth.), Thierry Passot, Pierre-Louis Sulem (eds.)
Numerical Ecology
  • PDF
  • English
  • Year: 2012
  • Author: Pierre Legendre, Louis Legendre (Eds.)
Develoments in Numerical Ecology
  • PDF
  • English
  • Year: 1987
  • Author: Pierre Legendre, Louis Legendre (eds.)
search