年 〜
年

検索結果 144 件

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

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

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

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

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

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

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

コミュニケーションとコンピュテーション (岩波講座現代工学の基礎 ; 情報系 2)
紙図書
稲垣康善 著岩波書店2003.12<M121-H76>
国立国会図書館全国の図書館
  • 著者標目稲垣, 康善, 1939- 吉川, 弘之, 1933-

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

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

情報科学技術のreality : 情報科学論集 : 科学理論と技術の適用は何を追うか

情報科学技術のreality : 情報科学論集 : 科学理論と技術の適用は何を追うか
紙図書
栢森情報科学振興財団Kフォーラム実行委員会 編栢森情報科学振興財団2009.6<M121-J110>
国立国会図書館全国の図書館

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

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

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

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

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

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

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

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

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

マルチモーダルインタフェースの形式的仕様記述とその検証に関する研究
紙図書
稲垣康善[ほか著][出版者不明]2003.3
全国の図書館
  • 著者標目稲垣, 康善

岩波講座現代工学の基礎 16情報系2

岩波講座現代工学の基礎 16情報系2
紙図書
吉川弘之 [ほか]編集委員岩波書店2003.12
全国の図書館
  • 内容細目コミュニケーションとコンピュテーション 稲垣／康善 著 稲垣/康善∥著 稲垣康善 著 稲垣 康善 稲垣　康善／著 稲垣 康善 著 コミュニケ－ションとコンピュテ－ション 稲垣/康善‖著
  • 著者標目吉川, 弘之 稲垣, 康善

岩波講座＊現代工学の基礎 情報系　２

岩波講座＊現代工学の基礎 情報系　２
紙図書
吉川弘之 〔ほか〕編岩波書店２００３．１２
全国の図書館
  • 著者標目吉川, 弘之 稲垣, 康善

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

音声言語の発話同時理解に基づくマルチモーダルインターフェースに関する研究
紙図書
稲垣康善 [ほか著][出版者不明]2000.3
全国の図書館
  • 著者標目稲垣, 康善

プログラミング言語の形式的意味記述とそのコンパイラ自動生成への応用

プログラミング言語の形式的意味記述とそのコンパイラ自動生成への応用
紙図書
稲垣康善, 名古屋大学1982-1984<Y151-S57460120>
国立国会図書館
  • 著者標目稲垣, 康善

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

書換え計算の可視化に基づくプログラミング環境の実現
紙図書
稲垣康善 [著][出版者不明]1998.3
全国の図書館
  • 著者標目稲垣, 康善

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

超高速ネットワーク環境におけるソフトウェア分散協調開発に関する基礎的研究
紙図書
稲垣康善 [著][出版者不明]1998.3
全国の図書館
  • 著者標目稲垣, 康善

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

オープンソフトウェアの形式モデルと検証技法に関する基礎的研究
紙図書
稲垣康善 [ほか著][出版者不明]1998.3
全国の図書館
  • 著者標目稲垣, 康善

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

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

並列情報処理機構に関する研究

並列情報処理機構に関する研究
紙図書
稲垣, 康善, 三重大学1979-1980<Y151-S00458017>
国立国会図書館
  • 著者標目稲垣, 康善