Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7225) (2012. 2012. X, 253 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7225) (2012. 2012. X, 253 S. 235 mm)  Paperback

Herausgegeben von Vidal, Germ

  • ウェブストア価格 ¥12,457(本体¥11,325)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 226pt
  • 海外取次在庫
Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6009) (2010. XI, 355 S.)
  • 洋書
  • ポイントキャンペーン

Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6009) (2010. XI, 355 S.)  Paperback

Herausgegeben von Blume, Matthias/ Kobayashi, Naoki/ Vidal, Germ

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 246pt
  • 海外取次在庫
Practical Aspects of Declarative Languages : 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Practical Aspects of Declarative Languages : 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Erdem, Esra (EDT)/ Vidal, Germán (EDT)

  • ウェブストア価格 ¥13,864(本体¥12,604)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 252pt
  • 海外からお取り寄せ(通常6~9週間)