計算可能解析学と複雑性ハンドブック<br>Handbook of Computability and Complexity in Analysis (Theory and Applications of Computability)
  • 洋書

計算可能解析学と複雑性ハンドブック
Handbook of Computability and Complexity in Analysis (Theory and Applications of Computability)
 Paperback,  言語:ENG

Brattka, Vasco (EDT)/ Hertling, Peter (EDT)

  • ウェブストア価格 ¥17,024(本体¥15,477)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 154pt
  • 海外からお取り寄せ(通常6~9週間)
Time Expression and Named Entity Recognition (Socio-affective Computing) (2021)
  • 洋書

Time Expression and Named Entity Recognition (Socio-affective Computing) (2021)  Paperback,  言語:ENG

Zhong, Xiaoshi/ Cambria, Erik

  • ウェブストア価格 ¥36,041(本体¥32,765)
  • Springer Nature Switzerland AG(2022/08発売)
  • ポイント 327pt
  • 海外取次在庫
Self Aware Security for Real Time Task Schedules in Reconfigurable Hardware Platforms (2021)
  • 洋書

Self Aware Security for Real Time Task Schedules in Reconfigurable Hardware Platforms (2021)  Paperback,  言語:ENG

Guha, Krishnendu/ Saha, Sangeet/ Chakrabarti, Amlan

  • ウェブストア価格 ¥24,777(本体¥22,525)
  • Springer Nature Switzerland AG(2022/08発売)
  • ポイント 225pt
  • 海外取次在庫
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (Le
  • 洋書

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (Le  Paperback,  言語:ENG

Bouyer, Patricia (EDT)/ Schröder, Lutz (EDT)

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 102pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (Lecture Notes in
  • 洋書

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (Lecture Notes in  Paperback,  言語:ENG

Johnsen, Einar Broch (EDT)/ Wimmer, Manuel (EDT)

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 102pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding  Paperback,  言語:ENG

Fisman, Dana (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 102pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding  Paperback,  言語:ENG

Fisman, Dana (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 102pt
  • 海外取次在庫
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shoham, Sharon (EDT)/ Vizel, Yakir (EDT)

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 102pt
  • 海外取次在庫
Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bogomolov, Sergiy (EDT)/ Parker, David (EDT)

  • ウェブストア価格 ¥13,513(本体¥12,285)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 122pt
  • 海外取次在庫
Multiple Classifier Systems : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書
  • 電子版あり

Multiple Classifier Systems : 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Schwenker, Friedhelm (EDT)/ Roli, Fabio (EDT)/ Kittler, Josef (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 112pt
  • 海外取次在庫
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abate, Alessandro (EDT)/ Boldo, Sylvie (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fault-Tolerant Message-Passing Distributed Systems : An Algorithmic Approach (2018)
  • 洋書

Fault-Tolerant Message-Passing Distributed Systems : An Algorithmic Approach (2018)  Hardcover,  言語:ENG

Raynal, Michel

  • ウェブストア価格 ¥19,145(本体¥17,405)
  • Springer International Publishing AG(2018/09発売)
  • ポイント 174pt
  • 海外取次在庫
Algorithms and Computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Algorithms and Computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Elbassioni, Khaled (EDT)/ Makino, Kazuhisa (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/11発売)
  • ポイント 204pt
  • 海外取次在庫
Artificial Intelligence for a Better Future : An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies (Springerbriefs in Research and Innovation Governance) (2021)
  • 洋書

Artificial Intelligence for a Better Future : An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies (Springerbriefs in Research and Innovation Governance) (2021)  Paperback,  言語:ENG

Stahl, Bernd Carsten

  • ウェブストア価格 ¥8,558(本体¥7,780)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 77pt
  • 海外取次在庫
Creative Solutions for a Sustainable Development : 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22-24, 2021, Proceedings (Ifip Advances in Information and Communication Technology) (2021)
  • 洋書

Creative Solutions for a Sustainable Development : 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22-24, 2021, Proceedings (Ifip Advances in Information and Communication Technology) (2021)  Paperback,  言語:ENG

Borgianni, Yuri (EDT)/ Brad, Stelian (EDT)/ Cavallucci, Denis (EDT)

  • ウェブストア価格 ¥31,535(本体¥28,669)
  • Springer Nature Switzerland AG(2022/09発売)
  • ポイント 286pt
  • 海外取次在庫
OpenMP in a Modern World: From Multi-device Support to Meta Programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

OpenMP in a Modern World: From Multi-device Support to Meta Programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Klemm, Michael (EDT)/ de Supinski, Bronis R. (EDT)/ Klinkenberg, Jannis (EDT)

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 102pt
  • 海外取次在庫
Online Film Production in China Using Blockchain and Smart Contracts : The Development of Collaborative Platforms for Emerging Creative Talents (International Series on Computer, Entertainment and Media Technology) (2019)
  • 洋書
  • 電子版あり

Online Film Production in China Using Blockchain and Smart Contracts : The Development of Collaborative Platforms for Emerging Creative Talents (International Series on Computer, Entertainment and Media Technology) (2019)  Hardcover,  言語:ENG

Poujol, Patrice

  • ウェブストア価格 ¥40,547(本体¥36,861)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 368pt
  • 海外取次在庫
Cyberdanger : Understanding and Guarding against Cybercrime (2019)
  • 洋書
  • 電子版あり

Cyberdanger : Understanding and Guarding against Cybercrime (2019)  Hardcover,  言語:ENG

Willems, Eddy

  • ウェブストア価格 ¥5,628(本体¥5,117)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 51pt
  • 海外取次在庫
Smart Grid and Internet of Things : Second EAI International Conference, SGIoT 2018, Niagara Falls, ON, Canada, July 11, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2019)
  • 洋書
  • 電子版あり

Smart Grid and Internet of Things : Second EAI International Conference, SGIoT 2018, Niagara Falls, ON, Canada, July 11, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (2019)  Paperback,  言語:ENG

Pathan, Al-Sakib Khan (EDT)/ Fadlullah, Zubair Md. (EDT)/ Guerroumi, Mohamed (EDT)

  • Springer Nature Switzerland AG(2018/12発売)
  • ご注文いただけません
Interactivity, Game Creation, Design, Learning, and Innovation : 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24-26, 2018, Proceedings (Lecture Notes of the Instit (2019)
  • 洋書
  • 電子版あり

Interactivity, Game Creation, Design, Learning, and Innovation : 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24-26, 2018, Proceedings (Lecture Notes of the Instit (2019)  Paperback,  言語:ENG

Brooks, Anthony L. (EDT)/ Brooks, Eva (EDT)/ Sylla, Cristina (EDT)

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