Search results for "停止性" | NDL Search

Search results 11

Group by title

グラフからマルチセットへの時相論理を用いた抽象化

Paper図書

萩谷昌己, 東京大学 [著][萩谷昌己]2006-2007<Y151-H18500003>

National Diet Library

Subject Headingシェイプ解析 / 静的解析 / 停止性解析 / モデル検査 / 様相論理

簡約戦略に関する研究

Paper図書

ミデルドープ, アート (Middeldorp, Aart) , 筑波大学1999-2000<Y151-H11680338>

National Diet Library

Subject Heading項書き換え記号計算停止性文脈依存書き換え変換法

エージエントの分散制約充足に基づく計算機システムの検証および診断

Paper図書

栗原, 正仁, 北海道工業大学1997-1999<Y151-H09650444>

National Diet Library

Subject Headingエージエント分散制約充足停止性検証二分決定グラフ項書換え系

新しい遺伝性網膜疾患の分子遺伝学的、病態生理学的研究

Paper図書

三宅, 養三, 名古屋大学2001-2002<Y151-H13307048>

National Diet Library

Subject Heading遺伝性網膜疾患分子遺伝病態生理不全型先天停止性夜盲白点状眼底 Occult macular dystro...

高階書き換えシステムをもちいたプログラム検証法の研究

Paper図書

外山, 芳人, 北陸先端科学技術大学院大学1995-1997<Y151-H07680347>

National Diet Library

Subject Heading項書き換えシステム高階書き換えシステム合流性停止性リダクシヨン

論理学的手法を用いたプログラミング言語の計算モデルの理論

Paper図書

岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>

National Diet Library

Subject Heading線形論理相意味論証明の正規化定理 (強) 停止性計算モデル高階論理並行計算カツト消去定理

遺伝性眼底疾患の原因遺伝子の分析

Paper図書

中村, 誠, 名古屋大学2000-2001<Y151-H12671703>

National Diet Library

Subject Heading遺伝性眼底疾患分子遺伝先天性網膜分離症眼底白点症不全型先天停止性夜盲 XLRS1遺伝子 RDH5遺伝子 CACNA1F遺伝子

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフオーメーシヨン

Paper図書

栗原, 正仁, 北海道大学1992-1995<Y151-H04650298>

National Diet Library

Subject Heading項書換え系プログラム合成停止性検証 EBL 完備化リフレクシヨンモジユール

先天停止性夜盲・不全型の視機能異常の機序に関する研究

Paper図書

三宅, 養三, 名古屋大学1994-1995<Y151-H06454496>

National Diet Library

Subject Heading先天停止性夜盲不全型完全型杆体b波 STR 杆体双極細胞杆体・...

船舶の輻輳水域における航行の安全性に関する総合的研究

Paper図書

貴島, 勝郎, 九州大学1990-1991<Y151-H02302056>

National Diet Library

Subject Heading船舶操縦性操縦運動数学モデル船体流体力緊急停止性能針路不安定船パイロツト操船輻輳水域載荷状態

【網膜電図(ERG)を使いこなす】その他の先天性網脈絡膜疾患

Digitalその他

2014-11OCULISTA20p.69-

Other Libraries in Japan

Subject Heading...-中心性輪紋状(診断) 先天性停止性夜盲症(診断) ヒト

Reached to the end of result.

RSS