本文に飛ぶ

年 〜
年

検索結果 8 件

Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)

Programming languages and systems : 12th Asian symposium, APLAS 2014 : Singapore, Singapore, November 17-19, 2014 : proceedings : Nov 2014, Singapore. (Lecture Notes in Computer Science ; 8858)
紙図書
Springer[2014]<M17-15-624>
国立国会図書館
  • 著者標目APLAS 2014 (2014 : Singapore, Singapore) Garrigue, Jacques.

Functional and logic programming : 9th international symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings. : Apr 2008, Ise, Japan. (Lecture Notes in Computer Science ; 4989)

Functional and logic programming : 9th international symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings. : Apr 2008, Ise, Japan. (Lecture Notes in Computer Science ; 4989)
紙図書
Springerc2008.<M17-08-1263>
国立国会図書館
  • 著者標目Garrigue, Jacques. Hermenegildo, Manuel. Fuji In...

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
紙図書
溝口佳寛 [ほか] 編集九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府2015.3
全国の図書館

Label-selective lambda-calculi and transformation calculi

Label-selective lambda-calculi and transformation calculi
紙デジタル博士論文障害者向け資料あり
Garrigue, Jacques [著]<UT51-96-Q311>
インターネットで読める国立国会図書館

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings pbk.

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings pbk.
紙図書
Jacques Garrigue, Manuel Hermenegildo (eds.)Springerc2008
全国の図書館

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
紙図書
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編九州大学マス・フォア・インダストリ研究所2015.3<M159-L655>
国立国会図書館

アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)

アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)
紙図書
大堀淳, ジャック・ガリグ, 西村進 著岩波書店1999.5<M159-G2691>
国立国会図書館全国の図書館

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

日本ソフトウェア科学会大会論文集
紙雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

検索結果は以上です。

RSS