Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Camara, Javier (EDT)/ Steffen, Martin (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 318pt
  • 海外取次在庫
KI 2020: Advances in Artificial Intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

KI 2020: Advances in Artificial Intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Schmid, Ute (EDT)/ Klügl, Franziska (EDT)/ Wolter, Diedrich (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 218pt
  • 海外取次在庫
Computer Vision and Graphics : International Conference, ICCVG 2020, Warsaw, Poland, September 14-16, 2020, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • ポイントキャンペーン

Computer Vision and Graphics : International Conference, ICCVG 2020, Warsaw, Poland, September 14-16, 2020, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Chmielewski, Leszek J. (EDT)/ Kozera, Ryszard (EDT)/ Orłowski, Arkadiusz (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 218pt
  • 海外取次在庫
Computer Security - ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II (Security and Cryptology)
  • 洋書
  • ポイントキャンペーン

Computer Security - ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II (Security and Cryptology)  Paperback,  言語:ENG

Chen, Liqun (EDT)/ Li, Ninghui (EDT)/ Liang, Kaitai (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 218pt
  • 海外取次在庫
Artificial Intelligence in Medicine : 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Minneapolis, MN, USA, August 25-28, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence in Medicine : 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Minneapolis, MN, USA, August 25-28, 2020, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Michalowski, Martin (EDT)/ Moskovitch, Robert (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Models of Computation : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Theory and Applications of Models of Computation : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Chen, Jianer (EDT)/ Feng, Qilong (EDT)/ Xu, Jinhui (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 218pt
  • 海外取次在庫
Interpretable and Annotation-Efficient Learning for Medical Image Computing : Third International Workshop, iMIMIC 2020, Second International Workshop, MIL3ID 2020, and 5th International Workshop, LABELS 2020, Held in Conjunction with MICCAI 2020, Li
  • 洋書
  • ポイントキャンペーン

Interpretable and Annotation-Efficient Learning for Medical Image Computing : Third International Workshop, iMIMIC 2020, Second International Workshop, MIL3ID 2020, and 5th International Workshop, LABELS 2020, Held in Conjunction with MICCAI 2020, Li  Paperback,  言語:ENG

Cardoso, Jaime (EDT)/ Van Nguyen, Hien (EDT)/ Heller, Nicholas (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Systems : 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Intelligent Systems : 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerri, Ricardo (EDT)/ Prati, Ronaldo C. (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Systems : 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Intelligent Systems : 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Cerri, Ricardo (EDT)/ Prati, Ronaldo C. (EDT)

  • ウェブストア価格 ¥28,551(本体¥25,956)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 518pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Intelligence Methods for Bioinformatics and Biostatistics : 16th International Meeting, CIBB 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Intelligence Methods for Bioinformatics and Biostatistics : 16th International Meeting, CIBB 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cazzaniga, Paolo (EDT)/ Besozzi, Daniela (EDT)/ Merelli, Ivan (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Escobar, Santiago (EDT)/ Martí-Oliet, Narciso (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 218pt
  • 海外取次在庫
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Christakis, Maria (EDT)/ Polikarpova, Nadia (EDT)/ Duggirala, Parasara Sridhar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 218pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Carvalho, Gustavo (EDT)/ Stolz, Volker (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 278pt
  • 海外取次在庫
Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Cazenave, Tristan (EDT)/ van den Herik, Jaap (EDT)/ Saffidine, Abdallah (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence Applications and Innovations : AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings (Ifip Advances in Information and Communication Technology) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence Applications and Innovations : AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings (Ifip Advances in Information and Communication Technology) (2019)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥19,585(本体¥17,805)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 356pt
  • 海外からお取り寄せ(通常6~9週間)
Intelligent Technologies for Interactive Entertainment : 10th EAI International Conference, INTETAIN 2018, Guimarães, Portugal, November 21-23, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telec (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Technologies for Interactive Entertainment : 10th EAI International Conference, INTETAIN 2018, Guimarães, Portugal, November 21-23, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telec (2019)  Paperback,  言語:ENG

Cortez, Paulo (EDT)/ Magalhães, Luís (EDT)/ Branco, Pedro (EDT)

  • ウェブストア価格 ¥13,178(本体¥11,980)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 238pt
  • 海外取次在庫
Technological Innovation for Industry and Service Systems : 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8-10, 2019, Proceedings (Ifip Advances i
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Technological Innovation for Industry and Service Systems : 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8-10, 2019, Proceedings (Ifip Advances i  Hardcover

Camarinha-Matos, Luis M. (EDT)/ Almeida, Ricardo (EDT)/ Oliveira, José (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence Applications and Innovations : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings (Ifip Advances in Information and Communication Technology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Intelligence Applications and Innovations : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥25,182(本体¥22,893)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 456pt
  • 海外からお取り寄せ(通常6~9週間)
Collaborative Networks and Digital Transformation : 20th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2019, Turin, Italy, September 23-25, 2019, Proceedings (Ifip Advances in Information and Communication Technology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Collaborative Networks and Digital Transformation : 20th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2019, Turin, Italy, September 23-25, 2019, Proceedings (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Afsarmanesh, Hamideh (EDT)/ Antonelli, Dario (EDT)

  • ウェブストア価格 ¥25,182(本体¥22,893)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 456pt
  • 海外からお取り寄せ(通常6~9週間)
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture Notes (2019)
  • 洋書
  • ポイントキャンペーン

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture Notes (2019)  Paperback,  言語:ENG

Caires, Luís (EDT)

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