大妻女子大学の資料を検索します。
他大学の資料(図書・雑誌)を検索します。
学術雑誌記事や論文を検索します。
IRDBから日本の学術機関リポジトリを検索します。
国立国会図書館の資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(書名(完全形): ライブラリ情報学コア・テキスト)
該当件数:14件
モデルの記述と検証のための|プログラミング入門 : CafeOBJによる仕様検証 / 二木厚吉 著
初版. - 東京 : サイエンス社 , 2017.9. - (ライブラリ情報学コア・テキスト ; 13)
図書
自然言語処理概論 / 黒橋禎夫, 柴田知秀 共著
初版. - 東京 : サイエンス社 , 2016.10. - (ライブラリ情報学コア・テキスト ; 18)
アルゴリズム設計とデータ構造 / 平田富夫 著
初版. - 東京 : サイエンス社 , 2015.7. - (ライブラリ情報学コア・テキスト ; 3)
プログラミング言語の基礎概念 / 五十嵐淳 著
初版. - 東京 : サイエンス社 , 2011.7. - (ライブラリ情報学コア・テキスト ; 24)
コンピュータアーキテクチャの基礎 / 北村俊明 著
初版. - 東京 : サイエンス社 , 2010.11. - (ライブラリ情報学コア・テキスト ; 9)
現代暗号への招待 / 黒澤馨 著
初版. - 東京 : サイエンス社 , 2010.9. - (ライブラリ情報学コア・テキスト ; 16)
離散数学 : グラフ・束・デザイン・離散確率 / 浅野孝夫 著
初版. - 東京 : サイエンス社 , 2010.7. - (ライブラリ情報学コア・テキスト ; 2)
コンパイラの理論と作成技法 / 大山口通夫, 三橋一郎 著
初版. - 東京 : サイエンス社 , 2010.6. - (ライブラリ情報学コア・テキスト ; 12)
計算機システム概論 : 基礎から学ぶコンピュータの原理とOSの構造 / 大堀淳 著
初版. - 東京 : サイエンス社 , 2010.4. - (ライブラリ情報学コア・テキスト ; 5)
脳の情報処理 : 選択から見た行動制御 / 岩崎祥一 著
初版. - 東京 : サイエンス社 , 2008.10. - (ライブラリ情報学コア・テキスト ; 21)
情報数理の基礎と応用 / 尾畑伸明 著
初版. - 東京 : サイエンス社 , 2008.7. - (ライブラリ情報学コア・テキスト ; 1)
情報倫理ケーススタディ / 静谷啓樹 著
初版. - 東京 : サイエンス社 , 2008.4. - (ライブラリ情報学コア・テキスト ; 22)
実践Cプログラミング : 基礎から設計・実装・テストまで / 鈴木正人 著
初版. - 東京 : サイエンス社 , 2008.4. - (ライブラリ情報学コア・テキスト ; 23)
データ構造の基礎 / 平田富夫 著
初版. - 東京 : サイエンス社 , 2007.12. - (ライブラリ情報学コア・テキスト ; 4)