Selected Areas in Cryptography -- SAC 2014 : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers (Security and Cryptology) (2014)
  • 洋書
  • ポイントキャンペーン

Selected Areas in Cryptography -- SAC 2014 : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers (Security and Cryptology) (2014)  Paperback

Joux, Antoine (EDT)/ Youssef, Amr (EDT)

  • Springer International Publishing AG(2014/12発売)
  • ご注文いただけません
Rules on the Web: from Theory to Applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings (Programming and Sof (2014)
  • 洋書
  • ポイントキャンペーン

Rules on the Web: from Theory to Applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings (Programming and Sof (2014)  Paperback

Bikakis, Antonis (EDT)/ Fodor, Paul (EDT)/ Roman, Dumitru (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 214pt
  • 海外取次在庫
Against the Hypothesis of the End of Privacy : An Agent-Based Modelling Approach to Social Media (Springerbriefs in Digital Spaces) (2014)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Against the Hypothesis of the End of Privacy : An Agent-Based Modelling Approach to Social Media (Springerbriefs in Digital Spaces) (2014)  Paperback,  言語:ENG

Tubaro, Paola/ Casilli, Antonio A/ Sarabi, Yasaman

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2013/12発売)
  • ポイント 214pt
  • 海外取次在庫
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,845(本体¥10,769)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 214pt
  • 海外取次在庫
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,845(本体¥10,769)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,769(本体¥9,790)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 194pt
  • オンデマンド(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,922(本体¥11,748)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 234pt
  • 海外取次在庫
Software Process Improvement and Capability Determination : 12th International Conference, SPICE 2012, Palma de Mallorca, Spain, May 29-31, 2012. Proceedings (Communications in Computer and Information Science .290) (2012. 2012. 316 S.)
  • 洋書
  • ポイントキャンペーン

Software Process Improvement and Capability Determination : 12th International Conference, SPICE 2012, Palma de Mallorca, Spain, May 29-31, 2012. Proceedings (Communications in Computer and Information Science .290) (2012. 2012. 316 S.)  Paperback

Herausgegeben von Mas, Antonia/ Mesquida, Antoni/ Rout, Terry/ O Connor, Rory V./ Dorling, Alec

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
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,845(本体¥10,769)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,845(本体¥10,769)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 214pt
  • オンデマンド(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,845(本体¥10,769)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 214pt
  • 海外取次在庫
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,845(本体¥10,769)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 214pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥43,082(本体¥39,166)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 782pt
  • 海外取次在庫
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,845(本体¥10,769)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 214pt
  • 海外取次在庫
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,845(本体¥10,769)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 214pt
  • 海外取次在庫
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,922(本体¥11,748)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 234pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥18,308(本体¥16,644)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 332pt
  • オンデマンド(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)

  • ウェブストア価格 ¥15,076(本体¥13,706)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 274pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,694(本体¥21,540)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 430pt
  • 海外取次在庫