国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(1)
1970年代
(1)
1980年代
(1)
1990年代
(17)
2000年代
(14)
2010年代
(9)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(39)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(3)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(6)
紙
(39)
マイクロ
記録メディア
(1)
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 42 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
オートマトン・言語理論 第2版 新装版
オートマトン・言語理論 第2版 新装版
紙
図書
富田悦次, 横森貴 共著
森北出版
2023.10
<M121-M715>
国立国会図書館
全国の図書館
形式言語・オートマトン入門 (グラフィック情報工学ライブラリ ; GIE-3)
形式言語・オートマトン入門 (グラフィック情報工学ライブラリ ; GIE-3)
紙
図書
藤芳明生 著
数理工学社
2017.8
<M121-L394>
国立国会図書館
全国の図書館
はじめて学ぶオートマトンと言語理論
はじめて学ぶオートマトンと言語理論
紙
図書
藤原暁宏 著
森北出版
2015.7
<M121-L159>
国立国会図書館
全国の図書館
例解図説オートマトンと形式言語入門
例解図説オートマトンと形式言語入門
紙
図書
岡留剛 著
森北出版
2015.8
<M121-L170>
国立国会図書館
全国の図書館
オートマトン・形式言語理論
オートマトン・形式言語理論
紙
図書
広瀬貞樹 著
コロナ社
2014.4
<M121-L69>
国立国会図書館
全国の図書館
白と黒のとびら : オートマトンと形式言語をめぐる冒険 : ARChimaGE GaRREt's APPREntiCEshiP
白と黒のとびら : オートマトンと形式言語をめぐる冒険 : ARChimaGE GaRREt's APPREntiCEshiP
紙
記録メディア
図書
障害者向け資料あり
川添愛 著
東京大学出版会
2013.4
<M121-L28>
国立国会図書館
全国の図書館
オートマトン・言語理論 第2版
オートマトン・言語理論 第2版
紙
図書
富田悦次, 横森貴 共著
森北出版
2013.12
<M121-L61>
国立国会図書館
全国の図書館
オートマトンと形式言語の基礎 (数理情報科学シリーズ ; 24)
オートマトンと形式言語の基礎 (数理情報科学シリーズ ; 24)
紙
図書
五十嵐善英, Forbes D.Lewis, 山崎浩一, 舩田眞里子 著
牧野書店
2011.9
<M121-J188>
国立国会図書館
全国の図書館
決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用
決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用
紙
図書
若月光夫, 電気通信大学 [著]
[若月光夫]
2006-2007
<Y151-H18500108>
国立国会図書館
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
紙
図書
関浩之, 奈良先端科学技術大学院大学 [著]
[関浩之]
2006-2007
<Y151-H18500023>
国立国会図書館
オートマトン・言語と計算理論 (電子情報通信レクチャーシリーズ ; B-6)
オートマトン・言語と計算理論 (電子情報通信レクチャーシリーズ ; B-6)
紙
図書
岩間一雄 著
コロナ社
2003.11
<M121-H63>
国立国会図書館
全国の図書館
オートマトン・言語理論の基礎
オートマトン・言語理論の基礎
紙
図書
米田政明 監修, 米田政明 [ほか]著
近代科学社
2003.5
<M121-H39>
国立国会図書館
全国の図書館
例からの学習を行う効率的アルゴリズムの開発
例からの学習を行う効率的アルゴリズムの開発
紙
図書
富田悦次, 電気通信大学 [著]
[富田悦次]
2001-2003
<Y151-H13680435>
国立国会図書館
Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)
Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)
紙
図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam
[1996?]
<M121-A152>
国立国会図書館
件名
形式言語.
帰納的関数. 集合論.
形式言語とオートマトン (Information science & engineering ; F3)
形式言語とオートマトン (Information science & engineering ; F3)
紙
図書
守屋悦朗 著
サイエンス社
2001.7
<M121-G278>
国立国会図書館
全国の図書館
アクティブソフトウェアの設計検証手法に関する研究
アクティブソフトウェアの設計検証手法に関する研究
紙
図書
関浩之, 奈良先端科学技術大学院大学 [著]
[関浩之]
2004-2005
<Y151-H16500019>
国立国会図書館
情報科学の基礎
情報科学の基礎
紙
図書
細野敏夫 著
コロナ社
2000.2
<M121-G213>
国立国会図書館
全国の図書館
形式言語の理論 (情報科学コアカリキュラム講座)
形式言語の理論 (情報科学コアカリキュラム講座)
紙
図書
有川節夫 監修, 西野哲朗, 石坂裕毅 著
丸善
1999.7
<M121-G183>
国立国会図書館
全国の図書館
Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)
Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)
紙
図書
Elsevier
1994.
<MA41-A92>
国立国会図書館
件名
記号論理学.
形式言語.
AUTOMATH (Formal language)
形式言語理論の自然言語処理への応用
形式言語理論の自然言語処理への応用
紙
図書
笠井, 琢美, 電気通信大学
1998-2001
<Y151-H10680341>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力