Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Michael, Loizos (EDT)/ Kakas, Antonis (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 104pt
  • 海外取次在庫
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Salaün, Gwen (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 95pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bošnački, Dragan (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Segmentation of the Aorta. Towards the Automatic Segmentation, Modeling, and Meshing of the Aortic Vessel Tree from Multicenter Acquisition : First Challenge, SEG.A. 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023,
  • 洋書

Segmentation of the Aorta. Towards the Automatic Segmentation, Modeling, and Meshing of the Aortic Vessel Tree from Multicenter Acquisition : First Challenge, SEG.A. 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023,  Paperback

Pepe, Antonio (EDT)/ Melito, Gian Marco (EDT)/ Egger, Jan (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 114pt
  • 海外取次在庫
Computational Intelligence in Music, Sound, Art and Design : 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computational Intelligence in Music, Sound, Art and Design : 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Liapis, Antonios (EDT)/ Romero Cardalda, Juan Jesús (EDT)/ Ekárt, Anikó (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Statistical Atlases and Computational Models of the Heart. M&Ms and EMIDEC Challenges : 11th International Workshop, STACOM 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Revised Selected Papers (Lecture Notes in Computer Sc
  • 洋書

Statistical Atlases and Computational Models of the Heart. M&Ms and EMIDEC Challenges : 11th International Workshop, STACOM 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Revised Selected Papers (Lecture Notes in Computer Sc  Paperback,  言語:ENG

Puyol Anton, Esther (EDT)/ Pop, Mihaela (EDT)/ Sermesant, Maxime (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Architecture : 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Software Architecture : 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Jansen, Anton (EDT)/ Malavolta, Ivano (EDT)/ Muccini, Henry (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Vehicular ad hoc Networks : Standards, Solutions, and Research
  • 洋書

Vehicular ad hoc Networks : Standards, Solutions, and Research  Paperback,  言語:ENG

Campolo, Claudia (EDT)/ Molinaro, Antonella (EDT)/ Scopigno, Riccardo (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
Ophthalmic Medical Image Analysis : 11th International Workshop, OMIA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Ophthalmic Medical Image Analysis : 11th International Workshop, OMIA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Bhavna, Antony (EDT)/ Chen, Hao (EDT)/ Fang, Huihui (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外取次在庫
Advances in Neural Data Science : Data Research Camp 2022, Venice, Italy, July 12-15 (Springer Proceedings in Mathematics & Statistics) (2024)
  • 洋書

Advances in Neural Data Science : Data Research Camp 2022, Venice, Italy, July 12-15 (Springer Proceedings in Mathematics & Statistics) (2024)  Hardcover,  言語:ENG

Canale, Antonio (EDT)/ Luati, Alessandra (EDT)/ Mazzuco, Stefano (EDT)

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 381pt
  • 海外取次在庫
Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Roggenbach, Markus (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 104pt
  • 海外取次在庫
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Autili, Marco (EDT)/ Bucaioni, Alessio (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外取次在庫
Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)
  • 洋書

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)  Paperback

Cerone, Antonio (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 114pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 162pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Business : 12th International Conference, ICSOB 2021, Drammen, Norway, December 2-3, 2021, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Software Business : 12th International Conference, ICSOB 2021, Drammen, Norway, December 2-3, 2021, Proceedings (Lecture Notes in Business Information Processing)  Paperback

Wang, Xiaofeng (EDT)/ Martini, Antonio (EDT)/ Nguyen-Duc, Anh (EDT)

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

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 133pt
  • 海外取次在庫
Graphonomics in Human Body Movement. Bridging Research and Practice from Motor Control to Handwriting Analysis and Recognition : 21st International Conference of the International Graphonomics Society, IGS 2023, Évora, Portugal, October 16-19, 2
  • 洋書

Graphonomics in Human Body Movement. Bridging Research and Practice from Motor Control to Handwriting Analysis and Recognition : 21st International Conference of the International Graphonomics Society, IGS 2023, Évora, Portugal, October 16-19, 2  Paperback

Parziale, Antonio (EDT)/ Diaz, Moises (EDT)/ Melo, Filipe (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 133pt
  • 海外取次在庫
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Ioannides, Marinos (EDT)/ Fink, Eleanor (EDT)/ Moropoulou, Antonia (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 209pt
  • 海外取次在庫
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part II (Information Systems and Applications, inc
  • 洋書
  • 電子版あり

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection : 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part II (Information Systems and Applications, inc  Paperback

Ioannides, Marinos (EDT)/ Fink, Eleanor (EDT)/ Moropoulou, Antonia (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information and Communication Technologies in Organizations and Society : Past, Present and Future Issues (Lecture Notes in Information Systems and Organisation)
  • 洋書
  • 電子版あり

Information and Communication Technologies in Organizations and Society : Past, Present and Future Issues (Lecture Notes in Information Systems and Organisation)  Paperback,  言語:ENG

Ricciardi, Francesca (EDT)/ Harfouche, Antoine (EDT)

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