Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 133pt
  • 海外取次在庫
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書

Information Processing and Management of Uncertainty in Knowledge-Based Systems : 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Ciucci, Davide (EDT)/ Couso, Inés (EDT)/ Medina, Jesús (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 209pt
  • 海外取次在庫
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part I (Ifip Advances in Informat (2021)
  • 洋書

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part I (Ifip Advances in Informat (2021)  Paperback,  言語:ENG

Dolgui, Alexandre (EDT)/ Bernard, Alain (EDT)/ Lemoine, David (EDT)

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer Nature Switzerland AG(2022/09発売)
  • ポイント 381pt
  • 海外取次在庫
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part III (Ifip Advances in Inform (2021)
  • 洋書

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part III (Ifip Advances in Inform (2021)  Paperback,  言語:ENG

Dolgui, Alexandre (EDT)/ Bernard, Alain (EDT)/ Lemoine, David (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer Nature Switzerland AG(2022/09発売)
  • ポイント 324pt
  • 海外取次在庫
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part IV (Ifip Advances in Informa (2021)
  • 洋書

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part IV (Ifip Advances in Informa (2021)  Paperback,  言語:ENG

Dolgui, Alexandre (EDT)/ Bernard, Alain (EDT)/ Lemoine, David (EDT)

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer Nature Switzerland AG(2022/09発売)
  • ポイント 343pt
  • 海外取次在庫
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part V (Ifip Advances in Informat (2021)
  • 洋書

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part V (Ifip Advances in Informat (2021)  Paperback,  言語:ENG

Dolgui, Alexandre (EDT)/ Bernard, Alain (EDT)/ Lemoine, David (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer Nature Switzerland AG(2022/09発売)
  • ポイント 324pt
  • 海外取次在庫
Formal Analysis by Abstract Interpretation : Case Studies in Modern Protocols (Springerbriefs in Applied Sciences and Technology)
  • 洋書

Formal Analysis by Abstract Interpretation : Case Studies in Modern Protocols (Springerbriefs in Applied Sciences and Technology)  Paperback,  言語:ENG

Aziz, Benjamin

  • ウェブストア価格 ¥13,633(本体¥12,394)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 123pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances of Science and Technology : 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27-29, 2021, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunicat
  • 洋書

Advances of Science and Technology : 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27-29, 2021, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunicat  Paperback

Berihun, Mulatu Liyew (EDT)

  • ウェブストア価格 ¥25,172(本体¥22,884)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 228pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances of Science and Technology : 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27-29, 2021, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunica
  • 洋書

Advances of Science and Technology : 9th EAI International Conference, ICAST 2021, Hybrid Event, Bahir Dar, Ethiopia, August 27-29, 2021, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunica  Paperback

Berihun, Mulatu Liyew (EDT)

  • ウェブストア価格 ¥25,172(本体¥22,884)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 228pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I (Communications in Computer and Information Science)  Paperback

Kamp, Michael (EDT)/ Koprinska, Irena (EDT)/ Bibal, Adrien (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 324pt
  • 海外取次在庫
Metaheuristics and Nature Inspired Computing : 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings (Communications in Computer and Information Science)
  • 洋書

Metaheuristics and Nature Inspired Computing : 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings (Communications in Computer and Information Science)  Paperback

Dorronsoro, Bernabé (EDT)/ Yalaoui, Farouk (EDT)/ Talbi, El-Ghazali (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 133pt
  • 海外取次在庫
Videogame Sciences and Arts : 12th International Conference, VJ 2020, Mirandela, Portugal, November 26-28, 2020, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Videogame Sciences and Arts : 12th International Conference, VJ 2020, Mirandela, Portugal, November 26-28, 2020, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Barbedo, Inês (EDT)/ Barroso, Bárbara (EDT)/ Legerén, Beatriz (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 133pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Systems and Design : Second International Conference, ICID 2021, Virtual Event, September 6-7, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Information Systems and Design : Second International Conference, ICID 2021, Virtual Event, September 6-7, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Taratukhin, Victor (EDT)/ Matveev, Mikhail (EDT)/ Becker, Jörg (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 171pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Driving Scientific and Engineering Discoveries through the Integration of Experiment, Big Data, and Modeling and Simulation : 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected
  • 洋書

Driving Scientific and Engineering Discoveries through the Integration of Experiment, Big Data, and Modeling and Simulation : 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected  Paperback,  言語:ENG

Nichols, Jeffrey (EDT)/ Maccabe, Arthur 'Barney' (EDT)/ Nutaro, James (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 190pt
  • 海外取次在庫
MultiMedia Modeling : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

MultiMedia Modeling : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Þór Jónsson, Björn (EDT)/ Gurrin, Cathal (EDT)/ Tran, Minh-Triet (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 190pt
  • 海外取次在庫
MultiMedia Modeling : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

MultiMedia Modeling : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Þór Jónsson, Björn (EDT)/ Gurrin, Cathal (EDT)/ Tran, Minh-Triet (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 190pt
  • 海外取次在庫
Pattern Recognition and Information Processing : 15th International Conference, PRIP 2021, Minsk, Belarus, September 21-24, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Pattern Recognition and Information Processing : 15th International Conference, PRIP 2021, Minsk, Belarus, September 21-24, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Tuzikov, Alexander V. (EDT)/ Belotserkovsky, Alexei M. (EDT)/ Lukashevich, Marina M. (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 162pt
  • 海外取次在庫
Risks and Security of Internet and Systems : 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Risks and Security of Internet and Systems : 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Luo, Bo (EDT)/ Mosbah, Mohamed (EDT)/ Cuppens, Frédéric (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2022/04発売)
  • ポイント 114pt
  • 海外取次在庫
Advances in Artificial Intelligence and Security : 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Advances in Artificial Intelligence and Security : 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Sun, Xingming (EDT)/ Zhang, Xiaorui (EDT)/ Xia, Zhihua (EDT)

  • ウェブストア価格 ¥29,472(本体¥26,793)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 267pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence and Security : 8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Artificial Intelligence and Security : 8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sun, Xingming (EDT)/ Zhang, Xiaorui (EDT)/ Xia, Zhihua (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 209pt
  • 海外取次在庫