David Harel

David Harel (right) with [[Carl Hewitt]] at FLoC 2006 David Harel (; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Harel, David', query time: 0.02s Refine Results
  1. 1
    Algorithmics the spirit of computing
    by Harel, David, 1950-
    Published 1992
    Book
  2. 2
    Algorithmics : the spirit of computing /
    by Harel, David, 1950-
    Published 1993
    Book
  3. 3
    Algorithmics The spirit of computing
    by Harel, David, 1950-
    Published 1987
    Book
  4. 4
    The science of computing Exploring the nature and power of algorithms
    by Harel, David, 1950-
    Published 1989
    Book
  5. 5
    Algoritmi Lo spirito dell’informatica /
    by Harel, David, Feldman, Yishai
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings /
    Published 2006
    Other Authors: “…Harel, David…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
    Published 2005
    Other Authors: “…Harel, David…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
    by Broy, M., 1949-
    Published 2005
    Other Authors: “…Harel, David, 1950-…”
    Get full text
    Electronic Kit Book
  9. 9
    Algorithmic Bioprocesses
    Published 2009
    Other Authors: “…Harel, David…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search