「"坂部, 俊樹"」の検索結果 | NDLサーチ

検索結果 105 件

タイトルでまとめる

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

紙図書

坂部俊樹, 名古屋大学 [著][坂部俊樹]2004-2007<Y151-H16300005>

国立国会図書館

著者標目坂部, 俊樹名古屋大学

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

紙図書

坂部俊樹 [ほか著][出版者不明]2008.3

全国の図書館

著者標目坂部, 俊樹

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

紙図書

坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>

国立国会図書館

著者標目坂部, 俊樹

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

紙図書

坂部俊樹編著オーム社2000.8<M159-G3462>

国立国会図書館全国の図書館

著者標目坂部, 俊樹, 1949-

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

紙図書

坂部, 俊樹, 名古屋大学1988-1989<Y151-S63580025>

国立国会図書館

著者標目坂部, 俊樹

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

紙図書

酒井正彦 [ほか著][出版者不明]2006.4

全国の図書館

著者標目酒井, 正彦坂部, 俊樹草刈, 圭一朗西田, 直樹, 19-- 粕谷, 英人

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

紙図書

京都大学数理解析研究所2004.5

全国の図書館

著者標目京都大学数理解析研究所坂部, 俊樹

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

紙博士論文

坂部俊樹 [著]<UT51-53-J126>

国立国会図書館

著者標目坂部, 俊樹

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

紙図書

坂部俊樹[ほか著][出版者不明]1992.3

全国の図書館

著者標目坂部, 俊樹

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

紙図書

研究代表者坂部俊樹[出版者不明]1990.3

全国の図書館

著者標目坂部, 俊樹

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

紙図書

坂部俊樹 [著][出版者不明][1978]

全国の図書館

著者標目坂部, 俊樹

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

紙雑誌

電子情報通信学会1987-2020<Z16-940>

国立国会図書館全国の図書館

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

紙雑誌

日本ソフトウェア科学会編日本ソフトウェア科学会1984-<Z14-1033>

国立国会図書館全国の図書館

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

紙雑誌

電子情報通信学会編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>

国立国会図書館全国の図書館

数セミ : 数学セミナー

紙デジタル雑誌

日本評論社1985-1991<Z15-27>

国立国会図書館

数理解析研究所講究録

紙雑誌

京都大学数理解析研究所1964-<Z43-1336>

国立国会図書館全国の図書館

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

紙雑誌

電子情報通信学会編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>

国立国会図書館全国の図書館

日本の科学と技術

紙デジタル雑誌

日本科学技術振興財団・科学技術館1960-1995<Z14-358>

インターネットで読める国立国会図書館全国の図書館

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

紙雑誌

電気学会1972-<Z16-795>

国立国会図書館全国の図書館

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

紙雑誌

日本ソフトウェア科学会編日本ソフトウェア科学会1984-2019<Z14-1245>

国立国会図書館全国の図書館