41～42件／全42件 セーフサーチON


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 Philip/ Lengá/l, Ondrej

  • ウェブストア価格 ¥20,604（本体¥18,731）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2026/03発売）
  • ポイント 187pt
  • ご予約受付中。出版後の入荷・発送
HCI International 2025 - Late Breaking Papers : 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VIII (Lecture Notes in Computer Science 16338) （2026. xxi, 416 S. XXI, 416 p. 147 illus., 110 illus. in color. 235 mm）
  • 洋書
  • 予約

HCI International 2025 - Late Breaking Papers : 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VIII (Lecture Notes in Computer Science 16338) （2026. xxi, 416 S. XXI, 416 p. 147 illus., 110 illus. in color. 235 mm）  Paperback,  言語：ENG

Herausgegeben:Chen, Jessie Y. C./ Fragomeni, Gino/ Fang, Xiaowen

  • ウェブストア価格 ¥18,376（本体¥16,706）
  • SPRINGER, BERLIN; SPRINGER（2026/02発売）
  • ポイント 167pt
  • ご予約受付中。出版後の入荷・発送
41～42件／全42件