Jump to main content

yr 〜
yr

Search results 27

On head-normalizing sequential strategies for higher-order rewrite systems

On head-normalizing sequential strategies for higher-order rewrite systems
Paper博士論文
Hideto Kasuya [著][Hideto Kasuya][2009]<UT51-2009-S996>
National Diet Library
  • Author Heading粕谷, 英人

On head-normalizing sequential strategies for higher-order rewrite systems

On head-normalizing sequential strategies for higher-order rewrite systems
Paper図書
Hideto Kasuya[s.n.][2009]
Other Libraries in Japan
  • Author Heading粕谷, 英人

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

関数型言語の解析・検証・効率的実行のための書換え系理論の研究
Paper図書
酒井正彦 [ほか著][出版者不明]2006.4
Other Libraries in Japan
  • Author Heading酒井, 正彦 坂部, 俊樹 草刈, 圭一朗 西田, 直樹, 19-- 粕谷, 英人

ソフトウェア工学の基礎 21 (レクチャーノート/ソフトウェア学 ; 40)

ソフトウェア工学の基礎 21 (レクチャーノート/ソフトウェア学 ; 40)
Paper図書
近代科学社2014.12<M159-L585>
National Diet LibraryOther Libraries in Japan

情報処理学会研究報告

情報処理学会研究報告
Paper雑誌雑誌タイトル
情報処理学会[1985]-2009<Z14-1121>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
Paper雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報学ワークショップ論文集 : WiNF 2005 通号3号(2005)

情報学ワークショップ論文集 : WiNF 2005 通号3号(2005)
Paper図書
情報学ワークショップ実行委員会 [編]静岡大学情報学部2005.9<M121-H177>
National Diet Library

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2007

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2007
Paper図書
海谷治彦, 山本修一郎 編近代科学社2007.9<M159-H1927>
National Diet LibraryOther Libraries in Japan

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2007 14 (レクチャーノート/ソフトウェア学 ; 33)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2007 14 (レクチャーノート/ソフトウェア学 ; 33)
Paper図書
岸知二, 野田夏子 編近代科学社2007.11<M159-H2006>
National Diet LibraryOther Libraries in Japan

情報処理学会研究報告

情報処理学会研究報告
Recording Media雑誌電子資料雑誌タイトル
情報処理学会2010-c2013<YH267-101>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
Paper図書
野呂昌満, 山本晋一郎 編近代科学社2004.11<M159-H961>
National Diet LibraryOther Libraries in Japan

Reached to the end of result.

RSS