NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Help
Login
Help
Login
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1960s
(3)
1970s
(10)
1980s
(55)
1990s
(32)
2000s
(46)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(43)
Periodicals
(101)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(1)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(34)
Paper
(113)
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 145
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
「ソフトウェア=プログラム+ドキュメント」の視点に基づく多言語対応大規模コーパス
「ソフトウェア=プログラム+ドキュメント」の視点に基づく多言語対応大規模コーパス
Paper
図書
稲垣康善, 愛知県立大学 [著]
[稲垣康善]
2004-2006
<Y151-H16200001>
National Diet Library
マルチモ-ダルインタフエ-スの形式的仕様記述とその検証に関する研究
マルチモ-ダルインタフエ-スの形式的仕様記述とその検証に関する研究
Paper
図書
稲垣, 康善, 名古屋大学
2000-2002
<Y151-H12308015>
National Diet Library
音声言語の発話同時理解に基づくマルチモーダルインタフエースに関する研究
音声言語の発話同時理解に基づくマルチモーダルインタフエースに関する研究
Paper
図書
稲垣, 康善, 名古屋大学
1998-1999
<Y151-H10480070>
National Diet Library
コミュニケーションとコンピュテーション (シリーズ現代工学入門)
コミュニケーションとコンピュテーション (シリーズ現代工学入門)
Paper
図書
稲垣康善 著
岩波書店
2006.4
<M121-H203>
National Diet Library
Other Libraries in Japan
オープンソフトウエアの形式モデルと検証技法に関する基礎的研究
オープンソフトウエアの形式モデルと検証技法に関する基礎的研究
Paper
図書
稲垣, 康善, 名古屋大学
1996-1997
<Y151-H08458066>
National Diet Library
書換え計算の可視化に基づくプログラミング環境の実現
書換え計算の可視化に基づくプログラミング環境の実現
Paper
図書
稲垣, 康善, 名古屋大学
1995-1997
<Y151-H07558037>
National Diet Library
超高速ネツトワーク環境におけるソフトウエア分散協調開発に関する基礎的研究
超高速ネツトワーク環境におけるソフトウエア分散協調開発に関する基礎的研究
Paper
図書
稲垣, 康善, 名古屋大学
1996-1997
<Y151-H08308021>
National Diet Library
コミュニケーションとコンピュテーション (岩波講座現代工学の基礎 ; 情報系 2)
コミュニケーションとコンピュテーション (岩波講座現代工学の基礎 ; 情報系 2)
Paper
図書
稲垣康善 著
岩波書店
2003.12
<M121-H76>
National Diet Library
Other Libraries in Japan
資料 推論と知識情報処理の論理に関する文献集 : 人間と機械における学習・推論と認知プロセスに関する研究
資料 推論と知識情報処理の論理に関する文献集 : 人間と機械における学習・推論と認知プロセスに関する研究
Paper
図書
稲垣, 康善, 名古屋大学
1988-1990
<Y151-ZY033-003>
National Diet Library
論理回路とオートマトン (インターユニバーシティ)
論理回路とオートマトン (インターユニバーシティ)
Paper
図書
稲垣康善 編
オーム社
1998.1
<M157-G6>
National Diet Library
Other Libraries in Japan
情報科学技術のreality : 情報科学論集 : 科学理論と技術の適用は何を追うか
情報科学技術のreality : 情報科学論集 : 科学理論と技術の適用は何を追うか
Paper
図書
栢森情報科学振興財団Kフォーラム実行委員会 編
栢森情報科学振興財団
2009.6
<M121-J110>
National Diet Library
Other Libraries in Japan
代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究
代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究
Paper
図書
稲垣康善, 名古屋大学
1987-1988
<Y151-S62880007>
National Diet Library
マルチモーダルインタフェースの形式的仕様記述とその検証に関する研究
マルチモーダルインタフェースの形式的仕様記述とその検証に関する研究
Paper
図書
稲垣康善[ほか著]
[出版者不明]
2003.3
Other Libraries in Japan
代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
Paper
図書
稲垣, 康善, 名古屋大学
1987-
<Y151-S62550261>
National Diet Library
岩波講座現代工学の基礎 16情報系2
岩波講座現代工学の基礎 16情報系2
Paper
図書
吉川弘之 [ほか]編集委員
岩波書店
2003.12
Other Libraries in Japan
Contents
コミュニケーションとコンピュテーション 稲垣/康善 著 稲垣/康善∥著 稲垣康善 著
稲垣 康善
稲垣 康善
/著 コミュニケ-ションとコンピュテ-ション 稲垣/康善
稲垣 康善
著 稲垣/康善‖著
岩波講座*現代工学の基礎 情報系 2
岩波講座*現代工学の基礎 情報系 2
Paper
図書
吉川弘之 〔ほか〕編
岩波書店
2003.12
Other Libraries in Japan
代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
Paper
図書
稲垣, 康善, 名古屋大学
1985-1986
<Y151-S60550263>
National Diet Library
音声言語の発話同時理解に基づくマルチモーダルインターフェースに関する研究
音声言語の発話同時理解に基づくマルチモーダルインターフェースに関する研究
Paper
図書
稲垣康善 [ほか著]
[出版者不明]
2000.3
Other Libraries in Japan
プログラミング言語の形式的意味記述とそのコンパイラ自動生成への応用
プログラミング言語の形式的意味記述とそのコンパイラ自動生成への応用
Paper
図書
稲垣康善, 名古屋大学
1982-1984
<Y151-S57460120>
National Diet Library
超高速ネットワーク環境におけるソフトウェア分散協調開発に関する基礎的研究
超高速ネットワーク環境におけるソフトウェア分散協調開発に関する基礎的研究
Paper
図書
稲垣康善 [著]
[出版者不明]
1998.3
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information