Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Piskac, Ruzica (EDT)/ Rümmer, Philipp (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 109pt
  • 海外取次在庫
Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Gregory, Peggy (EDT)/ Kruchten, Philippe (EDT)

  • ウェブストア価格 ¥10,909(本体¥9,918)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 99pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Paasivaara, Maria (EDT)/ Kruchten, Philippe (EDT)

  • ウェブストア価格 ¥13,092(本体¥11,902)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 119pt
  • 海外取次在庫
Experimental IR Meets Multilinguality, Multimodality, and Interaction : 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9-12, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Experimental IR Meets Multilinguality, Multimodality, and Interaction : 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9-12, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Goeuriot, Lorraine (EDT)/ Mulhem, Philippe (EDT)/ Quénot, Georges (EDT)

  • ウェブストア価格 ¥13,658(本体¥12,417)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 124pt
  • 海外からお取り寄せ(通常6~9週間)
Experimental IR Meets Multilinguality, Multimodality, and Interaction : 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9-12, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Experimental IR Meets Multilinguality, Multimodality, and Interaction : 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9-12, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback

Goeuriot, Lorraine (EDT)/ Mulhem, Philippe (EDT)/ Quénot, Georges (EDT)

  • ウェブストア価格 ¥16,365(本体¥14,878)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 148pt
  • 海外取次在庫
Principles of Distributed Systems, OPODIS 2003 : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3144) (2004. XIV, 247 p. 23,5 cm)
  • 洋書

Principles of Distributed Systems, OPODIS 2003 : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3144) (2004. XIV, 247 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Marina Papatriantafilou a. Philippe Hunel

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 125pt
  • 海外取次在庫
Mobile Web Information Systems : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Mobile Web Information Systems : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Daniel, Florian (EDT)/ Papadopoulos, George A. (EDT)/ Thiran, Philippe (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices : 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September
  • 洋書

Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices : 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September  Paperback,  言語:ENG

Fujita, Hamido (EDT)/ Fournier-Viger, Philippe (EDT)/ Ali, Moonis (EDT)

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 337pt
  • 海外取次在庫
Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence : 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Kitakyushu, Japan, July 19
  • 洋書

Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence : 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Kitakyushu, Japan, July 19  Paperback

Fujita, Hamido (EDT)/ Fournier-Viger, Philippe (EDT)/ Ali, Moonis (EDT)

  • ウェブストア価格 ¥28,369(本体¥25,790)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 257pt
  • 海外取次在庫
From Animals to Animats 16 : 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, Cergy-Pontoise, France, September 20-23, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

From Animals to Animats 16 : 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, Cergy-Pontoise, France, September 20-23, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cañamero, Lola (EDT)/ Gaussier, Philippe (EDT)/ Wilson, Myra (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 109pt
  • 海外取次在庫
The Semantic Web: Research and Applications : 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012, Proceedings (Lecture Notes in Computer Science Vol.7295) (2012. XX, 865 p.)
  • 洋書

The Semantic Web: Research and Applications : 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012, Proceedings (Lecture Notes in Computer Science Vol.7295) (2012. XX, 865 p.)  Paperback

Herausgegeben von Simperl, Elena/ Cimiano, Philipp/ Polleres, Axel/ Corcho, Oscar/ Presutti, Valentina

  • ウェブストア価格 ¥27,538(本体¥25,035)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 250pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part VIII (Image Processing, Computer Vision, Pattern Recognition, and Graphics
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part VIII (Image Processing, Computer Vision, Pattern Recognition, and Graphics  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stephane (EDT)

  • ウェブストア価格 ¥26,186(本体¥23,806)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part V (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part V (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stephane (EDT)

  • ウェブストア価格 ¥28,369(本体¥25,790)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 257pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥30,551(本体¥27,774)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 277pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part IV (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part IV (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part VI (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part VI (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part VII (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part VII (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥26,186(本体¥23,806)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Programming and Softwar (2013)
  • 洋書

Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Programming and Softwar (2013)  Paperback,  言語:ENG

Felleisen, Matthias (EDT)/ Gardner, Philippa (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 109pt
  • 海外取次在庫