Pages that link to "Biography:David Harel"
From HandWiki
The following pages link to Biography:David Harel:
Displayed 29 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Higraph (← links)
- Message sequence chart (← links)
- State diagram (← links)
- Dense order (← links)
- Finite-state machine (← links)
- Algorithmics (← links)
- Dynamic logic (modal logic) (← links)
- Summer School Marktoberdorf (← links)
- Structured program theorem (← links)
- NP (complexity) (← links)
- Stevens Award (← links)
- P system (← links)
- List of important publications in computer science (← links)
- Template:FRS 2020 (← links)
- Philosophy:Social software (social procedure) (← links)
- Philosophy:Social software (research field) (← links)
- Biography:Margaret Hamilton (software engineer) (← links)
- Biography:Albert R. Meyer (← links)
- Biography:Oded Goldreich (← links)
- Biography:Dexter Kozen (← links)
- Biography:David Peleg (computer scientist) (← links)
- Biography:Nir Friedman (← links)
- Biography:Harold Fisch (← links)
- Company:I-Logix (← links)
- Organization:European Association for Theoretical Computer Science (← links)
- Software:Stateflow (← links)
- Software:YAKINDU Statechart Tools (← links)
- Software:History of Programming Languages (← links)
- Software:Rational Rhapsody (← links)
