yr 〜
yr

Search results 105

書換えに基づく例外型を持つオブジェクト指向プログラムの型推論

書換えに基づく例外型を持つオブジェクト指向プログラムの型推論
Paper図書
坂部俊樹, 名古屋大学 [著][坂部俊樹]2004-2007<Y151-H16300005>
National Diet Library
  • Author Heading坂部, 俊樹 名古屋大学

書換えに基づく例外型を持つオブジェクト指向プログラムの型推論

書換えに基づく例外型を持つオブジェクト指向プログラムの型推論
Paper図書
坂部俊樹 [ほか著][出版者不明]2008.3
Other Libraries in Japan
  • Author Heading坂部, 俊樹

関数型並行計算モデルに関する基礎的研究

関数型並行計算モデルに関する基礎的研究
Paper図書
坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>
National Diet Library
  • Author Heading坂部, 俊樹

プログラムの設計 (インターユニバーシティ)

プログラムの設計 (インターユニバーシティ)
Paper図書
坂部俊樹 編著オーム社2000.8<M159-G3462>
National Diet LibraryOther Libraries in Japan
  • Author Heading坂部, 俊樹, 1949-

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究
Paper図書
坂部, 俊樹, 名古屋大学1988-1989<Y151-S63580025>
National Diet Library
  • Author Heading坂部, 俊樹

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

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

計算機科学基礎理論の新展開

計算機科学基礎理論の新展開
Paper図書
京都大学数理解析研究所2004.5
Other Libraries in Japan
  • Author Heading京都大学数理解析研究所 坂部, 俊樹

情報構造の代数的解析にもとづく構造近似理論に関する研究

情報構造の代数的解析にもとづく構造近似理論に関する研究
Paper博士論文
坂部俊樹 [著]<UT51-53-J126>
National Diet Library
  • Author Heading坂部, 俊樹

関数型並行計算モデルに関する基礎的研究

関数型並行計算モデルに関する基礎的研究
Paper図書
坂部俊樹[ほか著][出版者不明]1992.3
Other Libraries in Japan
  • Author Heading坂部, 俊樹

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究
Paper図書
研究代表者 坂部俊樹[出版者不明]1990.3
Other Libraries in Japan
  • Author Heading坂部, 俊樹

情報構造の代数的解析にもとづく構造近似理論に関する研究

情報構造の代数的解析にもとづく構造近似理論に関する研究
Paper図書
坂部俊樹 [著][出版者不明][1978]
Other Libraries in Japan
  • Author Heading坂部, 俊樹

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

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

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

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

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

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

数セミ : 数学セミナー

数セミ : 数学セミナー
PaperDigital雑誌
日本評論社1985-1991<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

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

日本の科学と技術

日本の科学と技術
PaperDigital雑誌
日本科学技術振興財団・科学技術館1960-1995<Z14-358>
Available onlineNational Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電気学会論文誌 C 電子・情報・システム部門誌

電気学会論文誌 C 電子・情報・システム部門誌
Paper雑誌
電気学会1972-<Z16-795>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

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