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
1990s
(2)
2000s
(20)
2010s
(7)
2020s
(3)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(2)
Periodicals
(29)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(1)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
(1)
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
(1)
Paper
(31)
Microform
Recording Media
(1)
Deselect all
Refiners
Refiners
Search results 32
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
プログラム意味論の基礎 (ライブラリ情報学コア・テキスト ; 11)
プログラム意味論の基礎 (ライブラリ情報学コア・テキスト ; 11)
Paper
図書
小林直樹, 住井英二郎 共著
サイエンス社
2020.8
<M159-M434>
National Diet Library
Other Libraries in Japan
型システム入門 : プログラミング言語と型の理論
型システム入門 : プログラミング言語と型の理論
Paper
Digital
図書
Benjamin C.Pierce 著, 住井英二郎 監訳, オーム社開発局 企画編集
オーム社
2013.3
<M159-L99>
National Diet Library
Other Libraries in Japan
Theories of information hiding in lambda-calculus : logical relations and bisimulations for encryption and type abstraction
Theories of information hiding in lambda-calculus : logical relations and bisimulations for encryption and type abstraction
Paper
博士論文
Eijiro Sumii [著]
[Eijiro Sumii]
[2004]
<UT51-2006-D940>
National Diet Library
コンピュータソフトウェア
コンピュータソフトウェア
Paper
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-
<Z14-1033>
National Diet Library
Other Libraries in Japan
学術の動向
学術の動向
Paper
雑誌
『学術の動向』編集委員会 編
日本学術協力財団
1996-
<Z21-B315>
National Diet Library
Other Libraries in Japan
旭硝子財団助成研究成果報告
旭硝子財団助成研究成果報告
Recording Media
雑誌
電子資料
旭硝子財団
2005-
<YH247-410>
National Diet Library
Other Libraries in Japan
情報処理 : 情報処理学会誌 : IPSJ magazine
情報処理 : 情報処理学会誌 : IPSJ magazine
Paper
雑誌
情報処理学会
1960-
<Z14-352>
National Diet Library
Other Libraries in Japan
応用数理
応用数理
Paper
雑誌
日本応用数理学会 編
日本応用数理学会
1991-
<Z15-726>
National Diet Library
Other Libraries in Japan
情報処理学会論文誌 SIG
情報処理学会論文誌 SIG
Paper
雑誌
情報処理学会
1998-2008
<Z74-C192>
National Diet Library
日本ソフトウェア科学会大会論文集
日本ソフトウェア科学会大会論文集
Paper
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-2019
<Z14-1245>
National Diet Library
Other Libraries in Japan
Reached to the end of result.
Bulk download of bibliographic information