yr 〜
yr

Search results 56

データベースと情報検索 (グラフィック情報工学ライブラリ ; GIE-11)

データベースと情報検索 (グラフィック情報工学ライブラリ ; GIE-11)
Paper図書
石原靖哲, 清水將吾 共著数理工学社2018.9<M151-L487>
National Diet LibraryOther Libraries in Japan
  • Author Heading石原, 靖哲 清水, 將吾

A translation method from natural language specifications of communication protocols into executable algebraic specifications

A translation method from natural language specifications of communication protocols into executable algebraic specifications
PaperDigital博士論文障害者向け資料あり
石原靖哲 [著]<UT51-95-G498>
Available onlineNational Diet Library
  • Author Heading石原, 靖哲

オブジェクト指向データベースにおける型検査問題の計算量

オブジェクト指向データベースにおける型検査問題の計算量
Digital文書・図像類
石原, 靖哲, 伊藤, 実, 清水, 將吾, 関, 浩之奈良先端科学技術大学院大学1997-06Information Science Technical ReportTR97013
Available onlineOther Libraries in Japan
  • Author Heading石原, 靖哲 伊藤, 実 清水, 將吾 関, 浩之

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

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

電子情報通信学会誌

電子情報通信学会誌
PaperDigital雑誌
電子情報通信学会1987-<Z16-192>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

電子情報通信学会論文誌 D 情報・システム
Paper雑誌
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本データベース学会letters

日本データベース学会letters
Paper雑誌
日本データベース学会 編日本データベース学会2002-2008<Z74-D304>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

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

情報処理学会研究報告

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

情報処理学会関西支部支部大会講演論文集

情報処理学会関西支部支部大会講演論文集
Recording Media雑誌電子資料
[情報処理学会関西支部]2009-<YH247-934>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌

情報処理学会論文誌
Paper雑誌
情報処理学会1979-2008<Z14-741>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

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

情報処理学会研究報告

情報処理学会研究報告
Recording Media雑誌電子資料
情報処理学会2009-c2013<YH247-911>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

通信プロトコルの自然語仕様から実行可能な代数的仕様への変換法

通信プロトコルの自然語仕様から実行可能な代数的仕様への変換法
Digital博士論文
石原, 靖哲
Available onlineOther Libraries in Japan
  • Author Heading石原, 靖哲

Reached to the end of result.