yr 〜
yr

Search results 4

初等アセンブラプログラミングにおけるプログラムの自動評価に関する研究

初等アセンブラプログラミングにおけるプログラムの自動評価に関する研究
Paper図書
武井惠雄, 帝京大学1999-2000<Y151-H11680400>
National Diet Library
  • Subject Headingプログラミング教育 プログラム評価 アセンブラプログラミング CASL

初等アセンブラプログラミングを対象とした事例に基づくアドバイス支援システム

初等アセンブラプログラミングを対象とした事例に基づくアドバイス支援システム
Paper図書
渡辺博芳, 帝京大学 [著][渡辺博芳]2002-2003<Y151-H14580428>
National Diet Library
  • Subject Headingプログラミング教育 / アドバイス / アセンブラプログラミング / CASL / 事例ベース推論

回転成層乱流中の渦動力学と輸送・混合現象の解明 : 乱流渦-波動モデルの開発

回転成層乱流中の渦動力学と輸送・混合現象の解明 : 乱流渦-波動モデルの開発
Paper図書
宮嵜武, 電気通信大学 [著][宮嵜武]2003-2004<Y151-H15540365>
National Diet Library
  • Subject Heading回転成層流体 / 乱流 / 渦運動 / 地衡風近似 / 楕円体渦 / 合体現象 / 準数値計算 (CASL) / 物質輸送

CASL user manual : introduction to using the Common Algebraic Specification Language

CASL user manual : introduction to using the Common Algebraic Specification Language
Paper図書
Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej TarleckiSpringerc2004
Other Libraries in Japan
  • Subject HeadingCASL (Computer program language)
  • Subject Heading (ID)CASL (Computer program language)

Reached to the end of result.