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
2000s
(7)
2010s
(3)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(4)
Periodicals
(5)
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
Paper
(9)
Microform
Recording Media
(1)
Deselect all
Refiners
Refiners
Search results 10
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]
<UT51-2004-A951>
National Diet Library
ソフトウェア更新システムプロトコルのBAN logicによる安全性検証 : preliminary version (算譜科学研究速報 ; AIST-PS-2007-6)
ソフトウェア更新システムプロトコルのBAN logicによる安全性検証 : preliminary version (算譜科学研究速報 ; AIST-PS-2007-6)
Paper
図書
吉田聡, 山形頼之 [著], 産業技術総合研究所システム検証研究センター 編
産業技術総合研究所システム検証研究センター
2007.6
<Y251-H1575>
National Diet Library
ソフトウェア更新システムのモデル検査によるセキュリティ (算譜科学研究速報 ; AIST-PS-2007-8)
ソフトウェア更新システムのモデル検査によるセキュリティ (算譜科学研究速報 ; AIST-PS-2007-8)
Paper
図書
山形頼之, 斎藤正也 [著], 産業技術総合研究所システム検証研究センター 編
産業技術総合研究所システム検証研究センター
2007.7
<Y251-H1652>
National Diet Library
A sequent calculus for limit computable mathematics : technical report (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-8)
A sequent calculus for limit computable mathematics : technical report (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-8)
Paper
図書
[by] Stefano Berardi, 山形頼之
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
2006.8
<M159-B56>
National Diet Library
古典論理と計算
古典論理と計算
Paper
図書
山形頼之
東京大学数理科学研究科
2002
Other Libraries in Japan
数理解析研究所講究録
数理解析研究所講究録
Paper
雑誌
京都大学数理解析研究所
1964-
<Z43-1336>
National Diet Library
Other Libraries in Japan
信頼性・保全性シンポジウム
信頼性・保全性シンポジウム
Recording Media
雑誌
電子資料
[日本科学技術連盟]
[2013]-[2018]
<YH247-1500>
National Diet Library
Reached to the end of result.
Bulk download of bibliographic information