上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #形式言語)
該当件数:25件
オートマトンと言語理論 / 足立暁生著
東京 : 森北出版 , 1992.1. - (情報工学入門シリーズ / 城戸健一, 三井田惇郎監修 ; 4)
図書 <1000213949>
応用オートマトン工学 / 西野哲朗, 若月光夫, 後藤隆彰共著
東京 : コロナ社 , 2012.2
図書 <1002507880>
オートマトンと形式言語の基礎 / 五十嵐善英 [ほか] 著
東京 : 牧野書店. - 東京 : 星雲社(発売) , 2011.9. - (数理情報科学シリーズ ; 24)
図書 <1002478759>
オートマトン・言語理論 / 富田悦次, 横森貴共著
第2版. - 東京 : 森北出版 , 2013.12
図書 <1002654243>
はじめて学ぶオートマトンと言語理論 / 藤原暁宏著
: electronic bk. - 東京 : 森北出版 , 2015.7
電子ブック <1003123914>
形式言語・オートマトン入門 / 藤芳明生著
東京 : 数理工学社. - 東京 : サイエンス社 (発売) , 2017.8. - (グラフィック情報工学ライブラリ ; GIE-3)
図書 <1002934017>
形式言語とオートマトン / 守屋悦朗著
東京 : サイエンス社 , 2001.7. - (Information science & engineering ; F3)
図書 <1001284527>
オートマトン・言語と計算理論 / 電子情報通信学会編 ; 岩間一雄著
東京 : コロナ社 , 2003.11. - (電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; B-6)
図書 <1001467166>
オートマトンと形式言語 / 都倉信樹著
東京 : 昭晃堂 , 1995.6
図書 <1000266115>
形式言語の理論 / 西野哲朗, 石坂裕毅著
東京 : 丸善 , 1999.7. - (情報科学コアカリキュラム講座 / 稲垣康善 [ほか] 編集)
図書 <1001079739>
情報科学の基礎 / 細野敏夫著
東京 : コロナ社 , 2000.2
図書 <1001159887>
オートマトン・言語理論の基礎 / 米田政明 [ほか] 著
東京 : 近代科学社 , 2003.5
図書 <1001430924>
オートマトン・言語理論入門 / 大川知, 広瀬貞樹, 山本博章著
東京 : 共立出版 , 2012.1. - (未来へつなぐデジタルシリーズ = Connection to the future with digital series ; 5)
図書 <1002506039>
形式言語理論入門 / R. モル, M. アービブ, A. クフォーリ著 ; 西野哲朗訳
東京 : 東京電機大学出版局 , 1995.12. - (情報科学)
図書 <1000273304>
オートマトン・形式言語理論 / 広瀬貞樹著
東京 : コロナ社 , 2014.4
図書 <1002671921>
東京 : 森北出版 , 2015.7
図書 <1002802528>
例解図説オートマトンと形式言語入門 / 岡留剛著
東京 : 森北出版 , 2015.8
図書 <1002817522>
白と黒のとびら : オートマトンと形式言語をめぐる冒険 / 川添愛著
東京 : 東京大学出版会 , 2013.4. - (Archimage Garret's apprenticeship / 川添愛著)
図書 <1002603487>
: electronic bk. - スマホ・読上. - 東京 : 東京大学出版会 , 2013.4. - (Archimage Garret's apprenticeship / 川添愛著 ; [1])
電子ブック <1003127330>
計算理論とオートマトン言語理論 : コンピュータの原理を明かす / 丸岡章著
第2版. - 東京 : サイエンス社 , 2021.11. - (Information & computing ; 122)
図書 <1003200021>