Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ramanayake, Revantha (EDT)/ Urban, Josef (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 94pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Classical and Modern Cryptography for Beginners (2023)
  • 洋書

Classical and Modern Cryptography for Beginners (2023)  Paperback,  言語:ENG

Banoth, Rajkumar/ Regar, Rekha

  • ウェブストア価格 ¥15,348(本体¥13,953)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 139pt
  • 海外取次在庫
Designing Modern Embedded Systems: Software, Hardware, and Applications : 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings (Ifip Advances in Information and Communication Technolo (2023)
  • 洋書

Designing Modern Embedded Systems: Software, Hardware, and Applications : 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings (Ifip Advances in Information and Communication Technolo (2023)  Paperback,  言語:ENG

Henkler, Stefan (EDT)/ Kreutz, Márcio (EDT)/ Wehrmeister, Marco A. (EDT)

  • ウェブストア価格 ¥20,930(本体¥19,028)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 190pt
  • 海外取次在庫
Human-Centered Software Engineering : 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, the Netherlands, November 30 - December 2, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Human-Centered Software Engineering : 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, the Netherlands, November 30 - December 2, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Bernhaupt, Regina (EDT)/ Ardito, Carmelo (EDT)/ Sauer, Stefan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Big Data Analytics : 8th International Conference, BDA 2020, Sonepat, India, December 15-18, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Big Data Analytics : 8th International Conference, BDA 2020, Sonepat, India, December 15-18, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Bellatreche, Ladjel (EDT)/ Goyal, Vikram (EDT)/ Fujita, Hamido (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Conceptual Modeling : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Advances in Conceptual Modeling : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback

Reinhartz-Berger, Iris (EDT)/ Sadiq, Shazia (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Similarity Search and Applications : 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Similarity Search and Applications : 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Reyes, Nora (EDT)/ Connor, Richard (EDT)/ Kriege, Nils (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 161pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Robotics and Applications : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Intelligent Robotics and Applications : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Liu, Honghai (EDT)/ Yin, Zhouping (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 246pt
  • 海外取次在庫
Intelligent Robotics and Applications : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Intelligent Robotics and Applications : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Liu, Honghai (EDT)/ Yin, Zhouping (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 246pt
  • 海外取次在庫
Intelligent Robotics and Applications : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Intelligent Robotics and Applications : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Liu, Honghai (EDT)/ Yin, Zhouping (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 246pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 265pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part IV (Lecture Notes in Artificial Intelligence)
  • 洋書

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part IV (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 189pt
  • 海外取次在庫
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback

Benzmüller, Christoph (EDT)/ Heule, Marijn J.H. (EDT)/ Schmidt, Renate A. (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 151pt
  • 海外取次在庫
Trustworthy Communications and Complete Genealogies : Unifying Ancestries for a Genealogical History of the Modern World (Synthesis Lectures on Information Concepts, Retrieval, and Services) (3RD)
  • 洋書

Trustworthy Communications and Complete Genealogies : Unifying Ancestries for a Genealogical History of the Modern World (Synthesis Lectures on Information Concepts, Retrieval, and Services) (3RD)  Hardcover

Moore, Reagan W.

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 85pt
  • 海外からお取り寄せ(通常6~9週間)
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
  • 海外取次在庫
Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reyzin, Leonid (EDT)/ Stebila, Douglas (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 151pt
  • 海外取次在庫
Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reyzin, Leonid (EDT)/ Stebila, Douglas (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 151pt
  • 海外取次在庫
Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書

Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reyzin, Leonid (EDT)/ Stebila, Douglas (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 151pt
  • 海外取次在庫
Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)
  • 洋書

Advances in Cryptology - CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reyzin, Leonid (EDT)/ Stebila, Douglas (EDT)

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