Home Advanced Search

Advanced Search - Page 1

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ana Cavalcanti, Marie-Claude Gaudel (auth.), Shengchao Qin (eds.)
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.)
Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: C. A. R. Hoare (auth.), Harald Kosch, László Böszörményi, Hermann Hellwagner (eds.)
Korea - Culture Smart!: the Essential Guide to Customs & Culture
  • EPUB
  • English
  • Year: 2010
  • Author: Hoare, James
Korea: The Essential Guide to Customs & Culture
  • EPUB
  • English
  • Year: 2021
  • Author: James Hoare
East Asia Observed: Selected Writings 1973-2021
  • PDF
  • English
  • Year: 2023
  • Author: James Hoare
Macroevolution in Human Prehistory: Evolutionary Theory and Processual Archaeology
  • PDF
  • English
  • Year: 2009
  • Author: Anna Marie Prentiss, Ian Kuijt, James C. Chatters (auth.), Anna Prentiss, Ian Kuijt, James C. Chatters (eds.)
A Geometrical Study of the Elementary Catastrophes
  • PDF
  • English
  • Year: 1974
  • Author: A. E. R. Woodcock, T. Poston (auth.)
Metals in Biochemistry
  • PDF
  • English
  • Year: 1980
  • Author: P. M. Harrison, R. J. Hoare (auth.)
search