Jump to main content

yr 〜
yr

Search results 72

Abstraction and search in verification by state exploration (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.3)

Abstraction and search in verification by state exploration (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.3)
Paper図書
[by]Koichi TakahashiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.5<M159-B9>
National Diet Library

Formal proof of abstract model checking of concurrent garbage collection (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.2)

Formal proof of abstract model checking of concurrent garbage collection (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.2)
Paper図書
[by]Koichi Takahashi, Masami HagiyaCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.5<M159-B8>
National Diet Library

Searching for mutual exclusion algorithms using BDDs : preliminary version (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.3)

Searching for mutual exclusion algorithms using BDDs : preliminary version (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.3)
Paper図書
[by]Koichi Takahashi, Masami HagiyaCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.4<M159-B5>
National Diet Library

The seventy-five elements (dharma) of sarvāstivāda in the abhidharmakośabhāşya and related works (Studia philologica Buddhica monograph series ; 37) (Bauddhakośa: a treasury of Buddhist terms and illustrative sentences ; volume 6)

The seventy-five elements (dharma) of sarvāstivāda in the abhidharmakośabhāşya and related works (Studia philologica Buddhica monograph series ; 37) (Bauddhakośa: a treasury of Buddhist terms and illustrative sentences ; volume 6)
Paper図書
written and edited by Akira Saito, Daigo Isshiki, Koichi Takahashi, Toshio Horiuchi, Hisataka Ishida, Kuninori Matsuda, Shiori IjuinThe International Institute for Buddhist Studies of the ICPBS2018<HM43-B4>
National Diet Library

A decision procedure for alternation-free modal μ-calculi (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-10)

A decision procedure for alternation-free modal μ-calculi (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-10)
Paper図書
[by] Yoshinori Tanabe, Koichi Takahashi, Masami HagiyaResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2008.4<M159-B70>
National Diet Library

人間情報学研究

人間情報学研究
Paper雑誌雑誌タイトル
人間情報学研究編集委員会 編東北学院大学人間情報学研究所1996-2023<Z22-B204>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Journal of plant research

Journal of plant research
Paper雑誌雑誌タイトル
Botanical Society of Japan[Springer Japan]c1993-<Z53-W405>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Protein function prediction : methods and protocols (Methods in molecular biology ; 1611) (Springer protocols)

Protein function prediction : methods and protocols (Methods in molecular biology ; 1611) (Springer protocols)
Paper図書
edited by Daisuke Kihara.Humana Press[2017]<RA78-B143>
National Diet LibraryOther Libraries in Japan
  • Contents...V. Arjunan and Koichi Takahashi.

Ecological research

Ecological research
Paper雑誌雑誌タイトル
Ecological Society of JapanSpringer Japan1986-[2018]<Z54-F754>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Progress of theoretical physics

Progress of theoretical physics
Paper雑誌雑誌タイトル
Yukawa Institute for Theoretical Physics, Physical Society of JapanPublication Office, Progress of Theoretical Physics1946-2013<Z53-A468>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Proceedings of the workshop on refinement and abstraction : preliminary version : Amagasaki,Japan November 15-17,1999 (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.1)

Proceedings of the workshop on refinement and abstraction : preliminary version : Amagasaki,Japan November 15-17,1999 (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.1)
Paper図書
[edited by]Masami Hagiya, Yoshiki Kinoshita, A.John PowerCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.4<M18-B37>
National Diet Library
  • Toc / Article...hiki Kinoshita Koichi Takahashi A Functorial Approach to Refi...

Tropics

Tropics
Paper雑誌雑誌タイトル
The Japan Society of Tropical Ecology1991-<Z18-3157>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

印度學佛教學研究

印度學佛教學研究
Paper雑誌雑誌タイトル
日本印度学仏教学会1952-<Z9-55>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

システム制御情報学会論文誌

システム制御情報学会論文誌
Paper雑誌雑誌タイトル
システム制御情報学会1988-<Z14-195>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Landscape and ecological engineering : official journal of the International Consortium of Landscape and Ecological Engineering (ICLEE)

Landscape and ecological engineering : official journal of the International Consortium of Landscape and Ecological Engineering (ICLEE)
Paper雑誌雑誌タイトル
International Consortium of Landscape and Ecological Engineering [編]Springer Japan[2005]-<Z78-A725>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

UACJ technical reports

UACJ technical reports
Paper雑誌雑誌タイトル
UACJ技術開発研究所 編UACJ2015-<Z74-J564>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Journal of bioscience and bioengineering

Journal of bioscience and bioengineering
Paper雑誌雑誌タイトル
Society for Biotechnology1999-<Z53-S65>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Materials transactions

Materials transactions
Paper雑誌雑誌タイトル
The Japan Institute of Metals and Materials2001-<Z53-J286>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子技術総合研究所彙報

電子技術総合研究所彙報
PaperDigital雑誌雑誌タイトル
電子技術総合研究所 編電子技術総合研究所1970-2001<Z16-185>
Available onlineNational Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Japanese Journal of Pharmacology

Japanese Journal of Pharmacology
Paper雑誌雑誌タイトル
Japanese Pharmacological Society1951<Z53-D199>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  
RSS