Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 151pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 142pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 104pt
  • 海外取次在庫
Information and Communication Technologies : 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings (Communications in Computer and Information Science) (2024)
  • 洋書

Information and Communication Technologies : 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Berrezueta-Guzman, Santiago (EDT)/ Torres, Rommel (EDT)/ Zambrano-Martinez, Jorge Luis (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 161pt
  • 海外取次在庫
Technologies and Innovation : 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings (Communications in Computer and Information Science) (2024)
  • 洋書

Technologies and Innovation : 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Valencia-García, Rafael (EDT)/ Borodulina, Tamara (EDT)/ Del Cioppo-Morstadt, Javier (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 151pt
  • 海外取次在庫
World Conference of AI-Powered Innovation and Inventive Design : 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I (Ifip Advances in Information and Communication Technology (2024)
  • 洋書

World Conference of AI-Powered Innovation and Inventive Design : 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I (Ifip Advances in Information and Communication Technology (2024)  Hardcover,  言語:ENG

Cavallucci, Denis (EDT)/ Brad, Stelian (EDT)/ Livotov, Pavel (EDT)

  • ウェブストア価格 ¥19,246(本体¥17,497)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 174pt
  • 海外からお取り寄せ(通常6~9週間)
World Conference of AI-Powered Innovation and Inventive Design : 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II (Ifip Advances in Information and Communication Technolog (2024)
  • 洋書

World Conference of AI-Powered Innovation and Inventive Design : 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II (Ifip Advances in Information and Communication Technolog (2024)  Hardcover,  言語:ENG

Cavallucci, Denis (EDT)/ Brad, Stelian (EDT)/ Livotov, Pavel (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 227pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIV (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIV (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29 - October 4, 2024, Proceedings, Part LXXXIV (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29 - October 4, 2024, Proceedings, Part LXXXIV (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LIV (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LIV (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 322pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXIV (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXIV (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXXVI (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXXVI (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXIII (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXIII (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXVIII (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXVIII (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外取次在庫
Advances in Digital Forensics XIX : 19th IFIP WG 11.9 International Conference, ICDF 2023, Arlington, Virginia, USA, January 30-31, 2023, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Advances in Digital Forensics XIX : 19th IFIP WG 11.9 International Conference, ICDF 2023, Arlington, Virginia, USA, January 30-31, 2023, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Peterson, Gilbert (EDT)/ Shenoi, Sujeet (EDT)

  • Springer International Publishing AG(2024/10発売)
  • ご注文いただけません
Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems (2024)
  • 洋書

Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems (2024)  Hardcover

Cheng, Wei/ Guilley, Sylvain/ Rioul, Olivier

  • ウェブストア価格 ¥37,506(本体¥34,097)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 340pt
  • 海外取次在庫
Advances in Computing and Data Sciences : 8th International Conference, ICACDS 2024, Vélizy, France, May 9-10, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Advances in Computing and Data Sciences : 8th International Conference, ICACDS 2024, Vélizy, France, May 9-10, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Singh, Mayank (EDT)/ Tyagi, Vipin (EDT)/ Gupta, P. K. (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 161pt
  • 海外取次在庫
Society 5.0 : 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Society 5.0 : 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback

Hinkelmann, Knut (EDT)/ Smuts, Hanlie (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 189pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2024 : 27th International Conference, Marrakesh, Morocco, October 6-10, 2024, Proceedings, Part XII (Lecture Notes in Computer Science) (2024)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2024 : 27th International Conference, Marrakesh, Morocco, October 6-10, 2024, Proceedings, Part XII (Lecture Notes in Computer Science) (2024)  Paperback

Linguraru, Marius George (EDT)/ Dou, Qi (EDT)/ Feragen, Aasa (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 208pt
  • 海外取次在庫
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII (Lecture Notes in Computer Science) (2024)  Paperback

Leonardis, Aleš (EDT)/ Ricci, Elisa (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 151pt
  • 海外取次在庫