Formal System Verification : State-of the-Art and Future Trends
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal System Verification : State-of the-Art and Future Trends  Hardcover,  言語:ENG

Drechsler, Rolf (EDT)

  • ウェブストア価格 ¥27,819(本体¥25,290)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 504pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Intelligent Analysis of Medical Data and Decision Support Systems (Studies in Computational Intelligence) (2013)
  • 洋書
  • ポイントキャンペーン

Advances in Intelligent Analysis of Medical Data and Decision Support Systems (Studies in Computational Intelligence) (2013)  Paperback

Kountchev, Roumen (EDT)/ Iantovics, Barna (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 426pt
  • 海外取次在庫
Modelling and Simulation in Science, Technology and Engineering Mathematics : Proceedings of the International Conference on Modelling and Simulation (MS-17) (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Modelling and Simulation in Science, Technology and Engineering Mathematics : Proceedings of the International Conference on Modelling and Simulation (MS-17) (Advances in Intelligent Systems and Computing)  Hardcover

Chattopadhyay, Surajit (EDT)/ Roy, Tamal (EDT)/ Sengupta, Samarjit (EDT)

  • Springer International Publishing AG(2018/10発売)
  • ご注文いただけません
Adaptive Instructional Systems : Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings (Information Systems and Applications, incl. Internet/web
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Adaptive Instructional Systems : Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings (Information Systems and Applications, incl. Internet/web  Paperback,  言語:ENG

Sottilare, Robert A. (EDT)/ Schwarz, Jessica (EDT)

  • ウェブストア価格 ¥19,258(本体¥17,508)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 350pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Adaptive Instructional Systems : First International Conference, AIS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, an (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Adaptive Instructional Systems : First International Conference, AIS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, an (2019)  Paperback,  言語:ENG

Sottilare, Robert A. (EDT)/ Schwarz, Jessica (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 388pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Provable Security : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Provable Security : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Steinfeld, Ron (EDT)/ Yuen, Tsz Hon (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 212pt
  • 海外取次在庫
Algorithms and Architectures for Parallel Processing : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Algorithms and Architectures for Parallel Processing : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meng, Weizhi (EDT)/ Lu, Rongxing (EDT)/ Min, Geyong (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 466pt
  • 海外取次在庫
Advances in Human Activity Detection and Recognition (HADR) Systems (Synthesis Lectures on Computer Science) (2024. xiii, 138 S. XIII, 138 p. 22 illus., 10 illus. in color. 240 mm)
  • 洋書
  • ポイントキャンペーン

Advances in Human Activity Detection and Recognition (HADR) Systems (Synthesis Lectures on Computer Science) (2024. xiii, 138 S. XIII, 138 p. 22 illus., 10 illus. in color. 240 mm)  Hardcover

Tripathy, Santosh Kumar/Singh, Roshan/Srivastava, Rajeev

  • ウェブストア価格 ¥10,829(本体¥9,845)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 196pt
  • 海外取次在庫
Advances in Human Activity Detection and Recognition (HADR) Systems (Synthesis Lectures on Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Human Activity Detection and Recognition (HADR) Systems (Synthesis Lectures on Computer Science)  Paperback,  言語:ENG

Tripathy, Santosh Kumar/ Singh, Roshan/ Srivastava, Rajeev

  • ウェブストア価格 ¥9,513(本体¥8,649)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 172pt
  • 海外からお取り寄せ(通常6~9週間)
Collaborative Financial Infrastructure Protection : Tools, Abstractions, and Middleware (2012)
  • 洋書
  • ポイントキャンペーン

Collaborative Financial Infrastructure Protection : Tools, Abstractions, and Middleware (2012)  Paperback,  言語:ENG

Baldoni, Roberto (EDT)/ Chockler, Gregory (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/02発売)
  • ご注文いただけません
AI IA 2011: Artificial Intelligence Around Man and Beyond (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6934) (2011. XV, 464 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

AI IA 2011: Artificial Intelligence Around Man and Beyond (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6934) (2011. XV, 464 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Pirrone, Roberto/ Sorbello, Filippo

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 246pt
  • 海外取次在庫
Database and Expert Systems Applications : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Database and Expert Systems Applications : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Chen, Qiming (EDT)/ Hameurlain, Abdelkader (EDT)/ Toumani, Farouk (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database and Expert Systems Applications : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Database and Expert Systems Applications : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Chen, Qiming (EDT)/ Hameurlain, Abdelkader (EDT)/ Toumani, Farouk (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 212pt
  • 海外取次在庫
Image Analysis in Stroke Diagnosis and Interventions : 4th International Workshop, SWITCH 2024, and 6th International Challenge, ISLES 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Com
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Image Analysis in Stroke Diagnosis and Interventions : 4th International Workshop, SWITCH 2024, and 6th International Challenge, ISLES 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Com  Paperback,  言語:ENG

Su, Ruisheng (EDT)/ de la Rosa, Ezequiel (EDT)/ Rist, Leonhard (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 222pt
  • 海外からお取り寄せ(通常6~9週間)
Combinatorics on Words : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Combinatorics on Words : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Frid, Anna (EDT)/ Mercaş, Robert (EDT)

  • ウェブストア価格 ¥19,258(本体¥17,508)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 350pt
  • 海外取次在庫
Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part VI (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part VI (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Leal-Taixe, Laura (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part III (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Leal-Taixe, Laura (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Leal-Taixé, Laura (EDT)/ Roth, Stefan (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 212pt
  • 海外取次在庫
Design, User Experience, and Usability: Design for Diversity, Well-being, and Social Development : 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceeding
  • 洋書
  • ポイントキャンペーン

Design, User Experience, and Usability: Design for Diversity, Well-being, and Social Development : 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceeding  Paperback

Soares, Marcelo M. (EDT)/ Rosenzweig, Elizabeth (EDT)/ Marcus, Aaron (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 426pt
  • 海外取次在庫
Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Vision - ECCV 2018 Workshops : Munich, Germany, September 8-14, 2018, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Leal-Taixé, Laura (EDT)/ Roth, Stefan (EDT)

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