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,417(本体¥9,470)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 94pt
  • 海外取次在庫
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)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
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/07発売)
  • ご注文いただけません
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,280(本体¥2,982)
  • Springer(2025/07発売)
  • ポイント 29pt
  • 海外取次在庫
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  Paperback,  言語:GER

Knödel, Heiko/ Seipel, Dietmar

  • Springer(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,375(本体¥6,705)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2025/09発売)
  • ポイント 67pt
  • ご予約受付中。出版後の入荷・発送
Blockchain-Technologie für Controlling-Informationen : Auswirkungen der Verwendung am Beispiel von Verrechnungspreisen (2025. 245 S. Etwa 245 S. 210 mm)
  • 洋書
  • 予約

Blockchain-Technologie für Controlling-Informationen : Auswirkungen der Verwendung am Beispiel von Verrechnungspreisen (2025. 245 S. Etwa 245 S. 210 mm)  Paperback

Strathmann, Timo

  • ウェブストア価格 ¥20,903(本体¥19,003)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2025/10発売)
  • ポイント 190pt
  • ご予約受付中。出版後の入荷・発送
Akustische Interfaces : Interdisziplinäre Perspektiven auf Schnittstellen von Technologien, Sounds und Menschen (ars digitalis) (2025. xix, 353 S. XIX, 353 S. 44 Abb., 27 Abb. in Farbe. 240 mm)
  • 洋書
  • 予約

Akustische Interfaces : Interdisziplinäre Perspektiven auf Schnittstellen von Technologien, Sounds und Menschen (ars digitalis) (2025. xix, 353 S. XIX, 353 S. 44 Abb., 27 Abb. in Farbe. 240 mm)  Paperback,  言語:GER

Herausgegeben:Borbach, Christoph/ Kaerlein, Timo/ Stock, Robert/ Wirth, Sabine

  • ウェブストア価格 ¥12,294(本体¥11,177)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2025/09発売)
  • ポイント 111pt
  • ご予約受付中。出版後の入荷・発送
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,787(本体¥14,352)
  • SPRINGER, BERLIN; APRESS(2025/10発売)
  • ポイント 143pt
  • ご予約受付中。出版後の入荷・発送
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,471(本体¥13,156)
  • SPRINGER, BERLIN; APRESS(2025/10発売)
  • ポイント 131pt
  • ご予約受付中。出版後の入荷・発送
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

  • ウェブストア価格 ¥9,997(本体¥9,089)
  • SPRINGER, BERLIN; APRESS(2025/10発売)
  • ポイント 90pt
  • ご予約受付中。出版後の入荷・発送
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,422(本体¥32,202)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 322pt
  • 海外取次在庫
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,422(本体¥32,202)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 322pt
  • 海外取次在庫
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)
  • 洋書
  • 予約

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)  Paperback,  言語:ENG

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

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
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,746(本体¥22,497)
  • Springer Vieweg(2025/04発売)
  • ポイント 224pt
  • 海外からお取り寄せ(通常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,332(本体¥7,575)
  • Springer Vieweg(2025/01発売)
  • ポイント 75pt
  • 海外取次在庫