yr 〜
yr

Search results 22

コンピュータ・システム : プログラマの視点から

コンピュータ・システム : プログラマの視点から
PaperDigital図書
Randal Bryant, David O'Hallaron 著, 情報処理学会 監修, 五島正裕, 河野健二, 南出靖彦 監訳丸善出版2019.2<M154-M21>
National Diet LibraryOther Libraries in Japan

文字列解析によるウェブソフトウェア開発支援

文字列解析によるウェブソフトウェア開発支援
Digital文書・図像類
南出, 靖彦2015
Available onlineOther Libraries in Japan

Full lifting of type parameters

Full lifting of type parameters
PaperDigital博士論文障害者向け資料あり
南出靖彦 [著]<UT51-97-W240>
Available onlineNational Diet Library

文字列解析に基づくウェブソフトウェアの検証

文字列解析に基づくウェブソフトウェアの検証
Digital文書・図像類
南出, 靖彦2012
Available onlineOther Libraries in Japan

対話的定理証明によるソフトウェアの精密な検証

対話的定理証明によるソフトウェアの精密な検証
Digital文書・図像類
南出, 靖彦2009
Available onlineOther Libraries in Japan

Selective tail call elimination

Selective tail call elimination
Paper図書
Yasuhiko MinamideInstitute of Information Sciences and Electronics, University of Tsukuba2003
Other Libraries in Japan

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 SIG

情報処理学会論文誌 SIG
Paper雑誌
情報処理学会1998-2008<Z74-C192>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

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

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

情報処理学会論文誌 論文誌トランザクション

情報処理学会論文誌 論文誌トランザクション
Recording Media雑誌電子資料
情報処理学会2008-2013<YH247-812>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.