Home Advanced Search

Advanced Search - Page 1

Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • PDF
  • English
  • Year: 2000
  • Author: Plotkin G., Stirling C.P., Tofte M. (eds.)
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • DJVU
  • English
  • Year: 2000
  • Author: Plotkin G., Stirling C.P., Tofte M. (eds.)
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
  • PDF
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin Stirling, Mads Tofte
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • DJVU
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin P. Stirling, Mads Tofte
Proof, Language, and Interaction: Essays in Honour of Robin Milner
  • PDF
  • English
  • Year: 2000
  • Author: Gordon Plotkin, Colin P. Stirling, Mads Tofte
Biological control of plant-parasitic nematodes: soil ecosystem management in sustainable agriculture
  • PDF
  • English
  • Year: 2014
  • Author: Stirling, G. R. (Eds.)
Advances in Cryptology — CRYPTO ’91: Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: M. Abadi, M. Burrows, B. Lampson, G. Plotkin (auth.), Joan Feigenbaum (eds.)
Advances in Cryptology — CRYPTO ’91: Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: M. Abadi, M. Burrows, B. Lampson, G. Plotkin (auth.), Joan Feigenbaum (eds.)
Commentary on Standard ML
  • PDF
  • English
  • Year: 1991
  • Author: Milner R., Tofte M.
Hausdorff on Ordered Sets (History of Mathematics,) (History of Mathematics; Sources)
  • DJVU
  • English
  • Year: 2005
  • Author: J. M. Plotkin
search