Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 161pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 161pt
  • 海外取次在庫
SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Fernau, Henning (EDT)/ Gaspers, Serge (EDT)/ Klasing, Ralf (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 170pt
  • 海外取次在庫
Smart Cities : 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers (Communications in Computer and Information Science 1938) (1st ed. 2024. 2024. xvii, 292 S. XVII, 292 p. 133 illus., 118 illus. i)
  • 洋書

Smart Cities : 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers (Communications in Computer and Information Science 1938) (1st ed. 2024. 2024. xvii, 292 S. XVII, 292 p. 133 illus., 118 illus. i)  Paperback

Herausgegeben:Nesmachnow, Sergio/ Herná/ndez Callejo, Luis

  • ウェブストア価格 ¥19,849(本体¥18,045)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 180pt
  • 海外取次在庫
Computing, Internet of Things and Data Analytics : Selected papers from the International Conference on Computing, IoT and Data Analytics (ICCIDA) (Studies in Computational Intelligence) (2024)
  • 洋書

Computing, Internet of Things and Data Analytics : Selected papers from the International Conference on Computing, IoT and Data Analytics (ICCIDA) (Studies in Computational Intelligence) (2024)  Hardcover

García Márquez, Fausto Pedro (EDT)/ Jamil, Akhtar (EDT)/ Ramirez, Isaac Segovia (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 322pt
  • 海外取次在庫
Explainable Artificial Intelligence and Process Mining Applications for Healthcare : Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings (Communications in Com
  • 洋書

Explainable Artificial Intelligence and Process Mining Applications for Healthcare : Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings (Communications in Com  Paperback

Juarez, Jose M. (EDT)/ Fernandez-Llatas, Carlos (EDT)/ Bielza, Concha (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 132pt
  • 海外取次在庫
Chatbot Research and Design : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Chatbot Research and Design : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Følstad, Asbjørn (EDT)/ Araujo, Theo (EDT)/ Papadopoulos, Symeon (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 132pt
  • 海外取次在庫
Emerging Trends and Applications in Artificial Intelligence : Selected papers from the International Conference on Emerging Trends and Applications in Artificial Intelligence (ICETAI) (Lecture Notes in Networks and Systems)
  • 洋書

Emerging Trends and Applications in Artificial Intelligence : Selected papers from the International Conference on Emerging Trends and Applications in Artificial Intelligence (ICETAI) (Lecture Notes in Networks and Systems)  Hardcover

García Márquez, Fausto Pedro (EDT)/ Jamil, Akhtar (EDT)/ Hameed, Alaa Ali (EDT)

  • ウェブストア価格 ¥52,093(本体¥47,358)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 473pt
  • 海外取次在庫
Advancements in Smart Computing and Information Security : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part I (Communications in Computer and Information Science)
  • 洋書

Advancements in Smart Computing and Information Security : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part I (Communications in Computer and Information Science)  Paperback

Rajagopal, Sridaran (EDT)/ Popat, Kalpesh (EDT)/ Meva, Divyakant (EDT)

  • ウェブストア価格 ¥58,345(本体¥53,041)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 530pt
  • 海外取次在庫
Advancements in Smart Computing and Information Security : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part II (Communications in Computer and Information Science)
  • 洋書

Advancements in Smart Computing and Information Security : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Rajagopal, Sridaran (EDT)/ Popat, Kalpesh (EDT)/ Meva, Divyakant (EDT)

  • ウェブストア価格 ¥33,338(本体¥30,308)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 303pt
  • 海外取次在庫
Information Security Theory and Practice : 14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 - March 1, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Information Security Theory and Practice : 14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 - March 1, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bouzefrane, Samia (EDT)/ Sauveron, Damien (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 113pt
  • 海外取次在庫
Metaheuristics : 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Metaheuristics : 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sevaux, Marc (EDT)/ Olteanu, Alexandru-Liviu (EDT)/ Pardo, Eduardo G. (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 161pt
  • 海外取次在庫
Critical Infrastructure Protection : Advances in Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense (Lecture Notes in Computer Science Vol.7130) (2012. XIV, 357 p. 235 mm)
  • 洋書

Critical Infrastructure Protection : Advances in Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense (Lecture Notes in Computer Science Vol.7130) (2012. XIV, 357 p. 235 mm)  Paperback

Herausgegeben von Lopez, Javier/ Setola, Roberto/ Wolthusen, Stephen

  • ウェブストア価格 ¥22,497(本体¥20,452)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 204pt
  • 海外取次在庫
Digitalisierung in Unternehmen, m. 1 Buch, m. 1 E-Book : Von den theoretischen Ansätzen zur praktischen Umsetzung. E-Book inside (Angewandte Wirtschaftsinformatik) (2018. xx, 305 S. XX, 305 S. 91 Abb. Book + eBook. 240 mm)
  • 洋書

Digitalisierung in Unternehmen, m. 1 Buch, m. 1 E-Book : Von den theoretischen Ansätzen zur praktischen Umsetzung. E-Book inside (Angewandte Wirtschaftsinformatik) (2018. xx, 305 S. XX, 305 S. 91 Abb. Book + eBook. 240 mm)  言語:GER

Herausgegeben:Barton, Thomas/ Mueller, Christian/ Seel, Christian

  • ウェブストア価格 ¥17,314(本体¥15,740)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2018発売)
  • ポイント 157pt
  • 海外からお取り寄せ(通常6~9週間)
Konfliktmanagement für Sicherheitsprofis : Auswege aus der „Buhmann-Falle' für Informations- und IT-Sicherheitsbeauftragte, Datenschützer, CISOs und Co. (Edition) (3RD)
  • 洋書

Konfliktmanagement für Sicherheitsprofis : Auswege aus der „Buhmann-Falle' für Informations- und IT-Sicherheitsbeauftragte, Datenschützer, CISOs und Co. (Edition) (3RD)  Paperback,  言語:GER

Klipper, Sebastian

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Vieweg(2020/11発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常6~9週間)
Kalman-Filter : Einführung in die Zustandsschätzung und ihre Anwendung für eingebettete Systeme (2ND)
  • 洋書

Kalman-Filter : Einführung in die Zustandsschätzung und ihre Anwendung für eingebettete Systeme (2ND)  Paperback,  言語:GER

Marchthaler, Reiner/ Dingler, Sebastian

  • ウェブストア価格 ¥8,332(本体¥7,575)
  • Springer Vieweg(2024/04発売)
  • ポイント 75pt
  • 海外取次在庫
The Semantic Web - ISWC 2020 : 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

The Semantic Web - ISWC 2020 : 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Pan, Jeff Z. (EDT)/ Tamma, Valentina (EDT)/ d'Amato, Claudia (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 227pt
  • 海外からお取り寄せ(通常6~9週間)
Evolving OpenMP for Evolving Architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Evolving OpenMP for Evolving Architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings (Programming and Software Engineering)  Paperback

de Supinski, Bronis R. (EDT)/ Valero-Lara, Pedro (EDT)/ Martorell, Xavier (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Cortier, Véronique (EDT)

  • Springer Nature Switzerland AG(2018/09発売)
  • ご注文いただけません
Algorithms for Sensor Systems : 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers (Computer Communication Networks and Telecommuni
  • 洋書
  • 電子版あり

Algorithms for Sensor Systems : 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers (Computer Communication Networks and Telecommuni  Paperback

Gilbert, Seth (EDT)/ Hughes, Danny (EDT)/ Krishnamachari, Bhaskar (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。