Revesz Peter Z. について
University of Nebraska-Lincoln, Department of Computer Science & Engineering, Lincoln NE 68588-0115, USA について
Woodward Robert J. について
University of Nebraska-Lincoln, Department of Computer Science & Engineering, Lincoln NE 68588-0115, USA について
Acta Universitatis Sapientiae, Informatica (Web) について
抽象解釈 について
気候 について
データベース について
気候モデル について
計算機プログラム について
逐次近似 について
エネルギー収支 について
Java について
気温 について
不変性 について
プログラム検証 について
時間ステップ について
制約データベース について
Datalog について
気候モデル について
不変量 について
MLPQシステム について
ソフトウェア検証 について
計算機システム開発 について
抽象解釈 について
気候モデル について
気温 について
推定 について