Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Compute (2014)
  • 洋書
  • ポイントキャンペーン

Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Compute (2014)  Paperback,  言語:ENG

Shao, Zhong (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 218pt
  • 海外取次在庫
Foundation Models for General Medical AI : Second International Workshop, MedAGI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書
  • ポイントキャンペーン

Foundation Models for General Medical AI : Second International Workshop, MedAGI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Deng, Zhongying (EDT)/ Shen, Yiqing (EDT)/ Kim, Hyunwoo J. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 218pt
  • 海外取次在庫
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7086) (2011. XV, 396 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7086) (2011. XV, 396 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Jouannaud, Jean-Pierre/ Shao, Zhong

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 254pt
  • 海外取次在庫