Jump to main content

yr 〜
yr

Search results 15

コミュニケーションとコンピュテーション (シリーズ現代工学入門)

コミュニケーションとコンピュテーション (シリーズ現代工学入門)
Paper図書
稲垣康善 著岩波書店2006.4<M121-H203>
National Diet LibraryOther Libraries in Japan
  • Author Heading稲垣, 康善, 1939-

「ソフトウェア=プログラム+ドキュメント」の視点に基づく多言語対応大規模コーパス

「ソフトウェア=プログラム+ドキュメント」の視点に基づく多言語対応大規模コーパス
Paper図書
稲垣康善, 愛知県立大学 [著][稲垣康善]2004-2006<Y151-H16200001>
National Diet Library
  • Author Heading稲垣, 康善, 1939- 愛知県立大学

マルチモ-ダルインタフエ-スの形式的仕様記述とその検証に関する研究

マルチモ-ダルインタフエ-スの形式的仕様記述とその検証に関する研究
Paper図書
稲垣, 康善, 名古屋大学2000-2002<Y151-H12308015>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

コミュニケーションとコンピュテーション (岩波講座現代工学の基礎 ; 情報系 2)

コミュニケーションとコンピュテーション (岩波講座現代工学の基礎 ; 情報系 2)
Paper図書
稲垣康善 著岩波書店2003.12<M121-H76>
National Diet LibraryOther Libraries in Japan
  • Author Heading稲垣, 康善, 1939- 吉川, 弘之, 1933-

音声言語の発話同時理解に基づくマルチモーダルインタフエースに関する研究

音声言語の発話同時理解に基づくマルチモーダルインタフエースに関する研究
Paper図書
稲垣, 康善, 名古屋大学1998-1999<Y151-H10480070>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

論理回路とオートマトン (インターユニバーシティ)

論理回路とオートマトン (インターユニバーシティ)
Paper図書
稲垣康善 編オーム社1998.1<M157-G6>
National Diet LibraryOther Libraries in Japan
  • Author Heading稲垣, 康善, 1939-

超高速ネツトワーク環境におけるソフトウエア分散協調開発に関する基礎的研究

超高速ネツトワーク環境におけるソフトウエア分散協調開発に関する基礎的研究
Paper図書
稲垣, 康善, 名古屋大学1996-1997<Y151-H08308021>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

書換え計算の可視化に基づくプログラミング環境の実現

書換え計算の可視化に基づくプログラミング環境の実現
Paper図書
稲垣, 康善, 名古屋大学1995-1997<Y151-H07558037>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

オープンソフトウエアの形式モデルと検証技法に関する基礎的研究

オープンソフトウエアの形式モデルと検証技法に関する基礎的研究
Paper図書
稲垣, 康善, 名古屋大学1996-1997<Y151-H08458066>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

資料 推論と知識情報処理の論理に関する文献集 : 人間と機械における学習・推論と認知プロセスに関する研究

資料 推論と知識情報処理の論理に関する文献集 : 人間と機械における学習・推論と認知プロセスに関する研究
Paper図書
稲垣, 康善, 名古屋大学1988-1990<Y151-ZY033-003>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究
Paper図書
稲垣康善, 名古屋大学1987-1988<Y151-S62880007>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
Paper図書
稲垣, 康善, 名古屋大学1987-<Y151-S62550261>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
Paper図書
稲垣, 康善, 名古屋大学1985-1986<Y151-S60550263>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

計算の理論入門 (コンピュータ・サイエンス研究書シリーズ ; 25)

計算の理論入門 (コンピュータ・サイエンス研究書シリーズ ; 25)
PaperDigital図書
Erwin Engeler 著, 稲垣康善 訳日本コンピュータ協会1976<MA41-70>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingEngeler, Erwin 稲垣, 康善, 1939-

論理演算回路の信頼性向上に関する研究

論理演算回路の信頼性向上に関する研究
Paper博士論文
稲垣康善 [著]<UT51-43-E281>
National Diet Library
  • Author Heading稲垣, 康善, 1939-

Reached to the end of result.

RSS