Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 95pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 95pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kozen, Dexter (EDT)/ de Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer International Publishing AG(2025/09発売)
  • ポイント 143pt
  • 海外取次在庫
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,  言語:ENG

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

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Proença, José (EDT)/ Fervari, Raul (EDT)/ Martins, Manuel A. (EDT)

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
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,  言語:ENG

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

  • Springer International Publishing AG(2025/08発売)
  • ご注文いただけません
Advanced Computing Techniques in Engineering and Technology : Second International Conference, ACTET 2025, Jaipur, India, February 12-13, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 予約

Advanced Computing Techniques in Engineering and Technology : Second International Conference, ACTET 2025, Jaipur, India, February 12-13, 2025, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Bansal, Ramesh C. (EDT)/ Devedzic, Vladan (EDT)/ Nayak, Richi (EDT)

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
Performance Evaluation and Benchmarking : 16th TPC Technology Conference, TPCTC 2024, Guangzhou, China, August 30, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Performance Evaluation and Benchmarking : 16th TPC Technology Conference, TPCTC 2024, Guangzhou, China, August 30, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nambiar, Raghunath (EDT)/ Poess, Meikel (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2025/09発売)
  • ポイント 104pt
  • 海外取次在庫
Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommun
  • 洋書

Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommun  Paperback,  言語:ENG

N. Ngatched, Telex M. (EDT)/ Woungang, Isaac (EDT)/ Tapamo, Jules-Raymond (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 152pt
  • 海外取次在庫
Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommuni
  • 洋書

Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommuni  Paperback,  言語:ENG

N. Ngatched, Telex M. (EDT)/ Woungang, Isaac (EDT)/ Tapamo, Jules-Raymond (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 190pt
  • 海外取次在庫
Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)
  • 洋書

Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kakarla, Jagadeesh (EDT)/ Balasubramanian, R. (EDT)/ Murala, Subrahmanyam (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)
  • 洋書

Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kakarla, Jagadeesh (EDT)/ Balasubramanian, R. (EDT)/ Murala, Subrahmanyam (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 324pt
  • 海外取次在庫
Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part IV (Communications in Computer and Information Science)
  • 洋書

Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part IV (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kakarla, Jagadeesh (EDT)/ Balasubramanian, R. (EDT)/ Murala, Subrahmanyam (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 324pt
  • 海外取次在庫
Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part V (Communications in Computer and Information Science 2477) (2025. xxiv, 478 S. XXIV, 478 p. 181 illus., 164 illus. in color. 235 m)
  • 洋書

Computer Vision and Image Processing : 9th International Conference, CVIP 2024, Chennai, India, December 19-21, 2024, Revised Selected Papers, Part V (Communications in Computer and Information Science 2477) (2025. xxiv, 478 S. XXIV, 478 p. 181 illus., 164 illus. in color. 235 m)  Paperback

Herausgegeben:Kakarla, Jagadeesh/ Balasubramanian, R./ Murala, Subrahmanyam/ Vipparthi, Santosh Kumar/ Gupta, Deep

  • ウェブストア価格 ¥23,820(本体¥21,655)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/06発売)
  • ポイント 216pt
  • 海外取次在庫
Flexible Mobilitat im Individualverkehr -- Paperback (German Language Edition)
  • 洋書

Flexible Mobilitat im Individualverkehr -- Paperback (German Language Edition)  Paperback

Sandrock, Michael/ Raddatz, Elke

  • Springer Fachmedien Wiesbaden(2025/06発売)
  • ご注文いただけません
KI im Mittelstand: Chancen, Optimierungen und Neugeschäft
  • 洋書

KI im Mittelstand: Chancen, Optimierungen und Neugeschäft

Renner, Dominik/ Reicher, Daniel/ Vancea, Christian

  • ウェブストア価格 ¥8,388(本体¥7,626)
  • Springer Vieweg(2025/01発売)
  • ポイント 76pt
  • 海外からお取り寄せ(通常6~9週間)
Programmieren mit JavaScript : Die vielseitige Sprache für Webentwicklung & mehr - Grundlagen und fortgeschrittene Techniken (2024)
  • 洋書

Programmieren mit JavaScript : Die vielseitige Sprache für Webentwicklung & mehr - Grundlagen und fortgeschrittene Techniken (2024)  Paperback

Steyer, Ralph

  • Springer Vieweg(2024/12発売)
  • ご注文いただけません
Introduction to Biometrics (2. Aufl. 2025. xviii, 405 S. VIII, 434 p. 239 illus., 227 illus. in co)
  • 洋書

Introduction to Biometrics (2. Aufl. 2025. xviii, 405 S. VIII, 434 p. 239 illus., 227 illus. in co)  Paperback,  言語:ENG

Jain, Anil K./Ross, Arun A./Nandakumar, Karthik

  • ウェブストア価格 ¥14,556(本体¥13,233)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2025発売)
  • ポイント 132pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Aided Systems Theory - EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25-March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science 15172) (2025. x, 440 S. X, 440 p. 235 mm)
  • 洋書

Computer Aided Systems Theory - EUROCAST 2024 : 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25-March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science 15172) (2025. x, 440 S. X, 440 p. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Quesada Arencibia, Alexis/ FH OOe Forschungs- und/ Moreno - DÍ/az, Roberto

  • ウェブストア価格 ¥19,585(本体¥17,805)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 178pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Vision - ECCV 2024 : 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIV (Lecture Notes in Computer Science) (2024)
  • 洋書

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

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

  • ウェブストア価格 ¥18,049(本体¥16,409)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)