Harel, David, 1950-....
הראל, דוד, 1950-
Harel, David
VIAF ID: 109353358 (Personal)
Permalink: http://viaf.org/viaf/109353358
Preferred Forms
-
100 1 _ ‡a Harel, David, ‡d 1950-....
-
100 1 _ ‡a הראל, דוד, ‡d 1950-
-
100 1 _ ‡a Harel, David
-
200 _ | ‡a Harel ‡b David ‡f 1950-....
-
100 1 _ ‡a Harel, David, ‡d 1950-
-
100 1 _ ‡a Harel, David, ‡d 1950-
-
100 1 _ ‡a Harel, David ‡d (1950- ).
-
100 1 _ ‡a Harel, David, ‡d 1950-
-
100 1 _ ‡a Harel, David, ‡d 1950-
-
100 1 _ ‡a Harel, David ‡d 1950-
Uniform Title Links (2)
4xx's: Alternate Name Forms (7)
Selected Titles
- First-order dynamic logic, 1979:
(7)
- Algorithmics : the spirit of computing
(7)
- Rzecz o istocie informatyki : algorytmika
(5)
- Computers Ltd. : what they really can't do
(5)
- Algorithmics
(5)
- פרקי יסוד במדעי המחשב
(3)
- The science of computing : exploring the nature and power of algorithms
(3)
- המחשב אינו כל־יכול /
(2)
- Pirḳe yesod be-madaʻe ha-maḥshev, 1985:
(2)
- Modeling reactive systems with statecharts : the statemate approach
(2)
