1～3件／全3件 セーフサーチON
  •  
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Blazy, Sandrine (EDT)/ Jensen, Thomas (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2015/09発売）
  • ポイント 218pt
  • 海外取次在庫
Advances in Computational Intelligence Systems : Contributions Presented at the 20th UK Workshop on Computational Intelligence, September 8-10, 2021, Aberystwyth, Wales, UK (Advances in Intelligent Systems and Computing)
  • 洋書
  • ポイントキャンペーン

Advances in Computational Intelligence Systems : Contributions Presented at the 20th UK Workshop on Computational Intelligence, September 8-10, 2021, Aberystwyth, Wales, UK (Advances in Intelligent Systems and Computing)  Paperback

Jansen, Thomas (EDT)/ Jensen, Richard (EDT)/ Mac Parthaláin, Neil (EDT)

  • ウェブストア価格 ¥55,964（本体¥50,877）
  • Springer Nature Switzerland AG（2021/11発売）
  • ポイント 1,016pt
  • 海外からお取り寄せ（通常6～9週間）
Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science 16417) （2026. Approx. 400 p. 235 mm）
  • 洋書
  • 予約
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science 16417) （2026. Approx. 400 p. 235 mm）  Paperback,  言語：ENG

Herausgegeben:Chen, Yu-Fang/ Jensen, Thomas/ Lengá/l, Ondrej

  • ウェブストア価格 ¥20,717（本体¥18,834）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2026/03発売）
  • ポイント 376pt
  • ご予約受付中。出版後の入荷・発送
1～3件／全3件
  •