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

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (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 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
  • 海外取次在庫
Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 予約

Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Barrett, Clark (EDT)/ Waldmann, Uwe (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2025/09発売)
  • ポイント 95pt
  • ご予約受付中。出版後の入荷・発送
Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation - Kooperation - Konkurrenz (5TH)
  • 洋書

Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation - Kooperation - Konkurrenz (5TH)  Paperback,  言語:GER

Maurer, Christian

  • Springer Vieweg(2025/08発売)
  • ご注文いただけません
Einmal queer gespielt : Über die Rolle der Repräsentation von LGBTQIA+-Identitäten im Videospiel (Über/strom: Wegweiser durchs digitale Zeitalter)
  • 洋書

Einmal queer gespielt : Über die Rolle der Repräsentation von LGBTQIA+-Identitäten im Videospiel (Über/strom: Wegweiser durchs digitale Zeitalter)  Paperback,  言語:GER

Heller, Sascha

  • ウェブストア価格 ¥3,302(本体¥3,002)
  • Springer(2025/07発売)
  • ポイント 30pt
  • 海外取次在庫
KI und Bots im Alltag : Künstliche Intelligenz verstehen und für Business, Home & Schule nutzen
  • 洋書

KI und Bots im Alltag : Künstliche Intelligenz verstehen und für Business, Home & Schule nutzen

Knoedel, Heiko/Seipel, Dietmar

  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2025/08発売)
  • ご注文いただけません
Fliegen lernen : Flugsimulation mit Microsoft Flight Simulator, X-Plane, AeroflyFS und FlightGear (2. Aufl. 2025. xviii, 597 S. XVIII, 597 S. 345 Abb., 297 Abb. in Farbe)
  • 洋書
  • 予約

Fliegen lernen : Flugsimulation mit Microsoft Flight Simulator, X-Plane, AeroflyFS und FlightGear (2. Aufl. 2025. xviii, 597 S. XVIII, 597 S. 345 Abb., 297 Abb. in Farbe)  Paperback,  言語:GER

Donick, Mario

  • ウェブストア価格 ¥7,418(本体¥6,744)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2025/09発売)
  • ポイント 67pt
  • ご予約受付中。出版後の入荷・発送
Generative AI-Driven Application Development with Java : Leveraging Large Language Models in Modern Java Applications (First Edition. 2025. 300 S. Approx. 300 p. 30 illus. 254 mm)
  • 洋書
  • 予約

Generative AI-Driven Application Development with Java : Leveraging Large Language Models in Modern Java Applications (First Edition. 2025. 300 S. Approx. 300 p. 30 illus. 254 mm)  Paperback,  言語:ENG

Sahu, Satej Kumar

  • ウェブストア価格 ¥15,879(本体¥14,436)
  • SPRINGER, BERLIN; APRESS(2025/10発売)
  • ポイント 144pt
  • ご予約受付中。出版後の入荷・発送
Attack Vectors : The History of Cybersecurity (First Edition. 2025. 250 S. Approx. 250 p. 235 mm)
  • 洋書
  • 予約

Attack Vectors : The History of Cybersecurity (First Edition. 2025. 250 S. Approx. 250 p. 235 mm)  Paperback

Haber, Morey

  • ウェブストア価格 ¥14,556(本体¥13,233)
  • SPRINGER, BERLIN; APRESS(2025/10発売)
  • ポイント 132pt
  • ご予約受付中。出版後の入荷・発送
Cybersecurity Audit Essentials : Tools, Techniques, and Best Practices (First Edition. 2026. 500 S. Approx. 500 p. 254 mm)
  • 洋書
  • 予約

Cybersecurity Audit Essentials : Tools, Techniques, and Best Practices (First Edition. 2026. 500 S. Approx. 500 p. 254 mm)  Paperback

Salihu, Armend

  • ウェブストア価格 ¥10,056(本体¥9,142)
  • SPRINGER, BERLIN; APRESS(2025/10発売)
  • ポイント 91pt
  • ご予約受付中。出版後の入荷・発送
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)
  • 洋書

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)

Herausgegeben:Kakarla, Jagadeesh/Balasubramanian, R./Murala, Subrahmanyam

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/06発売)
  • ご注文いただけません
Designing ICT around Food Practices in the Digital Age : Informing and Filtering the Design Space of Food Practices to Support Diverse Instances of Eating Practices
  • 洋書

Designing ICT around Food Practices in the Digital Age : Informing and Filtering the Design Space of Food Practices to Support Diverse Instances of Eating Practices  Paperback,  言語:ENG

Weber, Philip

  • ウェブストア価格 ¥24,994(本体¥22,722)
  • Springer Vieweg(2025/04発売)
  • ポイント 227pt
  • 海外からお取り寄せ(通常6~9週間)
Innovation und Kooperation auf dem Weg zur All Electric Society : Nachhaltige Entwicklungen durch gesellschaftliche Akzeptanz
  • 洋書

Innovation und Kooperation auf dem Weg zur All Electric Society : Nachhaltige Entwicklungen durch gesellschaftliche Akzeptanz  Paperback,  言語:GER

Leonhardt, Sven (EDT)/ Neumann, Tim (EDT)/ Kretz, Daniel (EDT)

  • Springer Gabler(2025/05発売)
  • ご注文いただけません
Metaversum : Die Verschmelzung von Realität und Virtualität im Next Generation Internet (2ND)
  • 洋書

Metaversum : Die Verschmelzung von Realität und Virtualität im Next Generation Internet (2ND)  Paperback

Hoffmann, Peter

  • Springer Vieweg(2025/06発売)
  • ご注文いただけません
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発売)
  • ご注文いただけません
Social Engineering und Human Hacking : Strategien zur Prävention und Abwehr von Manipulationstechniken in der IT (2024)
  • 洋書

Social Engineering und Human Hacking : Strategien zur Prävention und Abwehr von Manipulationstechniken in der IT (2024)  Paperback

Koza, Erfan/ Öztürk, Asiye/ Willer, Michael

  • ウェブストア価格 ¥8,388(本体¥7,626)
  • Springer Vieweg(2025/01発売)
  • ポイント 76pt
  • 海外取次在庫