First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
  • 洋書
  • 予約
  • ポイントキャンペーン

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Leitsch, Alexander/ Cerna, David Michael/ Lolic, Anela

  • Springer Nature Switzerland AG(2026/01発売)
  • ご注文いただけません
Architecting the Future: Intelligent Systems for Embedded AI, Autonomous Technologies, and Digital Twins : 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, Gainesville, FL, USA, October 14-15, 2024, Proceedings (Ifip Advances in In
  • 洋書
  • ポイントキャンペーン

Architecting the Future: Intelligent Systems for Embedded AI, Autonomous Technologies, and Digital Twins : 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, Gainesville, FL, USA, October 14-15, 2024, Proceedings (Ifip Advances in In  Hardcover,  言語:ENG

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

  • Springer Nature Switzerland AG(2025/10発売)
  • ご注文いただけません
Document Analysis and Recognition - ICDAR 2025 : 19th International Conference, Wuhan, China, September 16-21, 2025, Proceedings, Part III (Lecture Notes in Computer Science 16025) (2025. xxii, 649 S. XXII, 649 p. 227 illus., 204 illus. in color. 235 m)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Document Analysis and Recognition - ICDAR 2025 : 19th International Conference, Wuhan, China, September 16-21, 2025, Proceedings, Part III (Lecture Notes in Computer Science 16025) (2025. xxii, 649 S. XXII, 649 p. 227 illus., 204 illus. in color. 235 m)  Paperback,  言語:ENG

Herausgegeben:Yin, Xu-Cheng/ Karatzas, Dimosthenis/ Lopresti, Daniel

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/11発売)
  • ポイント 762pt
  • 海外取次在庫
Artificial Neural Networks and Machine Learning - ICANN 2025 : 34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16069) (2025. xl, 671 S. XL, 671 p. 249 illus., 242 illus. in color. 235 mm)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Neural Networks and Machine Learning - ICANN 2025 : 34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16069) (2025. xl, 671 S. XL, 671 p. 249 illus., 242 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Senn, Walter/ Sanguineti, Marcello/ Saudargiene, Ausra/ Tetko, Igor V./ Villa, Alessandro E. P./ Jirsa, Viktor/ Bengio, Yoshua

  • ウェブストア価格 ¥20,717(本体¥18,834)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ポイント 376pt
  • 海外取次在庫
Artificial Neural Networks and Machine Learning - ICANN 2025 : 34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part I (Lecture Notes in Computer Science 16068) (2025. xl, 693 S. XL, 693 p. 195 illus., 179 illus. in color. 235 mm)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Neural Networks and Machine Learning - ICANN 2025 : 34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part I (Lecture Notes in Computer Science 16068) (2025. xl, 693 S. XL, 693 p. 195 illus., 179 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Senn, Walter/ Sanguineti, Marcello/ Saudargiene, Ausra/ Tetko, Igor V./ Villa, Alessandro E. P./ Jirsa, Viktor/ Bengio, Yoshua

  • ウェブストア価格 ¥20,717(本体¥18,834)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ポイント 376pt
  • 海外取次在庫
Human-Computer Interaction - INTERACT 2025 : 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16109) (2025. xxxviii, 638 S. XXXVIII, 638 p. 148 illus., 136 illus. in color.)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Human-Computer Interaction - INTERACT 2025 : 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16109) (2025. xxxviii, 638 S. XXXVIII, 638 p. 148 illus., 136 illus. in color.)  Paperback,  言語:ENG

Herausgegeben:Ardito, Carmelo/ Diniz Junqueira Barbosa, Simone/ Conte, Tayana/ Freire, André/ Gasparini, Isabela/ Palanque, Philippe/ Prates, Raquel

  • ウェブストア価格 ¥22,957(本体¥20,870)
  • SPRINGER, BERLIN; SPRINGER(2025/10発売)
  • ポイント 416pt
  • 海外取次在庫
Data Analytics and Management in Data Intensive Domains : 26th International Conference, DAMDID/RCDL 2024, Nizhny Novgorod, Russia, October 23-25, 2024, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Data Analytics and Management in Data Intensive Domains : 26th International Conference, DAMDID/RCDL 2024, Nizhny Novgorod, Russia, October 23-25, 2024, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Pardalos, Panos (EDT)/ Babkin, Eduard (EDT)/ Zolotykh, Nikolay (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer Nature Switzerland AG(2025/10発売)
  • ポイント 318pt
  • 海外取次在庫
Deep Learning Theory and Applications : 6th International Conference, DeLTA 2025, Bilbao, Spain, June 12-13, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Deep Learning Theory and Applications : 6th International Conference, DeLTA 2025, Bilbao, Spain, June 12-13, 2025, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Hadjali, Allel (EDT)/ Maiorana, Emanuele (EDT)/ Gusikhin, Oleg (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer Nature Switzerland AG(2025/10発売)
  • ポイント 338pt
  • 海外取次在庫
Advances in Computational Intelligence : 18th International Work-Conference on Artificial Neural Networks, IWANN 2025, a Coruña, Spain, June 16-18, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Computational Intelligence : 18th International Work-Conference on Artificial Neural Networks, IWANN 2025, a Coruña, Spain, June 16-18, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rojas, Ignacio (EDT)/ Joya, Gonzalo (EDT)/ Catala, Andreu (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 678pt
  • 海外取次在庫
Advances in Computational Intelligence : 18th International Work-Conference on Artificial Neural Networks, IWANN 2025, a Coruña, Spain, June 16-18, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Computational Intelligence : 18th International Work-Conference on Artificial Neural Networks, IWANN 2025, a Coruña, Spain, June 16-18, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rojas, Ignacio (EDT)/ Joya, Gonzalo (EDT)/ Català, Andreu (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 678pt
  • 海外取次在庫
Artificial Intelligence Applications and Innovations. AIAI 2025 IFIP WG 12.5 International Workshops (IFIP Advances in Information and Communication Technology 754) (2025. xlix, 384 S. XLIX, 384 p. 133 illus., 113 illus. in color. 235 m)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence Applications and Innovations. AIAI 2025 IFIP WG 12.5 International Workshops (IFIP Advances in Information and Communication Technology 754) (2025. xlix, 384 S. XLIX, 384 p. 133 illus., 113 illus. in color. 235 m)  Hardcover,  言語:ENG

Herausgegeben:Papaleonidas, Antonios/ Pimenidis, Elias/ Papadopoulos, Harris/ Chochliouros, Ioannis

  • ウェブストア価格 ¥33,597(本体¥30,543)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/09発売)
  • ポイント 610pt
  • 海外取次在庫
Entertainment Computing - ICEC 2025 : 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedings (Lecture Notes in Computer Science 16042) (2025. xviii, 651 S. XVIII, 651 p. 238 illus., 208 illus. in color. 235)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Entertainment Computing - ICEC 2025 : 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedings (Lecture Notes in Computer Science 16042) (2025. xviii, 651 S. XVIII, 651 p. 238 illus., 208 illus. in color. 235)  Paperback,  言語:ENG

Herausgegeben:Sugimoto, Maki/ Di Iorio, Angelo/ Figueroa, Pablo/ Yamanishi, Ryosuke/ Matsumura, Kohei

  • ウェブストア価格 ¥22,957(本体¥20,870)
  • SPRINGER, BERLIN; SPRINGER(2025/09発売)
  • ポイント 416pt
  • 海外からお取り寄せ(通常6~9週間)
Learning Technology for Education Challenges : 13th International Workshop, LTEC 2025, Kota Kinabalu, Malaysia, August 4-7, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Learning Technology for Education Challenges : 13th International Workshop, LTEC 2025, Kota Kinabalu, Malaysia, August 4-7, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Uden, Lorna (EDT)/ Liberona, Dario (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 398pt
  • 海外取次在庫
Modelling and Simulation for Autonomous Systems : 11th International Conference, MESAS 2024, Chania, Crete, Greece, October 1-3, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Modelling and Simulation for Autonomous Systems : 11th International Conference, MESAS 2024, Chania, Crete, Greece, October 1-3, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mazal, Jan (EDT)/ Fagiolini, Adriano (EDT)/ Vašík, Petr (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 558pt
  • 海外取次在庫
Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)  Paperback

Ardimento, Pasquale (EDT)/ Di Fuccio, Raffaele (EDT)/ Fulantelli, Giovanni (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 398pt
  • 海外取次在庫
Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)  Paperback

Ardimento, Pasquale (EDT)/ Di Fuccio, Raffaele (EDT)/ Fulantelli, Giovanni (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 558pt
  • 海外取次在庫
Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers (Lecture Notes in Business Information Processing) (2025)
  • 洋書
  • ポイントキャンペーン

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers (Lecture Notes in Business Information Processing) (2025)  Paperback

Marchesi, Lodovica (EDT)/ Goldman, Alfredo (EDT)/ Lunesu, Maria Ilaria (EDT)

  • ウェブストア価格 ¥9,791(本体¥8,901)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 178pt
  • 海外からお取り寄せ(通常6~9週間)
User Experience + Artificial Intelligence : Assessing the Qualities of AI-infused Systems (Springerbriefs in Applied Sciences and Technology) (2025)
  • 洋書
  • ポイントキャンペーン

User Experience + Artificial Intelligence : Assessing the Qualities of AI-infused Systems (Springerbriefs in Applied Sciences and Technology) (2025)  Paperback

Spallazzo, Davide/ Sciannamè, Martina/ Ceconello, Mauro

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 218pt
  • 海外取次在庫
Computational and Strategic Business Modelling : IC-BIM 2021, Athens, Greece (Springer Proceedings in Business and Economics)
  • 洋書
  • ポイントキャンペーン

Computational and Strategic Business Modelling : IC-BIM 2021, Athens, Greece (Springer Proceedings in Business and Economics)  Paperback,  言語:ENG

Sakas, Damianos P. (EDT)/ Nasiopoulos, Dimitrios K. (EDT)/ Taratuhina, Yulia (EDT)

  • ウェブストア価格 ¥55,964(本体¥50,877)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 1,016pt
  • 海外からお取り寄せ(通常6~9週間)
Research and Innovation Forum 2023 : Navigating Shocks and Crises in Uncertain Times—Technology, Business, Society (Springer Proceedings in Complexity)
  • 洋書
  • ポイントキャンペーン

Research and Innovation Forum 2023 : Navigating Shocks and Crises in Uncertain Times—Technology, Business, Society (Springer Proceedings in Complexity)  Paperback,  言語:ENG

Visvizi, Anna (EDT)/ Troisi, Orlando (EDT)/ Corvello, Vincenzo (EDT)

  • ウェブストア価格 ¥41,972(本体¥38,157)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 762pt
  • 海外からお取り寄せ(通常6~9週間)