1～4件／全4件 セーフサーチON
  •  
Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Escobar, Santiago (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥13,633（本体¥12,394）
  • Springer Nature Switzerland AG（2025/10発売）
  • ポイント 123pt
  • 海外取次在庫
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) （2014）
  • 洋書

Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) （2014）  Paperback,  言語：ENG

Escobar, Santiago (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer International Publishing AG（2014/11発売）
  • ポイント 104pt
  • 海外取次在庫
Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5979) （2010. IX, 179 S.）
  • 洋書

Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 5979) （2010. IX, 179 S.）  Paperback

Herausgegeben von Escobar, Santiago

  • ウェブストア価格 ¥13,384（本体¥12,168）
  • SPRINGER, BERLIN（2010発売）
  • ポイント 121pt
  • 海外取次在庫
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Escobar, Santiago (EDT)/ Martí-Oliet, Narciso (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer Nature Switzerland AG（2020/12発売）
  • ポイント 104pt
  • 海外取次在庫
1～4件／全4件
  •