Category:エドガー・ダイクストラ
銀行家のアルゴリズム
Banker's algorithm
Guarded Command Language
Guarded Command Language
THEマルチプログラミングシステム
THE multiprogramming system
デッカーのアルゴリズム
Dekker's algorithm並行性
Concurrency (computer science)
Goto文
Goto
述語変換意味論
Predicate transformer semantics
関心の分離
Separation of concerns
居眠り床屋問題
Sleeping barber problem
ソフトウェア危機
Software crisis
エドガー・ダイクストラ
Edsger W. Dijkstra
操車場アルゴリズム
Shunting yard algorithm
プリム法
Prim's algorithm
並行計算
Concurrent computing
食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock (computer science)
排他制御
Mutual exclusion
ダイクストラ法
Dijkstra's algorithm▼-1 trends
