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

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

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 102pt
  • 海外取次在庫
Datenbanken und SQL : Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL (6TH)
  • 洋書

Datenbanken und SQL : Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL (6TH)  Paperback,  言語:GER

Schicker, Edwin

  • ウェブストア価格 ¥10,781(本体¥9,801)
  • Springer Vieweg(2025/07発売)
  • ポイント 98pt
  • 海外からお取り寄せ(通常6~9週間)
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

Knödel, Heiko/ Seipel, Dietmar

  • Springer(2025/08発売)
  • ご注文いただけません
Non-prioritized Belief Change (Artificial Intelligence: Foundations, Theory, and Algorithms)
  • 洋書

Non-prioritized Belief Change (Artificial Intelligence: Foundations, Theory, and Algorithms)  Hardcover,  言語:ENG

Fermé, Eduardo/ Garapa, Marco/ Reis, Maurício D. L.

  • ウェブストア価格 ¥41,384(本体¥37,622)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 376pt
  • 海外からお取り寄せ(通常6~9週間)
Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part IV (Lecture Notes of the Institute for Computer Sciences, Social Informatics and
  • 洋書
  • 電子版あり

Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part IV (Lecture Notes of the Institute for Computer Sciences, Social Informatics and  Paperback

Alrabaee, Saed (EDT)/ Choo, Kim-Kwang Raymond (EDT)/ Damiani, Ernesto (EDT)

  • ウェブストア価格 ¥19,145(本体¥17,405)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 174pt
  • 海外取次在庫
Social Impact of AI: Research, Diversity and Inclusion Frameworks : International Workshop, SIAI 2025, Philadelphia, PA, USA, March 1, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Social Impact of AI: Research, Diversity and Inclusion Frameworks : International Workshop, SIAI 2025, Philadelphia, PA, USA, March 1, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Folajimi, Yetunde (EDT)/ Deligiannidis, Leonidas (EDT)/ Othman, Salem (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 204pt
  • 海外取次在庫
Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and T
  • 洋書
  • 電子版あり

Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and T  Paperback

Alrabaee, Saed (EDT)/ Choo, Kim-Kwang Raymond (EDT)/ Damiani, Ernesto (EDT)

  • ウェブストア価格 ¥22,700(本体¥20,637)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 206pt
  • 海外からお取り寄せ(通常6~9週間)
Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and
  • 洋書
  • 電子版あり

Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and  Paperback

Alrabaee, Saed (EDT)/ Choo, Kim-Kwang Raymond (EDT)/ Damiani, Ernesto (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 204pt
  • 海外取次在庫
Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part III (Lecture Notes of the Institute for Computer Sciences, Social Informatics and
  • 洋書
  • 電子版あり

Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part III (Lecture Notes of the Institute for Computer Sciences, Social Informatics and  Paperback

Alrabaee, Saed (EDT)/ Choo, Kim-Kwang Raymond (EDT)/ Damiani, Ernesto (EDT)

  • ウェブストア価格 ¥14,639(本体¥13,309)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 133pt
  • 海外取次在庫
Beyond Tech Fixes : Towards an AI Future Where Disability Justice Thrives
  • 洋書

Beyond Tech Fixes : Towards an AI Future Where Disability Justice Thrives  Hardcover

El Morr, Christo (EDT)/ El-Lahib, Yahya (EDT)/ da Silveria Gorma, Rachel (EDT)

  • Springer International Publishing AG(2025/10発売)
  • ご注文いただけません
The Semantic Web: ESWC 2025 Satellite Events : Portoroz, Slovenia, June 1-5, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

The Semantic Web: ESWC 2025 Satellite Events : Portoroz, Slovenia, June 1-5, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Curry, Edward (EDT)/ Presutti, Valentina (EDT)/ McCrae, John (EDT)

  • ウェブストア価格 ¥16,892(本体¥15,357)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 153pt
  • 海外取次在庫
Spatial Language Understanding : Representation, Reasoning, and Grounding (Synthesis Lectures on Human Language Technologies)
  • 洋書

Spatial Language Understanding : Representation, Reasoning, and Grounding (Synthesis Lectures on Human Language Technologies)  Hardcover,  言語:ENG

Kordjamshidi, Parisa/ Moens, Marie-Francine/ Pustejovsky, James

  • ウェブストア価格 ¥10,134(本体¥9,213)
  • Springer International Publishing AG(2025/11発売)
  • ポイント 92pt
  • 海外取次在庫
Trends in Functional Programming : 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Trends in Functional Programming : 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gibbons, Jeremy (EDT)

  • ウェブストア価格 ¥29,283(本体¥26,621)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 266pt
  • 海外取次在庫
Projekt Phoenix - Die Graphic Novel, Band 1 : Über IT, DevOps und neue Erfolgsstrategien für Ihre Firma
  • 洋書

Projekt Phoenix - Die Graphic Novel, Band 1 : Über IT, DevOps und neue Erfolgsstrategien für Ihre Firma  Paperback

Kim, Gene/ Lang, Jø/rgen W./ Collins, Mike

  • ウェブストア価格 ¥6,586(本体¥5,988)
  • dpunkt; O'Reilly(2025/08発売)
  • ポイント 59pt
  • 海外からお取り寄せ(通常6~9週間)
Language Models kompakt : Praxisorientierte Sprachmodellierung mit PyTorch
  • 洋書

Language Models kompakt : Praxisorientierte Sprachmodellierung mit PyTorch  Paperback

Burkov, Andriy/ Langenau, Frank

  • ウェブストア価格 ¥7,909(本体¥7,190)
  • dpunkt; O'Reilly(2025/08発売)
  • ポイント 71pt
  • 海外取次在庫
Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide (Information Security and Cryptography)
  • 洋書

Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide (Information Security and Cryptography)  Hardcover

Basin, David/ Cremers, Cas/ Dreier, Jannik

  • ウェブストア価格 ¥15,566(本体¥14,151)
  • Springer, Berlin; Springer(2025発売)
  • ポイント 141pt
  • 海外取次在庫
生命医学オントロジーの形式手法(第2版)<br>Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2. Aufl.)
  • 洋書
  • 電子版あり

生命医学オントロジーの形式手法(第2版)
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2. Aufl.)
 Hardcover

Zhang, Guo-Qiang/ Abeysinghe, Rashmie/ Cui, Licong

  • ウェブストア価格 ¥15,566(本体¥14,151)
  • Springer, Berlin; Springer(2025発売)
  • ポイント 141pt
  • 海外からお取り寄せ(通常6~9週間)
Autonomous Data Security : Creating a Proactive Enterprise Protection Plan (First Edition)
  • 洋書
  • 電子版あり

Autonomous Data Security : Creating a Proactive Enterprise Protection Plan (First Edition)  Paperback

Neelakrishnan, Priyanka

  • ウェブストア価格 ¥15,566(本体¥14,151)
  • Springer, Berlin; Apress(2024/11発売)
  • ポイント 141pt
  • 海外取次在庫
AI and the Law : A Practical Guide to Using Artificial Intelligence Safely (First Edition)
  • 洋書
  • 電子版あり

AI and the Law : A Practical Guide to Using Artificial Intelligence Safely (First Edition)  Paperback,  言語:ENG

Borovick, Harry

  • ウェブストア価格 ¥7,922(本体¥7,202)
  • Springer, Berlin; Apress(2024発売)
  • ポイント 72pt
  • 海外取次在庫
Cybersecurity Essentials : Practical Tools for Today's Digital Defenders (First Edition)
  • 洋書
  • 電子版あり

Cybersecurity Essentials : Practical Tools for Today's Digital Defenders (First Edition)  Paperback,  言語:ENG

Cochran, Kodi A.

  • ウェブストア価格 ¥15,566(本体¥14,151)
  • Springer, Berlin; Apress(2024発売)
  • ポイント 141pt
  • 海外からお取り寄せ(通常6~9週間)