Home Advanced Search

Advanced Search - Page 1

First-Order Dynamic Logic
  • PDF
  • English
  • Year: 1979
  • Author: David Harel (eds.)
First-Order Dynamic Logic
  • DJVU
  • English
  • Year: 1979
  • Author: David Harel (eds.)
電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)
  • PDF
  • Chinese
  • Year: 2002
  • Author: David Harel
Rzecz o istocie informatyki: algorytmika
  • PDF
  • Polish
  • Year: 2000
  • Author: David Harel
Computers Ltd: What They Really Can't Do
  • PDF
  • English
  • Year: 2000
  • Author: David Harel
Computers Ltd: What They Really Can't Do
  • DJVU
  • English
  • Year: 2000
  • Author: David Harel
Algorithmics: The Spirit of Computing
  • DJVU
  • English
  • Year: 1987
  • Author: David Harel
Statecharts. A Visual Formalism for Complex Systems
  • PDF
  • English
  • Year: 1986
  • Author: David Harel
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: David Harel (auth.), Johan Jeuring (eds.)
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: David Harel, Yaki Setty (auth.), Jasmin Fisher (eds.)
search