Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 94pt
  • 海外取次在庫
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 94pt
  • 海外取次在庫
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 94pt
  • 海外取次在庫
Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Ogata, Kazuhiro (EDT)/ Martí-Oliet, Narciso (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 123pt
  • 海外取次在庫
Metadata and Semantic Research : 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Metadata and Semantic Research : 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Garoufallou, Emmanouel (EDT)/ Sartori, Fabio (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 151pt
  • 海外取次在庫
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, the Netherlands, November 6-10, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, the Netherlands, November 6-10, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Aldini, Alessandro (EDT)

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 85pt
  • 海外取次在庫
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reynolds, Andrew (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 104pt
  • 海外取次在庫
Developments in Language Theory : 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Developments in Language Theory : 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Day, Joel D. (EDT)/ Manea, Florin (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 142pt
  • 海外取次在庫
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback

Tekinerdoğan, Bedir (EDT)/ Spalazzese, Romina (EDT)/ Sözer, Hasan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 151pt
  • 海外取次在庫
Deep Learning Theory and Applications : 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part I (Communications in Computer and Information Science) (2024)
  • 洋書

Deep Learning Theory and Applications : 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part I (Communications in Computer and Information Science) (2024)  Paperback

Fred, Ana (EDT)/ Hadjali, Allel (EDT)/ Gusikhin, Oleg (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 161pt
  • 海外取次在庫
Deep Learning Theory and Applications : 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part II (Communications in Computer and Information Science) (2024)
  • 洋書

Deep Learning Theory and Applications : 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part II (Communications in Computer and Information Science) (2024)  Paperback

Fred, Ana (EDT)/ Hadjali, Allel (EDT)/ Gusikhin, Oleg (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 161pt
  • 海外取次在庫
Recent Trends in Analysis of Images, Social Networks and Texts : 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Recent Trends in Analysis of Images, Social Networks and Texts : 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback

Ignatov, Dmitry I. (EDT)/ Khachay, Michael (EDT)/ Kutuzov, Andrey (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 161pt
  • 海外取次在庫
Artificial Intelligence in Healthcare : First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Artificial Intelligence in Healthcare : First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback

Xie, Xianghua (EDT)/ Styles, Iain (EDT)/ Powathil, Gibin (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 265pt
  • 海外取次在庫
Artificial Intelligence in Healthcare : First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Artificial Intelligence in Healthcare : First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback

Xie, Xianghua (EDT)/ Styles, Iain (EDT)/ Powathil, Gibin (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 142pt
  • 海外取次在庫
Belief Functions: Theory and Applications : 8th International Conference, BELIEF 2024, Belfast, UK, September 2-4, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Belief Functions: Theory and Applications : 8th International Conference, BELIEF 2024, Belfast, UK, September 2-4, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Bi, Yaxin (EDT)/ Jousselme, Anne-Laure (EDT)/ Denoeux, Thierry (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 123pt
  • 海外取次在庫
Cloud Computing and Services Science : 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers (Communications in (2024)
  • 洋書

Cloud Computing and Services Science : 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers (Communications in (2024)  Paperback,  言語:ENG

van Steen, Maarten (EDT)/ Ferguson, Donald (EDT)/ Pahl, Claus (EDT)

  • Springer International Publishing AG(2024/09発売)
  • ご注文いただけません
Modeling Decisions for Artificial Intelligence : 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2024)
  • 洋書

Modeling Decisions for Artificial Intelligence : 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2024)  Paperback,  言語:ENG

Torra, Vicenç (EDT)/ Narukawa, Yasuo (EDT)/ Kikuchi, Hiroaki (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 123pt
  • 海外取次在庫
Relational and Algebraic Methods in Computer Science: 21st International Conference, Ramics 2024, Prague, Czech Republic, August 19-22, 2024, Proceedi (Lecture Notes in Computer Science") 〈1478〉
  • 洋書

Relational and Algebraic Methods in Computer Science: 21st International Conference, Ramics 2024, Prague, Czech Republic, August 19-22, 2024, Proceedi (Lecture Notes in Computer Science") 〈1478〉  Paperback,  言語:ENG

Fahrenberg, Uli(EDT)/ Fussner, Wesley(EDT)/ Glück, Roland(EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer(2024/07発売)
  • ポイント 123pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database and Expert Systems Applications - DEXA 2024 Workshops : IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings (Communications in Computer and Information Science) (2024)
  • 洋書

Database and Expert Systems Applications - DEXA 2024 Workshops : IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Moser, Bernhard (EDT)/ Fischer, Lukas (EDT)/ Mashkoor, Atif (EDT)

  • ウェブストア価格 ¥15,272(本体¥13,884)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 138pt
  • 海外からお取り寄せ(通常6~9週間)
Database and Expert Systems Applications : 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Database and Expert Systems Applications : 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Strauss, Christine (EDT)/ Amagasa, Toshiyuki (EDT)/ Manco, Giuseppe (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 123pt
  • 海外取次在庫