ソフトウエア工学のための形式的手法(テキスト)<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

  • ウェブストア価格 ¥18,308(本体¥16,644)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 332pt
  • 海外取次在庫
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,922(本体¥11,748)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 234pt
  • 海外取次在庫
Advances in Speech and Language Technologies for Iberian Languages : Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Speech and Language Technologies for Iberian Languages : Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Abad, Alberto (EDT)/ Ortega, Alfonso (EDT)/ Teixeira, António (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,691(本体¥8,810)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 176pt
  • 海外取次在庫
Microservices : Science and Engineering
  • 洋書
  • ポイントキャンペーン

Microservices : Science and Engineering  Paperback

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

  • ウェブストア価格 ¥36,405(本体¥33,096)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 660pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
情報戦の新たな次元<br>New Dimensions of Information Warfare (Advances in Information Security)
  • 洋書
  • ポイントキャンペーン

情報戦の新たな次元
New Dimensions of Information Warfare (Advances in Information Security)
 Hardcover,  言語:ENG

Di Pietro, Roberto/ Raponi, Simone/ Caprolu, Maurantonio

  • ウェブストア価格 ¥38,773(本体¥35,249)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 704pt
  • 海外取次在庫
New Dimensions of Information Warfare (Advances in Information Security)
  • 洋書
  • ポイントキャンペーン

New Dimensions of Information Warfare (Advances in Information Security)  Paperback,  言語:ENG

Di Pietro, Roberto/ Raponi, Simone/ Caprolu, Maurantonio

  • ウェブストア価格 ¥38,773(本体¥35,249)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 704pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 390pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 390pt
  • 海外取次在庫
Technology and Innovation in Learning, Teaching and Education : Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31-September 2, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Technology and Innovation in Learning, Teaching and Education : Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31-September 2, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Reis, Arsénio (EDT)/ Barroso, João (EDT)/ Martins, Paulo (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 390pt
  • 海外取次在庫
Artificial Intelligence Applications and Innovations. Aiai 2023 Ifip Wg 12.5 International Workshops : Mhdw 2023, 5g-pine 2023, ??bmg 2023, and Vaa-cp (2023 ed.)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence Applications and Innovations. Aiai 2023 Ifip Wg 12.5 International Workshops : Mhdw 2023, 5g-pine 2023, ??bmg 2023, and Vaa-cp (2023 ed.)  Hardcover

Chochliouros, Ioannis

  • ウェブストア価格 ¥28,002(本体¥25,457)
  • Springer International Publishing Ag(2023/06発売)
  • ポイント 508pt
  • 海外取次在庫
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug
  • 洋書
  • ポイントキャンペーン

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug  Paperback

Huisman, Marieke (EDT)/ Ravara, António (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 312pt
  • 海外取次在庫
Digital Sovereignty in Cyber Security: New Challenges in Future Vision : First International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Digital Sovereignty in Cyber Security: New Challenges in Future Vision : First International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Skarmeta, Antonio (EDT)/ Canavese, Daniele (EDT)/ Lioy, Antonio (EDT)

  • ウェブストア価格 ¥15,076(本体¥13,706)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 274pt
  • 海外取次在庫
Human-Computer Interaction - INTERACT 2021 : 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Human-Computer Interaction - INTERACT 2021 : 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Ardito, Carmelo (EDT)/ Lanzilotti, Rosa (EDT)/ Malizia, Alessio (EDT)

  • ウェブストア価格 ¥25,847(本体¥23,498)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 468pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
General Aspects of Applying Generative AI in Higher Education : Opportunities and Challenges (2024)
  • 洋書
  • ポイントキャンペーン

General Aspects of Applying Generative AI in Higher Education : Opportunities and Challenges (2024)  Hardcover,  言語:ENG

Lahby, Mohamed (EDT)/ Maleh, Yassine (EDT)/ Bucchiarone, Antonio (EDT)

  • ウェブストア価格 ¥48,942(本体¥44,493)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 888pt
  • 海外からお取り寄せ(通常6~9週間)
Advanced Methods in Statistics, Data Science and Related Applications : SIS 2022, Caserta, Italy, June 22-24 (Springer Proceedings in Mathematics & Statistics) (2024)
  • 洋書
  • ポイントキャンペーン

Advanced Methods in Statistics, Data Science and Related Applications : SIS 2022, Caserta, Italy, June 22-24 (Springer Proceedings in Mathematics & Statistics) (2024)  Hardcover,  言語:ENG

Bini, Matilde (EDT)/ Balzanella, Antonio (EDT)/ Masserini, Lucio (EDT)

  • ウェブストア価格 ¥38,773(本体¥35,249)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 704pt
  • 海外取次在庫
Advances in Artificial Intelligence -- SBIA 2010 : 20th Brazilian Symposium on Artificial Intelligence, S (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6404) (2010. XV, 313 S.)
  • 洋書
  • ポイントキャンペーン

Advances in Artificial Intelligence -- SBIA 2010 : 20th Brazilian Symposium on Artificial Intelligence, S (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6404) (2010. XV, 313 S.)  Paperback

Herausgegeben von da Rocha Costa, Antonio Carlos/ Vicari, Rosa Maria/ Tonidandel, Flavio

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 248pt
  • 海外取次在庫
Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part I (Ifip Advances in Information and Communication Technology)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part I (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Maglogiannis, Ilias (EDT)/ Iliadis, Lazaros (EDT)/ Macintyre, John (EDT)

  • ウェブストア価格 ¥47,390(本体¥43,082)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 860pt
  • 海外取次在庫
Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II (Ifip Advances in Information and Communication Technology)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Maglogiannis, Ilias (EDT)/ Iliadis, Lazaros (EDT)/ Macintyre, John (EDT)

  • ウェブストア価格 ¥81,858(本体¥74,417)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 1,488pt
  • 海外取次在庫
Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part IV (Ifip Advances in Information and Communication Technology)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part IV (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Maglogiannis, Ilias (EDT)/ Iliadis, Lazaros (EDT)/ Macintyre, John (EDT)

  • ウェブストア価格 ¥81,858(本体¥74,417)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 1,488pt
  • 海外取次在庫