NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
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
(5)
1970s
(8)
1980s
(72)
1990s
(57)
2000s
(9)
2010s
(7)
2020s
(1)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(157)
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
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
Paper
(156)
Microform
(1)
Recording Media
Deselect all
Subject
Link to Help Page
Close field
Refiners
Refiners
Search results 157
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
図書
林, 誠, 愛知教育大学
2000-2002
<Y151-H12640021>
National Diet Library
船舶流体力学専用パーソナル数式処理システムの開発
船舶流体力学専用パーソナル数式処理システムの開発
Paper
図書
松村, 清重, 大阪大学
1994-1995
<Y151-H06555297>
National Diet Library
適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
Paper
図書
渡部卓雄, 東京工業大学, 国立情報学研究所 [著]
[渡部卓雄]
2003-2004
<Y151-H15500028>
National Diet Library
LISPによるCAIシステムの機能向上と移植性を高める研究
LISPによるCAIシステムの機能向上と移植性を高める研究
Paper
図書
最首, 和雄, 明星大学
1992-1994
<Y151-H04558037>
National Diet Library
メタ計算系における型導入によるプログラム変形導出
メタ計算系における型導入によるプログラム変形導出
Paper
図書
井田, 哲雄, 筑波大学
1987-1988
<Y151-S62580030>
National Diet Library
ガラス材料設計支援エキスパートシステムの高精度化と拡充に関する研究
ガラス材料設計支援エキスパートシステムの高精度化と拡充に関する研究
Paper
図書
牧島, 亮男, 東京大学
1992-1994
<Y151-H04453065>
National Diet Library
高速字句解析用集積回路の設計
高速字句解析用集積回路の設計
Paper
図書
和田, 英一, 東京大学
1986-1987
<Y151-S61550254>
National Diet Library
SchneiderのP進L関数とBirchとSwinnerton-Dyerの予想
SchneiderのP進L関数とBirchとSwinnerton-Dyerの予想
Paper
図書
栗原, 章, 日本女子大学
1999-2000
<Y151-H11640048>
National Diet Library
数学概念の理解を目的としたLispプログラミング教育用教材パツケージの開発-高等学校・数学教育を対象としてー
数学概念の理解を目的としたLispプログラミング教育用教材パツケージの開発-高等学校・数学教育を対象としてー
Paper
図書
坂元, 昴, 東京工業大学
1990-1991
<Y151-H01880032>
National Diet Library
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.
Paper
図書
ACM
c2010.
<M17-11-2636>
National Diet Library
人工知能の手法を用いた電磁気学教育システムの作成
人工知能の手法を用いた電磁気学教育システムの作成
Paper
図書
大場, 勇治郎, 慶応義塾大学
1987-1989
<Y151-S62302063>
National Diet Library
宣言型プログラミング言語処理系の系統的生成
宣言型プログラミング言語処理系の系統的生成
Paper
図書
井田, 哲雄, 筑波大学
1991-1992
<Y151-H03680022>
National Diet Library
機械工学で要求される問題解決のための知識表現法およびその処理法に関する研究
機械工学で要求される問題解決のための知識表現法およびその処理法に関する研究
Paper
図書
中村, 育雄, 名古屋大学
1986-1987
<Y151-S61460100>
National Diet Library
Schneiderのp進L関数とBirchとSwinnerton-Dyerの予想
Schneiderのp進L関数とBirchとSwinnerton-Dyerの予想
Paper
図書
栗原, 章, 日本女子大学
1997-1998
<Y151-H09640070>
National Diet Library
知的情報処理における推論機構の研究
知的情報処理における推論機構の研究
Paper
図書
高須, 達, 京都大学
1985-1987
<Y151-S60580024>
National Diet Library
並列LISPとその処理系の研究
並列LISPとその処理系の研究
Paper
図書
伊藤, 貴康, 東北大学
1989-1993
<Y151-H01420029>
National Diet Library
The LISP network : evolution to the next-generation of data networks : pbk
The LISP network : evolution to the next-generation of data networks : pbk
Paper
図書
Victor Moreno, Dino Farinacci
Cisco Press
c2019
Other Libraries in Japan
相補的プログラミング環境の研究
相補的プログラミング環境の研究
Paper
図書
伊藤, 貴康, 東北大学
1985-1988
<Y151-S60420035>
National Diet Library
Common Lisp recipes : a problem-solution approach
Common Lisp recipes : a problem-solution approach
Paper
図書
Edmund Weitz
Apress
c2016
Other Libraries in Japan
Structure and interpretation of computer programs : [pbk.] JavaScript ed
Structure and interpretation of computer programs : [pbk.] JavaScript ed
Paper
図書
Harold Abelson and Gerald Jay Sussman ; adapted to JavaScript by Martin Henz and Tobias Wrigstad ; with Julie Sussman
MIT Press
c2022
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information