年 〜
年

検索結果 15 件

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

コミュニケーションとコンピュテーション (シリーズ現代工学入門)
紙図書
稲垣康善 著岩波書店2006.4<M121-H203>
国立国会図書館全国の図書館
  • 著者標目（識別子）00019154

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

「ソフトウェア=プログラム+ドキュメント」の視点に基づく多言語対応大規模コーパス
紙図書
稲垣康善, 愛知県立大学 [著][稲垣康善]2004-2006<Y151-H16200001>
国立国会図書館
  • 著者標目（識別子）00019154 00275936

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

コミュニケーションとコンピュテーション (岩波講座現代工学の基礎 ; 情報系 2)
紙図書
稲垣康善 著岩波書店2003.12<M121-H76>
国立国会図書館全国の図書館
  • 著者標目（識別子）00019154 00097430

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

マルチモ-ダルインタフエ-スの形式的仕様記述とその検証に関する研究
紙図書
稲垣, 康善, 名古屋大学2000-2002<Y151-H12308015>
国立国会図書館
  • 著者標目（識別子）00019154

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

音声言語の発話同時理解に基づくマルチモーダルインタフエースに関する研究
紙図書
稲垣, 康善, 名古屋大学1998-1999<Y151-H10480070>
国立国会図書館
  • 著者標目（識別子）00019154

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

論理回路とオートマトン (インターユニバーシティ)
紙図書
稲垣康善 編オーム社1998.1<M157-G6>
国立国会図書館全国の図書館
  • 著者標目（識別子）00019154

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

超高速ネツトワーク環境におけるソフトウエア分散協調開発に関する基礎的研究
紙図書
稲垣, 康善, 名古屋大学1996-1997<Y151-H08308021>
国立国会図書館
  • 著者標目（識別子）00019154

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

書換え計算の可視化に基づくプログラミング環境の実現
紙図書
稲垣, 康善, 名古屋大学1995-1997<Y151-H07558037>
国立国会図書館
  • 著者標目（識別子）00019154

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

オープンソフトウエアの形式モデルと検証技法に関する基礎的研究
紙図書
稲垣, 康善, 名古屋大学1996-1997<Y151-H08458066>
国立国会図書館
  • 著者標目（識別子）00019154

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

資料 推論と知識情報処理の論理に関する文献集 : 人間と機械における学習・推論と認知プロセスに関する研究
紙図書
稲垣, 康善, 名古屋大学1988-1990<Y151-ZY033-003>
国立国会図書館
  • 著者標目（識別子）00019154

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

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究
紙図書
稲垣康善, 名古屋大学1987-1988<Y151-S62880007>
国立国会図書館
  • 著者標目（識別子）00019154

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

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
紙図書
稲垣, 康善, 名古屋大学1987-<Y151-S62550261>
国立国会図書館
  • 著者標目（識別子）00019154

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

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
紙図書
稲垣, 康善, 名古屋大学1985-1986<Y151-S60550263>
国立国会図書館
  • 著者標目（識別子）00019154

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

計算の理論入門 (コンピュータ・サイエンス研究書シリーズ ; 25)
紙デジタル図書
Erwin Engeler 著, 稲垣康善 訳日本コンピュータ協会1976<MA41-70>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目（識別子）00438916 00019154

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

論理演算回路の信頼性向上に関する研究
紙博士論文
稲垣康善 [著]<UT51-43-E281>
国立国会図書館
  • 著者標目（識別子）00019154

検索結果は以上です。