組み込みプログラミングノウハウ入門(9)時相論理とプログラム検証のはなし(1)
スポンサーリンク
概要
CQ出版社 | 論文
- 第3章 コンピュータにより可能になった新たな科学/工学分野 基礎からの計算科学・工学--シミュレーション (特集 動きのはやい技術動向をより効率的に理解するための用語解説 現代コンピュータ技術の基礎)
- 第3章 シミュレーションの結果は本当に正しいものなのか? 物理シミュレーションの手法と結果の検証 (特集 コンピュータにより可能になった新たな科学/工学分野 基礎からの計算科学・工学--シミュレーション)
- V850マイコン基板関連記事 V850マイコン基板を使ってセンシング&コントロール 穴を避けて走る自律走行ロボットの製作事例
- 音声符号化,音声合成,音声認識,話者認識を中心とする 音声処理に関する最新技術の原理と応用 (特集 マルチメディア/インタ-ネット時代の必須技術となる 圧縮/認識/合成を追求する音声処理の徹底研究)
- 国際標準化が進むCS-ACELP,TwinVQ,MPEG-1/2/4の動向 音声/楽音の情報圧縮符号化の基礎技術 (特集 マルチメディア/インタ-ネット時代の必須技術となる 圧縮/認識/合成を追求する音声処理の徹底研究)