1～3件／全3件 セーフサーチON
  •  
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Gallagher, John P. (EDT)/ Sulzmann, Martin (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2018/04発売）
  • ポイント 103pt
  • 海外取次在庫
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Lopez-Garcia, Pedro (EDT)/ Gallagher, John P. (EDT)/ Giacobazzi, Roberto (EDT)

  • ウェブストア価格 ¥28,974（本体¥26,340）
  • Springer International Publishing AG（2023/05発売）
  • ポイント 263pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Fioravanti, Fabio (EDT)/ Gallagher, John P. (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 103pt
  • 海外取次在庫
1～3件／全3件
  •