The Correctness-by-Construction Approach to Programming
  • 洋書

The Correctness-by-Construction Approach to Programming  Paperback,  言語:ENG

Kourie, Derrick G./ Watson, Bruce W.

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ポイント 206pt
  • 海外取次在庫
Network Computing and Information Security : Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012, Proceedings (Communications in Computer and Information Science .345) (2012. XX, 829 p. 235 mm)
  • 洋書
Internet of Vehicles - Safe and Intelligent Mobility : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Internet of Vehicles - Safe and Intelligent Mobility : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Hsu, Ching-Hsien (EDT)/ Feng, Xia (EDT)/ Liu, Xingang (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 103pt
  • 海外取次在庫
Beyond Interpretivism? New Encounters with Technology and Organization : IFIP WG 8.2 Working Conference on Information Systems and Organizations, IS&O 2016, Dublin, Ireland, December 9-10, 2016, Proceedings (Ifip Advances in Information and Communica
  • 洋書
  • 電子版あり

Beyond Interpretivism? New Encounters with Technology and Organization : IFIP WG 8.2 Working Conference on Information Systems and Organizations, IS&O 2016, Dublin, Ireland, December 9-10, 2016, Proceedings (Ifip Advances in Information and Communica  Hardcover

Introna, Lucas (EDT)/ Kavanagh, Donncha (EDT)/ Kelly, Séamas (EDT)

  • Springer International Publishing AG(2016/11発売)
  • ご注文いただけません
Computational Intelligence in Information Systems : Proceedings of the Fourth INNS Symposia Series on Computational Intelligence in Information Systems (INNS-CIIS 2014) (Advances in Intelligent Systems and Computing) (2015)
  • 洋書

Computational Intelligence in Information Systems : Proceedings of the Fourth INNS Symposia Series on Computational Intelligence in Information Systems (INNS-CIIS 2014) (Advances in Intelligent Systems and Computing) (2015)  Paperback

Phon-Amnuaisuk, Somnuk (EDT)/ Au, Thien Wan (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2014/11発売)
  • ポイント 206pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cognitive Computing - ICCC 2022 : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Cognitive Computing - ICCC 2022 : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Yang, Yujiu (EDT)/ Wang, Xiaohui (EDT)/ Zhang, Liang-Jie (EDT)

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 112pt
  • 海外取次在庫
IoT as a Service : 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2024)
  • 洋書

IoT as a Service : 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2024)  Paperback,  言語:ENG

Chen, Xiang (EDT)/ Wang, Xijun (EDT)/ Lin, Shangjing (EDT)

  • ウェブストア価格 ¥20,695(本体¥18,814)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 188pt
  • 海外取次在庫
Advanced Information Systems Engineering Workshops : CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Advanced Information Systems Engineering Workshops : CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Grabis, Jānis (EDT)/ Wautelet, Yves (EDT)

  • ウェブストア価格 ¥15,521(本体¥14,110)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 141pt
  • 海外取次在庫
Advances in Wireless Sensor Networks : The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)
  • 洋書
  • 電子版あり

Advances in Wireless Sensor Networks : The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)  Paperback

Sun, Limin (EDT)/ Ma, Huadong (EDT)/ Fang, Dingyi (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/06発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Applications and Techniques in Information Security : International Conference, ATIS 2014, Melbourne, Australia, November 26-28, 2014. Proceedings (Communications in Computer and Information Science) (2014)
  • 洋書

Applications and Techniques in Information Security : International Conference, ATIS 2014, Melbourne, Australia, November 26-28, 2014. Proceedings (Communications in Computer and Information Science) (2014)  Paperback

Batten, Lynn (EDT)/ Li, Gang (EDT)/ Niu, Wenjia (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 103pt
  • 海外取次在庫
Projektübergreifendes Applikationsmanagement - Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit : HMD Best Paper Award 2014 (essentials)
  • 洋書

Projektübergreifendes Applikationsmanagement - Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit : HMD Best Paper Award 2014 (essentials)

Von Gyoery, Andreas/Cleven, Anne/Seeser, Guenter

  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; VIEW(2016/02発売)
  • ご注文いただけません
Audio Watermark : A Comprehensive Foundation Using MATLAB
  • 洋書

Audio Watermark : A Comprehensive Foundation Using MATLAB  Paperback,  言語:ENG

Lin, Yiqing/ Abdulla, Waleed H.

  • Springer International Publishing AG(2017/04発売)
  • ご注文いただけません
Edge Computing and IoT: Systems, Management and Security : Second EAI International Conference, ICECI 2021, Virtual Event, December 22-23, 2021, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunicati
  • 洋書

Edge Computing and IoT: Systems, Management and Security : Second EAI International Conference, ICECI 2021, Virtual Event, December 22-23, 2021, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunicati  Paperback

Wu, Kaishun (EDT)/ Wang, Lu (EDT)/ Chen, Yanjiao (EDT)

  • ウェブストア価格 ¥15,272(本体¥13,884)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 138pt
  • 海外からお取り寄せ(通常6~9週間)
European Language Equality : A Strategic Agenda for Digital Language Equality (Cognitive Technologies)
  • 洋書

European Language Equality : A Strategic Agenda for Digital Language Equality (Cognitive Technologies)  Hardcover,  言語:ENG

Rehm, Georg (EDT)/ Way, Andy (EDT)

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 112pt
  • 海外取次在庫
European Language Equality : A Strategic Agenda for Digital Language Equality (Cognitive Technologies)
  • 洋書

European Language Equality : A Strategic Agenda for Digital Language Equality (Cognitive Technologies)  Paperback,  言語:ENG

Rehm, Georg (EDT)/ Way, Andy (EDT)

  • ウェブストア価格 ¥10,346(本体¥9,406)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 94pt
  • 海外取次在庫
Collaborative Computing: Networking, Applications and Worksharing : 18th EAI International Conference, CollaborateCom 2022, Hangzhou, China, October 15-16, 2022, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Infor
  • 洋書

Collaborative Computing: Networking, Applications and Worksharing : 18th EAI International Conference, CollaborateCom 2022, Hangzhou, China, October 15-16, 2022, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Infor  Paperback

Gao, Honghao (EDT)/ Wang, Xinheng (EDT)/ Wei, Wei (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 206pt
  • 海外取次在庫
Collaborative Computing: Networking, Applications and Worksharing : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Inf (2024)
  • 洋書

Collaborative Computing: Networking, Applications and Worksharing : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Inf (2024)  Paperback,  言語:ENG

Gao, Honghao (EDT)/ Wang, Xinheng (EDT)/ Voros, Nikolaos (EDT)

  • ウェブストア価格 ¥22,216(本体¥20,197)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 201pt
  • 海外からお取り寄せ(通常6~9週間)
Collaborative Computing: Networking, Applications and Worksharing : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social In (2024)
  • 洋書

Collaborative Computing: Networking, Applications and Worksharing : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social In (2024)  Paperback,  言語:ENG

Gao, Honghao (EDT)/ Wang, Xinheng (EDT)/ Voros, Nikolaos (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 206pt
  • 海外取次在庫
Collaborative Computing: Networking, Applications and Worksharing : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III (Lecture Notes of the Institute for Computer Sciences, Social I
  • 洋書

Collaborative Computing: Networking, Applications and Worksharing : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III (Lecture Notes of the Institute for Computer Sciences, Social I  Paperback,  言語:ENG

Gao, Honghao (EDT)/ Wang, Xinheng (EDT)/ Voros, Nikolaos (EDT)

  • ウェブストア価格 ¥20,695(本体¥18,814)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 188pt
  • 海外取次在庫
Shape in Medical Imaging : International Workshop, ShapeMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Shape in Medical Imaging : International Workshop, ShapeMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Reuter, Martin (EDT)/ Wachinger, Christian (EDT)/ Lombaert, Hervé (EDT)

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