Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • Springer Nature Switzerland AG(2018/09発売)
  • ご注文いただけません
Public-Key Cryptography - PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8-11, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Public-Key Cryptography - PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8-11, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Hanaoka, Goichiro (EDT)/ Shikata, Junji (EDT)/ Watanabe, Yohei (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 390pt
  • 海外取次在庫
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 176pt
  • 海外取次在庫
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 176pt
  • 海外取次在庫
Public-Key Cryptography - PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8-11, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Public-Key Cryptography - PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8-11, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Hanaoka, Goichiro (EDT)/ Shikata, Junji (EDT)/ Watanabe, Yohei (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 430pt
  • 海外取次在庫
Knowledge Sharing through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013 (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Knowledge Sharing through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013 (Communications in Computer and Information Science)  Paperback,  言語:ENG

Lam, Jeanne (EDT)/ Li, Kam Cheong (EDT)/ Cheung, Simon K.S. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/12発売)
  • ポイント 214pt
  • 海外取次在庫
Inpainting and Denoising Challenges (The Springer Series on Challenges in Machine Learning)
  • 洋書
  • ポイントキャンペーン

Inpainting and Denoising Challenges (The Springer Series on Challenges in Machine Learning)  Paperback,  言語:ENG

Escalera, Sergio (EDT)/ Ayache, Stephane (EDT)/ Wan, Jun (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 214pt
  • 海外取次在庫
Job Scheduling Strategies for Parallel Processing : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Job Scheduling Strategies for Parallel Processing : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Desai, Narayan (EDT)/ Cirne, Walfredo (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Data Management and Analytics for Medicine and Healthcare : Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Data Management and Analytics for Medicine and Healthcare : Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Begoli, Edmon (EDT)/ Fusheng, Wang (EDT)/ Luo, Gang (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Chinese Computational Linguistics : 21st China National Conference, CCL 2022, Nanchang, China, October 14-16, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Chinese Computational Linguistics : 21st China National Conference, CCL 2022, Nanchang, China, October 14-16, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sun, Maosong (EDT)/ Liu, Yang (EDT)/ Che, Wanxiang (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 214pt
  • 海外取次在庫
Sustained Simulation Performance 2012 : Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012 (2013. XII, 184 S. 10 SW-Abb., 85 Farbabb. 235 mm)
  • 洋書
  • ポイントキャンペーン

Sustained Simulation Performance 2012 : Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012 (2013. XII, 184 S. 10 SW-Abb., 85 Farbabb. 235 mm)  Hardcover

Herausgegeben von Resch, Michael M./ Wang, Xin/ Bez, Wolfgang/ Focht, Erich/ Kobayashi, Hiroaki

  • ウェブストア価格 ¥27,385(本体¥24,896)
  • SPRINGER, BERLIN(2013発売)
  • ポイント 496pt
  • 海外取次在庫
Foundations and Practice of Security : 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • ポイントキャンペーン

Foundations and Practice of Security : 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers (Security and Cryptology)  Paperback

Cuppens, Frédéric (EDT)/ Wang, Lingyu (EDT)/ Cuppens-Boulahia, Nora (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 214pt
  • 海外取次在庫
Advances in Human Factors, Software, and Systems Engineering : Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, the Westin Bonaventure Hotel, Los Angeles, California, USA (Ad
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Human Factors, Software, and Systems Engineering : Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, the Westin Bonaventure Hotel, Los Angeles, California, USA (Ad  Paperback,  言語:ENG

Ahram, Tareq (EDT)/ Karwowski, Waldemar (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 430pt
  • 海外取次在庫
Applied Human Factors and Ergonomics 2017 (1st ed. 2017. 2017. 10000 S. Approx. 10000 p. 26 volume-set. 235 mm)
  • 洋書
  • ポイントキャンペーン

Applied Human Factors and Ergonomics 2017 (1st ed. 2017. 2017. 10000 S. Approx. 10000 p. 26 volume-set. 235 mm)  Paperback

Herausgegeben von Ahram, Tareq/ Karwowski, Waldemar

  • ウェブストア価格 ¥136,941(本体¥124,492)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2017発売)
  • ポイント 2,488pt
  • 海外からお取り寄せ(通常6~9週間)
Evolutionary Multi-Criterion Optimization : 12th International Conference, EMO 2023, Leiden, the Netherlands, March 20-24, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Evolutionary Multi-Criterion Optimization : 12th International Conference, EMO 2023, Leiden, the Netherlands, March 20-24, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Emmerich, Michael (EDT)/ Deutz, André (EDT)/ Wang, Hao (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 390pt
  • 海外取次在庫
Neural Information Processing : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Neural Information Processing : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tanveer, Mohammad (EDT)/ Agarwal, Sonali (EDT)/ Ozawa, Seiichi (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 430pt
  • 海外取次在庫
Neural Information Processing : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Neural Information Processing : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tanveer, Mohammad (EDT)/ Agarwal, Sonali (EDT)/ Ozawa, Seiichi (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 352pt
  • 海外取次在庫
Neural Information Processing : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Neural Information Processing : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tanveer, Mohammad (EDT)/ Agarwal, Sonali (EDT)/ Ozawa, Seiichi (EDT)

  • ウェブストア価格 ¥25,847(本体¥23,498)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 468pt
  • 海外取次在庫
Database and Expert Systems Applications, DEXA 2004 : 15th International Conference, DEXA 2004, Zaragoza, Spain, August/September 2004, Proceedings (Lecture Notes in Computer Science Vol.3180) (2004. XXI, 972 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Database and Expert Systems Applications, DEXA 2004 : 15th International Conference, DEXA 2004, Zaragoza, Spain, August/September 2004, Proceedings (Lecture Notes in Computer Science Vol.3180) (2004. XXI, 972 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Fernando Galindo, Makoto Takizawa and Roland Traunmueller

  • SPRINGER, BERLIN(2004発売)
  • ご注文いただけません
Principles and Practice of Multi-Agent Systems : 15th International Conference, PRIMA 2012, Kuching, Sarawak, Malaysia, September 3-7, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7455) (2012. 2012. XII, 243 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Principles and Practice of Multi-Agent Systems : 15th International Conference, PRIMA 2012, Kuching, Sarawak, Malaysia, September 3-7, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7455) (2012. 2012. XII, 243 S. 235 mm)  Paperback

Herausgegeben von Rahwan, Iyad/ Wobcke, Wayne/ Sen, Sandip/ Sugawara, Toshiharu

  • ウェブストア価格 ¥12,598(本体¥11,453)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 228pt
  • 海外取次在庫