ソフトウエア工学のための形式的手法(テキスト)<br>Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

ソフトウエア工学のための形式的手法(テキスト)
Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)
 Hardcover,  言語:ENG

Roggenbach, Markus/ Cerone, Antonio/ Schlingloff, Bernd-Holger

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 162pt
  • 海外取次在庫
Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback

Roggenbach, Markus/ Cerone, Antonio/ Schlingloff, Bernd-Holger

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 114pt
  • 海外取次在庫
ICT Innovations 2021. Digital Transformation : 13th International Conference, ICT Innovations 2021, Virtual Event, September 27-28, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

ICT Innovations 2021. Digital Transformation : 13th International Conference, ICT Innovations 2021, Virtual Event, September 27-28, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Antovski, Ljupcho (EDT)/ Armenski, Goce (EDT)

  • ウェブストア価格 ¥18,049(本体¥16,409)
  • Springer International Publishing AG(2022/04発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Information Management and Big Data : 5th International Conference, SIMBig 2018, Lima, Peru, September 3-5, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Information Management and Big Data : 5th International Conference, SIMBig 2018, Lima, Peru, September 3-5, 2018, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Lossio-Ventura, Juan Antonio (EDT)/ Muñante, Denisse (EDT)/ Alatrista-Salas, Hugo (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
HCI International 2021 - Posters : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書

HCI International 2021 - Posters : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II (Communications in Computer and Information Science)  Paperback

Stephanidis, Constantine (EDT)/ Antona, Margherita (EDT)/ Ntoa, Stavroula (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
HCI International 2021 - Late Breaking Posters : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

HCI International 2021 - Late Breaking Posters : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Stephanidis, Constantine (EDT)/ Antona, Margherita (EDT)/ Ntoa, Stavroula (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Code-Based Cryptography : 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Code-Based Cryptography : 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Wachter-Zeh, Antonia (EDT)/ Bartz, Hannes (EDT)/ Liva, Gianluigi (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 114pt
  • 海外取次在庫
Artificial Neural Networks and Machine Learning - ICANN 2022 : 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Artificial Neural Networks and Machine Learning - ICANN 2022 : 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pimenidis, Elias (EDT)/ Angelov, Plamen (EDT)/ Jayne, Chrisina (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外取次在庫
Artificial Neural Networks and Machine Learning - ICANN 2022 : 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Artificial Neural Networks and Machine Learning - ICANN 2022 : 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pimenidis, Elias (EDT)/ Angelov, Plamen (EDT)/ Jayne, Chrisina (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外取次在庫
Artificial Neural Networks and Machine Learning - ICANN 2022 : 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings; Part IV (Lecture Notes in Computer Science)
  • 洋書

Artificial Neural Networks and Machine Learning - ICANN 2022 : 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings; Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pimenidis, Elias (EDT)/ Angelov, Plamen (EDT)/ Jayne, Chrisina (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外取次在庫
Ophthalmic Medical Image Analysis : 9th International Workshop, OMIA 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Ophthalmic Medical Image Analysis : 9th International Workshop, OMIA 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Antony, Bhavna (EDT)/ Fu, Huazhu (EDT)/ Lee, Cecilia S. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外取次在庫
Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage : Second International Conference, TMM_CH 2021, Athens, Greece, December 13-15, 2021, Revised Selected Papers (Communications in Computer and Informati
  • 洋書

Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage : Second International Conference, TMM_CH 2021, Athens, Greece, December 13-15, 2021, Revised Selected Papers (Communications in Computer and Informati  Paperback

Moropoulou, Antonia (EDT)/ Georgopoulos, Andreas (EDT)/ Doulamis, Anastasios (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 162pt
  • 海外取次在庫
Interoperability, Safety and Security in IoT : Third International Conference, InterIoT 2017, and Fourth International Conference, SaSeIot 2017, Valencia, Spain, November 6-7, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, S (2018)
  • 洋書
  • 電子版あり

Interoperability, Safety and Security in IoT : Third International Conference, InterIoT 2017, and Fourth International Conference, SaSeIot 2017, Valencia, Spain, November 6-7, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, S (2018)  Paperback,  言語:ENG

Fortino, Giancarlo (EDT)/ Palau, Carlos E. (EDT)/ Guerrieri, Antonio (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 85pt
  • 海外取次在庫
Microservices : Science and Engineering
  • 洋書

Microservices : Science and Engineering  Paperback

Bucchiarone, Antonio (EDT)/ Dragoni, Nicola (EDT)/ Dustdar, Schahram (EDT)

  • ウェブストア価格 ¥35,454(本体¥32,231)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 322pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
AI時代のマシン倫理学<br>Machine Ethics : From Machine Morals to the Machinery of Morality (Studies in Applied Philosophy, Epistemology and Rational Ethics)
  • 洋書
  • 電子版あり

AI時代のマシン倫理学
Machine Ethics : From Machine Morals to the Machinery of Morality (Studies in Applied Philosophy, Epistemology and Rational Ethics)
 Hardcover,  言語:ENG

Pereira, Luís Moniz/ Lopes, António Barata

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 324pt
  • 海外取次在庫
Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies : 16th International Conference, UAHCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings
  • 洋書

Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies : 16th International Conference, UAHCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings  Paperback

Antona, Margherita (EDT)/ Stephanidis, Constantine (EDT)

  • ウェブストア価格 ¥30,549(本体¥27,772)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 277pt
  • 海外からお取り寄せ(通常6~9週間)
Innovation Practices for Digital Transformation in the Global South : IFIP WG 13.8, 9.4, Invited Selection (Ifip Advances in Information and Communication Technology)
  • 洋書

Innovation Practices for Digital Transformation in the Global South : IFIP WG 13.8, 9.4, Invited Selection (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Abdelnour-Nocera, José (EDT)/ Makori, Elisha Ondieki (EDT)/ Robles-Flores, Jose Antonio (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 190pt
  • 海外取次在庫
Innovation Practices for Digital Transformation in the Global South : IFIP WG 13.8, 9.4, Invited Selection (Ifip Advances in Information and Communication Technology)
  • 洋書

Innovation Practices for Digital Transformation in the Global South : IFIP WG 13.8, 9.4, Invited Selection (Ifip Advances in Information and Communication Technology)  Paperback

Abdelnour-Nocera, José (EDT)/ Makori, Elisha Ondieki (EDT)/ Robles-Flores, Jose Antonio (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 190pt
  • 海外取次在庫
Quality of Information and Communications Technology : 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書

Quality of Information and Communications Technology : 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings (Communications in Computer and Information Science)  Paperback

Vallecillo, Antonio (EDT)/ Visser, Joost (EDT)/ Pérez-Castillo, Ricardo (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 171pt
  • 海外取次在庫
Reference Architectures for Critical Domains : Industrial Uses and Impacts
  • 洋書

Reference Architectures for Critical Domains : Industrial Uses and Impacts  Hardcover

Nakagawa, Elisa Yumi (EDT)/ Oliveira Antonino, Pablo (EDT)

  • ウェブストア価格 ¥25,172(本体¥22,884)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 228pt
  • 海外取次在庫