国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(5)
1970年代
(8)
1980年代
(72)
1990年代
(57)
2000年代
(9)
2010年代
(7)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(157)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(156)
マイクロ
(1)
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 157 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
一般次元部分群問題について
一般次元部分群問題について
紙
図書
林, 誠, 愛知教育大学
2000-2002
<Y151-H12640021>
国立国会図書館
船舶流体力学専用パーソナル数式処理システムの開発
船舶流体力学専用パーソナル数式処理システムの開発
紙
図書
松村, 清重, 大阪大学
1994-1995
<Y151-H06555297>
国立国会図書館
適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
紙
図書
渡部卓雄, 東京工業大学, 国立情報学研究所 [著]
[渡部卓雄]
2003-2004
<Y151-H15500028>
国立国会図書館
LISPによるCAIシステムの機能向上と移植性を高める研究
LISPによるCAIシステムの機能向上と移植性を高める研究
紙
図書
最首, 和雄, 明星大学
1992-1994
<Y151-H04558037>
国立国会図書館
メタ計算系における型導入によるプログラム変形導出
メタ計算系における型導入によるプログラム変形導出
紙
図書
井田, 哲雄, 筑波大学
1987-1988
<Y151-S62580030>
国立国会図書館
ガラス材料設計支援エキスパートシステムの高精度化と拡充に関する研究
ガラス材料設計支援エキスパートシステムの高精度化と拡充に関する研究
紙
図書
牧島, 亮男, 東京大学
1992-1994
<Y151-H04453065>
国立国会図書館
高速字句解析用集積回路の設計
高速字句解析用集積回路の設計
紙
図書
和田, 英一, 東京大学
1986-1987
<Y151-S61550254>
国立国会図書館
SchneiderのP進L関数とBirchとSwinnerton-Dyerの予想
SchneiderのP進L関数とBirchとSwinnerton-Dyerの予想
紙
図書
栗原, 章, 日本女子大学
1999-2000
<Y151-H11640048>
国立国会図書館
数学概念の理解を目的としたLispプログラミング教育用教材パツケージの開発-高等学校・数学教育を対象としてー
数学概念の理解を目的としたLispプログラミング教育用教材パツケージの開発-高等学校・数学教育を対象としてー
紙
図書
坂元, 昴, 東京工業大学
1990-1991
<Y151-H01880032>
国立国会図書館
7th European lisp workshop 2010 : (ELW 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010. : 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.
7th European lisp workshop 2010 : (ELW 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010. : 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.
紙
図書
ACM
c2010.
<M17-11-2636>
国立国会図書館
人工知能の手法を用いた電磁気学教育システムの作成
人工知能の手法を用いた電磁気学教育システムの作成
紙
図書
大場, 勇治郎, 慶応義塾大学
1987-1989
<Y151-S62302063>
国立国会図書館
宣言型プログラミング言語処理系の系統的生成
宣言型プログラミング言語処理系の系統的生成
紙
図書
井田, 哲雄, 筑波大学
1991-1992
<Y151-H03680022>
国立国会図書館
機械工学で要求される問題解決のための知識表現法およびその処理法に関する研究
機械工学で要求される問題解決のための知識表現法およびその処理法に関する研究
紙
図書
中村, 育雄, 名古屋大学
1986-1987
<Y151-S61460100>
国立国会図書館
Schneiderのp進L関数とBirchとSwinnerton-Dyerの予想
Schneiderのp進L関数とBirchとSwinnerton-Dyerの予想
紙
図書
栗原, 章, 日本女子大学
1997-1998
<Y151-H09640070>
国立国会図書館
知的情報処理における推論機構の研究
知的情報処理における推論機構の研究
紙
図書
高須, 達, 京都大学
1985-1987
<Y151-S60580024>
国立国会図書館
並列LISPとその処理系の研究
並列LISPとその処理系の研究
紙
図書
伊藤, 貴康, 東北大学
1989-1993
<Y151-H01420029>
国立国会図書館
The LISP network : evolution to the next-generation of data networks : pbk
The LISP network : evolution to the next-generation of data networks : pbk
紙
図書
Victor Moreno, Dino Farinacci
Cisco Press
c2019
全国の図書館
相補的プログラミング環境の研究
相補的プログラミング環境の研究
紙
図書
伊藤, 貴康, 東北大学
1985-1988
<Y151-S60420035>
国立国会図書館
Common Lisp recipes : a problem-solution approach
Common Lisp recipes : a problem-solution approach
紙
図書
Edmund Weitz
Apress
c2016
全国の図書館
Structure and interpretation of computer programs : [pbk.] JavaScript ed
Structure and interpretation of computer programs : [pbk.] JavaScript ed
紙
図書
Harold Abelson and Gerald Jay Sussman ; adapted to JavaScript by Martin Henz and Tobias Wrigstad ; with Julie Sussman
MIT Press
c2022
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力