Home Advanced Search

Advanced Search - Page 1

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.)
Domains and Lambda-Calculi
  • PDF
  • English
  • Year: 1998
  • Author: Roberto M. Amadio, Pierre-Louis Curien
Domains and Lambda-calculi
  • PDF
  • English
  • Year: 1996
  • Author: Roberto M. Amadio, Pierre-Louis Curien
Modeling and Simulation of High Speed VLSI Interconnects: A Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Vol. 5, No. 1 (1994)
  • PDF
  • English
  • Year: 1994
  • Author: Michel Nakhla, Q. J. Zhang (auth.), M. S. Nakhla, Q. J. Zhang (eds.)
Optical Sensor Systems in Biotechnology
  • PDF
  • English
  • Year: 2010
  • Author: K. Ray, M. H. Chowdhury, J. Zhang, Y. Fu (auth.), Govind Rao (eds.)
Optical Sensor Systems in Biotechnology
  • PDF
  • English
  • Year: 2010
  • Author: K. Ray, M. H. Chowdhury, J. Zhang, Y. Fu (auth.), Govind Rao (eds.)
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)
The American Cockroach
  • PDF
  • English
  • Year: 1982
  • Author: Louis M. Roth (auth.), William J. Bell, K. G. Adiyodi (eds.)
Quantum Well Intersubband Transition Physics and Devices
  • PDF
  • English
  • Year: 1994
  • Author: B. F. Levine, G. Sarusi, S. J. Pearton, K. M. S. Bandara, R. E. Leibenguth (auth.), H. C. Liu, B. F. Levine, J. Y. Andersson (eds.)
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.)
search