Home Advanced Search

Advanced Search - Page 1

Advances in Cryptology — CRYPTO ’91: Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: M. Abadi, M. Burrows, B. Lampson, G. Plotkin (auth.), Joan Feigenbaum (eds.)
Advances in Cryptology — CRYPTO ’91: Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: M. Abadi, M. Burrows, B. Lampson, G. Plotkin (auth.), Joan Feigenbaum (eds.)
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings
  • PDF
  • English
  • Year: 1984
  • Author: R. Burstall, B. Lampson (auth.), Gilles Kahn, David B. MacQueen, Gordon Plotkin (eds.)
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.)
Trends in Colloid and Interface Science XVI
  • PDF
  • English
  • Year: 2004
  • Author: G. Hungerford, M. E. C. D. Real. Oliveira (auth.), M. Miguel, H. D. Burrows (eds.)
The Evolution of Exudativory in Primates
  • PDF
  • English
  • Year: 2010
  • Author: Leanne T. Nash, Anne M. Burrows (auth.), Anne M. Burrows, Leanne T. Nash (eds.)
The Bottom of the Main Sequence — And Beyond: Proceedings of the ESO Workshop Held in Garching, Germany, 10–12 August 1994
  • PDF
  • English
  • Year: 1995
  • Author: D. Saumon, A. Burrows, W. B. Hubbard (auth.), Christopher G. Tinney (eds.)
Uncertainty and Forecasting of Water Quality
  • PDF
  • English
  • Year: 1983
  • Author: M. B. Beck (auth.), M. B. Beck, G. van Straten (eds.)