Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 95pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 95pt
  • 海外からお取り寄せ(通常6~9週間)
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 95pt
  • 海外取次在庫
Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kovács, Laura (EDT)/ Sokolova, Ana (EDT)

  • ウェブストア価格 ¥13,633(本体¥12,394)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 123pt
  • 海外取次在庫
Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kohlhase, Andrea (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥16,074(本体¥14,613)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 146pt
  • 海外からお取り寄せ(通常6~9週間)
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書
  • 電子版あり

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Kosmatov, Nikolai (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥29,367(本体¥26,698)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 266pt
  • 海外からお取り寄せ(通常6~9週間)
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kovács, Laura (EDT)/ Meinke, Karl (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 104pt
  • 海外取次在庫
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Blanchette, Jasmin (EDT)/ Kovács, Laura (EDT)/ Pattinson, Dirk (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 95pt
  • 海外取次在庫
The Complete Clean Eating Cookbook
  • 洋書

The Complete Clean Eating Cookbook  Hardcover,  言語:ENG

CSSD, Laura Ligos MBA, RDN,

  • ウェブストア価格 ¥5,320(本体¥4,837)
  • Callisto Media Inc.(2021/09発売)
  • ポイント 48pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
腎臓癌と栄養学(第3版)<br>Nutrition in Kidney Disease (Nutrition and Health) (3RD)
  • 洋書

腎臓癌と栄養学(第3版)
Nutrition in Kidney Disease (Nutrition and Health) (3RD)
 Paperback

Burrowes, Jerrilynn D. (EDT)/ Kovesdy, Csaba P. (EDT)/ Byham-Gray, Laura D. (EDT)

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 343pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。