A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof (Theoretical Computer Science and General Issues)
  • 洋書

A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof (Theoretical Computer Science and General Issues)  Paperback

Lutsyk, Petro/ Oberhauser, Jonas/ Paul, Wolfgang J.

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 104pt
  • 海外取次在庫
Public-Key Cryptography - PKC 2020 : 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4-7, 2020, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Public-Key Cryptography - PKC 2020 : 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4-7, 2020, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Kiayias, Aggelos (EDT)/ Kohlweiss, Markulf (EDT)/ Wallden, Petros (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Knowledge Discovery and Data Mining : 24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 11-14, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Advances in Knowledge Discovery and Data Mining : 24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 11-14, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback

Lauw, Hady W. (EDT)/ Wong, Raymond Chi-Wing (EDT)/ Ntoulas, Alexandros (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Code-Based Cryptography : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Code-Based Cryptography : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Baldi, Marco (EDT)/ Persichetti, Edoardo (EDT)/ Santini, Paolo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in  Information Retrieval : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science 12656) (1st ed. 2021. 2021. xxxiii, 776 S. XXXIII, 776 p. 152 illus., 135 illu)
  • 洋書

Advances in Information Retrieval : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science 12656) (1st ed. 2021. 2021. xxxiii, 776 S. XXXIII, 776 p. 152 illus., 135 illu)  Paperback

Herausgegeben:Hiemstra, Djoerd/ Moens, Marie-Francine/ Mothe, Josiane/ Perego, Raffaele/ Potthast, Martin/ Sebastiani, Fabrizio

  • ウェブストア価格 ¥31,945(本体¥29,041)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2021発売)
  • ポイント 290pt
  • 海外取次在庫
Artificial Intelligence in Medicine : 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, Virtual Event, June 15-18, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Artificial Intelligence in Medicine : 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, Virtual Event, June 15-18, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Tucker, Allan (EDT)/ Henriques Abreu, Pedro (EDT)/ Cardoso, Jaime (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 189pt
  • 海外取次在庫
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Stuckey, Peter J. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Hybrid Artificial Intelligent Systems : 16th International Conference, HAIS 2021, Bilbao, Spain, September 22-24, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Hybrid Artificial Intelligent Systems : 16th International Conference, HAIS 2021, Bilbao, Spain, September 22-24, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sanjurjo González, Hugo (EDT)/ Pastor López, Iker (EDT)/ García Bringas, Pablo (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Bae, Kyungmin (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 104pt
  • 海外取次在庫
Advances in Cryptology - ASIACRYPT 2018 : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part I (Security and Cryptology)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2018 : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part I (Security and Cryptology)  Paperback,  言語:ENG

Peyrin, Thomas (EDT)/ Galbraith, Steven (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2018 : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II (Security and Cryptology)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2018 : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II (Security and Cryptology)  Paperback,  言語:ENG

Peyrin, Thomas (EDT)/ Galbraith, Steven (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence in Health : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Artificial Intelligence in Health : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Koch, Fernando (EDT)/ Koster, Andrew (EDT)/ Riaño, David (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 104pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Mesnard, Fred (EDT)/ Stuckey, Peter J. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Code-Based Cryptography : 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019, Revised Selected Papers (Security and Cryptology) (2019)
  • 洋書
  • 電子版あり

Code-Based Cryptography : 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019, Revised Selected Papers (Security and Cryptology) (2019)  Paperback,  言語:ENG

Baldi, Marco (EDT)/ Persichetti, Edoardo (EDT)/ Santini, Paolo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Industrial Applications of Holonic and Multi-Agent Systems : 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Industrial Applications of Holonic and Multi-Agent Systems : 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Mařík, Vladimír (EDT)/ Kadera, Petr (EDT)/ Rzevski, George (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 123pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ribeiro, Pedro (EDT)/ Sampaio, Augusto (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Conceptual Modeling : 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Conceptual Modeling : 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Laender, Alberto H. F. (EDT)/ Pernici, Barbara (EDT)/ Lim, Ee-Peng (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Data Engineering and Automated Learning - IDEAL 2019 : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Data Engineering and Automated Learning - IDEAL 2019 : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Yin, Hujun (EDT)/ Camacho, David (EDT)/ Tino, Peter (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Discovery Science : 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Discovery Science : 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Kralj Novak, Petra (EDT)/ Šmuc, Tomislav (EDT)/ Džeroski, Sašo (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Krzhizhanovskaya, Valeria V. (EDT)/ Závodszky, Gábor (EDT)/ Lees, Michael H. (EDT)

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