Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Katsaros, Panagiotis (EDT)/ Nenzi, Laura (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 312pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Payne, Terry R. (EDT)/ Presutti, Valentina (EDT)/ Qi, Guilin (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 390pt
  • 海外取次在庫
The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Payne, Terry R. (EDT)/ Presutti, Valentina (EDT)/ Qi, Guilin (EDT)

  • ウェブストア価格 ¥25,847(本体¥23,498)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 468pt
  • 海外取次在庫
Biomimetic and Biohybrid Systems : 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Biomimetic and Biohybrid Systems : 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Meder, Fabian (EDT)/ Hunt, Alexander (EDT)/ Margheri, Laura (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 312pt
  • 海外取次在庫
Human-Centered Data Discovery (Synthesis Lectures on Information Concepts, Retrieval, and Services)
  • 洋書
  • ポイントキャンペーン

Human-Centered Data Discovery (Synthesis Lectures on Information Concepts, Retrieval, and Services)  Paperback

Gregory, Kathleen/ Koesten, Laura

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Euro-Par 2021: Parallel Processing Workshops : Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Euro-Par 2021: Parallel Processing Workshops : Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chaves, Ricardo (EDT)/ B. Heras, Dora (EDT)/ Ilic, Aleksandar (EDT)

  • ウェブストア価格 ¥21,750(本体¥19,773)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 394pt
  • 海外からお取り寄せ(通常6~9週間)
Integer Programming and Combinatorial Optimization : 23rd International Conference, IPCO 2022, Eindhoven, the Netherlands, June 27-29, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Integer Programming and Combinatorial Optimization : 23rd International Conference, IPCO 2022, Eindhoven, the Netherlands, June 27-29, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Aardal, Karen (EDT)/ Sanità, Laura (EDT)

  • ウェブストア価格 ¥19,541(本体¥17,765)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 354pt
  • 海外取次在庫
Cloud Computing, Big Data & Emerging Topics : 10th Conference, JCC-BD&ET 2022, La Plata, Argentina, June 28-30, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Cloud Computing, Big Data & Emerging Topics : 10th Conference, JCC-BD&ET 2022, La Plata, Argentina, June 28-30, 2022, Proceedings (Communications in Computer and Information Science)  Paperback

Rucci, Enzo (EDT)/ Naiouf, Marcelo (EDT)/ Chichizola, Franco (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 312pt
  • 海外取次在庫
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Com
  • 洋書
  • ポイントキャンペーン

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Com  Paperback,  言語:ENG

Isac, Omri (EDT)/ Ivanov, Radoslav (EDT)/ Katz, Guy (EDT)

  • ウェブストア価格 ¥15,076(本体¥13,706)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 274pt
  • 海外取次在庫
Clinical Image-Based Procedures : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Clinical Image-Based Procedures : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Chen, Yufei (EDT)/ Linguraru, Marius George (EDT)/ Shekhar, Raj (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 234pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Modelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Modelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 352pt
  • 海外取次在庫
New Trends in Emerging Complex Real Life Problems : ODS, Taormina, Italy, September 10-13, 2018 (Airo Springer Series)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

New Trends in Emerging Complex Real Life Problems : ODS, Taormina, Italy, September 10-13, 2018 (Airo Springer Series)  Hardcover,  言語:ENG

Daniele, Patrizia (EDT)/ Scrimali, Laura (EDT)

  • Springer Nature Switzerland AG(2019/01発売)
  • ご注文いただけません
Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proce
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proce  Paperback

Bliudze, Simon (EDT)/ Bocchi, Laura (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,769(本体¥9,790)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 194pt
  • 海外取次在庫
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)

  • Springer International Publishing AG(2024/04発売)
  • ご注文いただけません
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,769(本体¥9,790)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 194pt
  • 海外取次在庫
Introduction to Data Science : A Python Approach to Concepts, Techniques and Applications (Undergraduate Topics in Computer Science)
  • 洋書
  • ポイントキャンペーン

Introduction to Data Science : A Python Approach to Concepts, Techniques and Applications (Undergraduate Topics in Computer Science)

Igual, Laura/Seguí/, Santi

  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING(2017/05発売)
  • ご注文いただけません
Social Robotics : 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Social Robotics : 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback

Cavallo, Filippo (EDT)/ Cabibihan, John-John (EDT)/ Fiorini, Laura (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 430pt
  • 海外取次在庫
Privacy Technologies and Policy : 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Privacy Technologies and Policy : 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Jensen, Meiko (EDT)/ Lauradoux, Cédric (EDT)/ Rannenberg, Kai (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 194pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quality of Information and Communications Technology : 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings (Communications in Computer and Information (2024)
  • 洋書
  • ポイントキャンペーン

Quality of Information and Communications Technology : 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings (Communications in Computer and Information (2024)  Paperback,  言語:ENG

Bertolino, Antonia (EDT)/ Pascoal Faria, João (EDT)/ Lago, Patricia (EDT)

  • ウェブストア価格 ¥30,156(本体¥27,415)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 548pt
  • 海外取次在庫