NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Help
Login
Help
Login
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
(2)
1980s
(7)
1990s
(14)
2000s
(56)
2010s
(16)
2020s
(2)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(5)
Periodicals
(94)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(3)
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
(16)
Paper
(86)
Microform
Recording Media
(1)
Deselect all
Refiners
Refiners
Search results 102
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
図書
長谷川隆三, 九州大学 [著]
[長谷川隆三]
2002-2004
<Y151-H14580380>
National Diet Library
モデル生成型定理証明に基づく分散知識情報処理システムの構築
モデル生成型定理証明に基づく分散知識情報処理システムの構築
Paper
図書
長谷川, 隆三, 九州大学
1996-1998
<Y151-H08458080>
National Diet Library
プラスティック・セル・アーキテクチャの言語処理系に関する研究
プラスティック・セル・アーキテクチャの言語処理系に関する研究
Paper
図書
研究代表者 長谷川隆三
[九州大学]
2005.5
Other Libraries in Japan
データフロー計算機方式に関する研究
データフロー計算機方式に関する研究
Paper
Digital
博士論文
長谷川隆三 [著]
<UT51-63-E193>
Available online
National Diet Library
モデル生成型定理証明に基づく分散知識情報処理システムの構築
モデル生成型定理証明に基づく分散知識情報処理システムの構築
Paper
図書
研究代表者長谷川隆三
[九州大学]
1999.3
Other Libraries in Japan
都市計画
都市計画
Paper
Digital
雑誌
日本都市計画学会 編
日本都市計画学会
[1952]-
<Z16-158>
National Diet Library
Other Libraries in Japan
Acceleration of Bounded Model Checking based on Satisfiability-Modulo-Theories for Embedded Software Designs
Acceleration of Bounded Model Checking based on Satisfiability-Modulo-Theories for Embedded Software Designs
Digital
博士論文
障害者向け資料あり
劉, 楽源
2014-09-25
Available online
National Diet Library
Other Libraries in Japan
ビオシティ
ビオシティ
Paper
雑誌
ブックエンド
1994-
<Z16-B270>
National Diet Library
新都市
新都市
Paper
Digital
雑誌
都市計画協会
1947-
<Z3-911>
Available online
National Diet Library
Other Libraries in Japan
住宅
住宅
Paper
Digital
雑誌
日本住宅協会
1952-
<Z6-341>
Available online
National Diet Library
Other Libraries in Japan
皮膚疾患に於ける鉄及び亜鉛代謝、特に色素異常症との関係について
皮膚疾患に於ける鉄及び亜鉛代謝、特に色素異常症との関係について
Paper
博士論文
長谷川隆三 [著]
<UT51-53-K2561>
National Diet Library
交通工学
交通工学
Paper
Digital
雑誌
交通工学研究会 編
交通工学研究会
[1966]-
<Z16-700>
National Diet Library
Other Libraries in Japan
地域開発
地域開発
Paper
Digital
雑誌
日本地域開発センター
1964-
<Z3-445>
Available online
National Diet Library
Other Libraries in Japan
Seminarium
Seminarium
Paper
Digital
雑誌
大阪市立大学ドイツ文学会 編
大阪市立大学ドイツ文学会
1979-
<Z12-447>
Available online
National Diet Library
Other Libraries in Japan
クリーンエネルギー
クリーンエネルギー
Paper
Digital
雑誌
クリーンエネルギー編集委員会 編
日本工業出版
1992-
<Z14-1992>
National Diet Library
Other Libraries in Japan
最新エリアマネジメント : 街を運営する民間組織と活動財源
最新エリアマネジメント : 街を運営する民間組織と活動財源
Paper
図書
小林重敬 編著
学芸出版社
2015.2
<DD81-L37>
National Diet Library
Other Libraries in Japan
九州大学大学院システム情報科学紀要
九州大学大学院システム情報科学紀要
Paper
雑誌
九州大学大学院システム情報科学研究院 編
九州大学大学院システム情報科学研究院
2000-2010
<Z14-B425>
National Diet Library
人工知能基本問題研究会 (人工知能学会研究会資料)
人工知能基本問題研究会 (人工知能学会研究会資料)
Paper
雑誌
人工知能学会
2004-
<Z14-1667>
National Diet Library
コンピュータソフトウェア
コンピュータソフトウェア
Paper
雑誌
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-
<Z14-1033>
National Diet Library
Other Libraries in Japan
人工知能学会誌 : AI
人工知能学会誌 : AI
Paper
雑誌
人工知能学会
1986-2013
<Z14-1242>
National Diet Library
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information