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.)
Recent Advances in Neuropsycho-Pharmacology. Selected Papers from the 12th Congress of the Collegium Internationale Neuro–Psychopharmacologicum, Göteborg, Sweden, 22–26 June 1980
  • PDF
  • English
  • Year: 1981
  • Author: B. Angrist, G. D. Burrows and M. Lader (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
  • PDF
  • English
  • Year: 2000
  • Author: Plotkin G., Stirling C.P., Tofte M. (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.)
Uncertainty and Forecasting of Water Quality
  • PDF
  • English
  • Year: 1983
  • Author: M. B. Beck (auth.), M. B. Beck, G. van Straten (eds.)
Universal Algebra, Algebraic Logic, and Databases
  • PDF
  • English
  • Year: 1994
  • Author: B. Plotkin (auth.)
Hausdorff on Ordered Sets (History of Mathematics,) (History of Mathematics; Sources)
  • DJVU
  • English
  • Year: 2005
  • Author: J. M. Plotkin
search