Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

de Boer, Frank (EDT)/ Cerone, Antonio (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 113pt
  • 海外取次在庫
New Frontiers in Artificial Intelligence : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書

New Frontiers in Artificial Intelligence : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Sakamoto, Maki (EDT)/ Okazaki, Naoaki (EDT)/ Mineshima, Koji (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Trust, Privacy and Security in Digital Business : 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Trust, Privacy and Security in Digital Business : 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gritzalis, Stefanos (EDT)/ Weippl, Edgar R. (EDT)/ Kotsis, Gabriele (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Hartmann, Sven (EDT)/ Küng, Josef (EDT)/ Kotsis, Gabriele (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 189pt
  • 海外取次在庫
Brain Informatics : 13th International Conference, BI 2020, Padua, Italy, September 19, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Brain Informatics : 13th International Conference, BI 2020, Padua, Italy, September 19, 2020, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Mahmud, Mufti (EDT)/ Vassanelli, Stefano (EDT)/ Kaiser, M. Shamim (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Multi-Agent Programming Contest 2019 : Agents Assemble - Block by Block to Victory (Lecture Notes in Computer Science)
  • 洋書

The Multi-Agent Programming Contest 2019 : Agents Assemble - Block by Block to Victory (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ahlbrecht, Tobias (EDT)/ Dix, Jürgen (EDT)/ Fiekas, Niklas (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Cognitive Computing - ICCC 2020 : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Cognitive Computing - ICCC 2020 : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Yang, Yujiu (EDT)/ Yu, Lei (EDT)/ Zhang, Liang-Jie (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Services - SERVICES 2020 : 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Services - SERVICES 2020 : 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Ferreira, Joao Eduardo (EDT)/ Palanisamy, Balaji (EDT)/ Ye, Kejiang (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Web Services – ICWS 2020 : 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Web Services – ICWS 2020 : 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ku, Wei-Shinn (EDT)/ Kanemasa, Yasuhiko (EDT)/ Serhani, Mohamed Adel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Computational Logistics : 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Computational Logistics : 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lalla-Ruiz, Eduardo (EDT)/ Mes, Martijn (EDT)/ Voß, Stefan (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Security and Trust Management : 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Security and Trust Management : 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Markantonakis, Kostantinos (EDT)/ Petrocchi, Marinella (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 94pt
  • 海外取次在庫
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Gribaudo, Marco (EDT)/ Jansen, David N. (EDT)/ Remke, Anne (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 104pt
  • 海外取次在庫
Interactive Collaborative Robotics : 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Interactive Collaborative Robotics : 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ronzhin, Andrey (EDT)/ Rigoll, Gerhard (EDT)/ Meshcheryakov, Roman (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings (Security and Cryptology)
  • 洋書

Electronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings (Security and Cryptology)  Paperback,  言語:ENG

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Beckert, Bernhard (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Swarm Intelligence : 12th International Conference, ANTS 2020, Barcelona, Spain, October 26-28, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Swarm Intelligence : 12th International Conference, ANTS 2020, Barcelona, Spain, October 26-28, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dorigo, Marco (EDT)/ Stützle, Thomas (EDT)/ Blesa, Maria J. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • 海外取次在庫
Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures : 10th International Workshop, ML-CDS 2020, and 9th International Workshop, CLIP 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedi
  • 洋書

Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures : 10th International Workshop, ML-CDS 2020, and 9th International Workshop, CLIP 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedi  Paperback,  言語:ENG

Syeda-Mahmood, Tanveer (EDT)/ Drechsler, Klaus (EDT)/ Greenspan, Hayit (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Social Informatics : 12th International Conference, SocInfo 2020, Pisa, Italy, October 6-9, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Social Informatics : 12th International Conference, SocInfo 2020, Pisa, Italy, October 6-9, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Aref, Samin (EDT)/ Bontcheva, Kalina (EDT)/ Braghieri, Marco (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Theoreti
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Theoreti  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書

Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Rutkowski, Leszek (EDT)/ Scherer, Rafał (EDT)/ Korytkowski, Marcin (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Data Engineering and Automated Learning - IDEAL 2020 : 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Intelligent Data Engineering and Automated Learning - IDEAL 2020 : 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Analide, Cesar (EDT)/ Novais, Paulo (EDT)/ Camacho, David (EDT)

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