
	Where results make sense

Topic: David Harel

Related Topics

David Bowie

David Hume

David Lloyd George

Henry David Thoreau

David Hilbert

David Letterman

David Gilmour

David Ben Gurion

David Lynch

The Late Show with David Letterman

David Beckham

David Ricardo

In the News (Sat 28 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	David Harel - Wikipedia, the free encyclopedia
		David Harel (born 1950) is a professor of computer science at the Weizmann Institute of Science in Israel.
		Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.
		Harel is best known for his work on dynamic logic, computability and software engineering.
	en.wikipedia.org /wiki/David_Harel (185 words)

	DBLP: David Harel
		David Harel, Shahar Maoz: Assert and negate revisited: modal semantics for UML sequence diagrams.
		David Harel, Amnon Naamad: The STATEMATE Semantics of Statecharts.
		David Harel, Chaim-Arie Kahana: On Statecharts with Overlapping.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/h/Harel:David.html (1998 words)

	david harel - ResearchIndex document query
		The STATEMATE Semantics of Statecharts - Harel, Naamad (1996)
		David Harel is the William Sussman Professor of
		Concurrency I: Finite Automata Doron Drusinsky, David hare
	citeseer.ist.psu.edu /cis?q=David+Harel (440 words)

	Amazon.com: Algorithmics: Books: David Harel (Site not responding. Last check: 2007-10-09)
		Harel covers ALL the key aspects of algorithms and quite a bit of Data Structs too.
		I am not troubled by the contents of the book or the way Mr Harel describes them, however, I do strongly object to the fact that he continuously bothers the reader with bible quotations that seem to be growing on every second page like a malignant cancer.
		David Harel is a big name in Theoretical Computer Science, one of the
	www.amazon.com /Algorithmics-David-Harel/dp/0201192403 (2291 words)

	Books Harel, David to Horvitz, Leslie Alan
		The inclusion of the P v NP question as one of the Millennium problems in mathematics may draw attention to the subject, but doesn't make it look any easier.
		In this book David Harel provides a short account of the subject in a way that can be understood by the non-specialist reader.
		It's an enjoyable read, and I would recommend it to anyone who wants a better understanding of just what the limitations of computers are.
	www.chronon.org /books/H.html (1813 words)

	Ian Alexander's Reviews of Books on Requirements Engineering and Related Subjects - Harel on Algorithms (Site not responding. Last check: 2007-10-09)
		Ian Alexander's Reviews of Books on Requirements Engineering and Related Subjects - Harel on Algorithms
		Classic Book: David Harel and Yishai Feldman :
		This magnificent book captures in an unmatched way the essence of what computing is: pure thought-stuff, woven into something that solves practical problems.
	i.f.alexander.users.btopenworld.com /reviews/harel_and_feldman.htm (46 words)

	LinkedIn: David Harel
		See who you and David Harel know in common
		Create a public profile: Sign In or Join Now
		Search for people you know from over 8.5 million professionals already on LinkedIn.
	www.linkedin.com /pub/1/b79/395 (31 words)

Try your search on: Qwika (all wikis)