Jump to main content

yr 〜
yr

Search results 45

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用
Paper図書
程, 京徳, 九州大学1994-1996<Y151-H06452394>
National Diet Library
  • Author Heading程, 京徳

強相関論理に基づく認識的プログラミングシステムの構築

強相関論理に基づく認識的プログラミングシステムの構築
Paper図書
程, 京徳 (Cheng, Jingde) , 埼玉大学1999-2002<Y151-H11480079>
National Diet Library
  • Author Heading程, 京徳 (Cheng, Jingde)

国際標準に基づく汎用的情報セキュリティ工学環境の構築

国際標準に基づく汎用的情報セキュリティ工学環境の構築
Digitalその他
程, 京徳埼玉大学総合研究機構2009総合研究機構研究プロジェクト研究成果報告書平成20年度
Other Libraries in Japan

先行推論に基づく永続的反応システムの実現と応用事例研究

先行推論に基づく永続的反応システムの実現と応用事例研究
Digitalその他
程, 京徳埼玉大学総合研究機構2008総合研究機構研究プロジェクト研究成果報告書第6号(平成19年度)p.71-74
Other Libraries in Japan

プログラミング言語の意味論入門 (Information & computing ; 76)

プログラミング言語の意味論入門 (Information & computing ; 76)
PaperDigital図書
M.ヘネシー 著, 荒木啓二郎, 程京徳 訳サイエンス社1993.12<M159-E2969>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHennessy, Matthew 荒木, 啓二郎, 1954- 程, 京徳
  • Authority（Author Heading/altLabel）ヘネシー, M 程, 京徳

並行プログラムの従属性理論とその応用に関する基礎的研究

並行プログラムの従属性理論とその応用に関する基礎的研究
Paper図書
程, 京徳, 九州大学1992-1993<Y151-H04650319>
National Diet Library
  • Author Heading程, 京徳

先行予測にもとづく永続的反応システムの実現と応用

先行予測にもとづく永続的反応システムの実現と応用
Digitalその他
程, 京徳埼玉大学総合研究機構2007総合研究機構研究プロジェクト研究成果報告書第5号(18年度)p.52-55
Other Libraries in Japan

Studies on monitoring concurrent programs

Studies on monitoring concurrent programs
PaperDigital博士論文障害者向け資料あり
程京徳 [著]<UT51-89-J105>
Available onlineNational Diet Library
  • Author Heading程, 京徳

強相関論理に基づく認識的プログラミングシステムの構築

強相関論理に基づく認識的プログラミングシステムの構築
Paper図書
研究代表者 程京徳[程京徳]2003.5
Other Libraries in Japan
  • Author Heading程, 京徳

命令型・宣言型並行プログラムにおける従属生に関する一般理論の構築と応用

命令型・宣言型並行プログラムにおける従属生に関する一般理論の構築と応用
Paper図書
研究代表者 程京徳[九州大学]1997.3
Other Libraries in Japan
  • Author Heading程, 京徳

並行プログラムの従属性理論とその応用に関する基礎的研究

並行プログラムの従属性理論とその応用に関する基礎的研究
Paper図書
研究代表者 程京徳[九州大学]1994.3
Other Libraries in Japan
  • Author Heading程, 京徳 牛島, 和夫 古川, 善吾

情報教育シンポジウム論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol. 2013 no. 2)

情報教育シンポジウム論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol. 2013 no. 2)
Paper図書
情報処理学会コンピュータと教育研究会, 情報処理学会教育学習支援情報システム研究会 [編]情報処理学会2013.8<FC71-L43>
National Diet Library

グループウェアとネットワークサービスワークショップ : 論文集 2005 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2005 no.14)

グループウェアとネットワークサービスワークショップ : 論文集 2005 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2005 no.14)
Paper図書
情報処理学会2005.11<ND633-H1225>
National Diet Library

データベースとWeb情報システムに関するシンポジウム論文集 : proceedings of DBWeb 2006 (情報処理学会シンポジウムシリーズ ; v.2006 no.16)

データベースとWeb情報システムに関するシンポジウム論文集 : proceedings of DBWeb 2006 (情報処理学会シンポジウムシリーズ ; v.2006 no.16)
Paper図書
情報処理学会2006.11<M151-H456>
National Diet Library

信頼性 : 日本信頼性学会誌

信頼性 : 日本信頼性学会誌
Paper雑誌雑誌タイトル
日本信頼性学会1979-<Z14-2023>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

先進的計算基盤システムシンポジウム : SACSIS 2005 : 論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2005 no.5)

先進的計算基盤システムシンポジウム : SACSIS 2005 : 論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2005 no.5)
Paper図書
情報処理学会2005.5<M151-H323>
National Diet Library

JISA会報

JISA会報
Paper雑誌雑誌タイトル
情報サービス産業協会2002-2011<Z5-B57>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

日本データベース学会letters

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

情報処理学会研究報告

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

人工知能基礎論研究会 (人工知能学会研究会資料)

人工知能基礎論研究会 (人工知能学会研究会資料)
PaperDigital雑誌雑誌タイトル
人工知能学会1987-2004<Z14-1667>
Available onlineNational Diet Library
  •  
  •  
  •  
  •  
  •  
    •  
RSS