Formalising Natural Languages: Applications to Natural Language Processing and Digital Humanities : 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5-7, 2020, Revised Selected Papers (Communications in Computer and Information Science
  • 洋書
  • ポイントキャンペーン

Formalising Natural Languages: Applications to Natural Language Processing and Digital Humanities : 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5-7, 2020, Revised Selected Papers (Communications in Computer and Information Science  Paperback

Bekavac, Božo (EDT)/ Kocijan, Kristina (EDT)/ Silberztein, Max (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 218pt
  • 海外取次在庫
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, Andre (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 678pt
  • 海外取次在庫
Transactions on Petri Nets and Other Models of Concurrency XIII (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Transactions on Petri Nets and Other Models of Concurrency XIII (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Koutny, Maciej (EDT)/ Kristensen, Lars Michael (EDT)/ Penczek, Wojciech (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2018/11発売)
  • ポイント 218pt
  • 海外取次在庫
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, André (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 198pt
  • 海外取次在庫
Algorithmic Decision Theory : 6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Algorithmic Decision Theory : 6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Pekeč, Saša (EDT)/ Venable, Kristen Brent (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Digital Research and Education in Architectural Heritage : 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Digital Research and Education in Architectural Heritage : 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Münster, Sander (EDT)/ Friedrichs, Kristina (EDT)/ Niebling, Florian (EDT)

  • ウェブストア価格 ¥18,450(本体¥16,773)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 334pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Transactions on Petri Nets and Other Models of Concurrency XIV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Transactions on Petri Nets and Other Models of Concurrency XIV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Koutny, Maciej (EDT)/ Pomello, Lucia (EDT)/ Kristensen, Lars Michael (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2019/12発売)
  • ポイント 218pt
  • 海外取次在庫
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Badger, Julia M. (EDT)/ Rozier, Kristin Yvonne (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 298pt
  • 海外取次在庫
The AI Act and the Agile Safety Plan (Springerbriefs in Computer Science)
  • 洋書
  • ポイントキャンペーン

The AI Act and the Agile Safety Plan (Springerbriefs in Computer Science)  Paperback

Myklebust, Thor/ Stålhane, Tor/ Vatn, Dorthea Mathilde Kristin

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Application and Theory of Petri Nets and Concurrency : 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Application and Theory of Petri Nets and Concurrency : 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Kristensen, Lars Michael (EDT)/ van der Werf, Jan Martijn (EDT)

  • ウェブストア価格 ¥28,551(本体¥25,956)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 518pt
  • 海外取次在庫
Accelerating Digital Transformation : 10 Years of Software Center (2022)
  • 洋書
  • ポイントキャンペーン

Accelerating Digital Transformation : 10 Years of Software Center (2022)  Hardcover,  言語:ENG

Bosch, Jan (EDT)/ Carlson, Jan (EDT)/ Holmström Olsson, Helena (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 678pt
  • 海外取次在庫
Accelerating Digital Transformation : 10 Years of Software Center
  • 洋書
  • ポイントキャンペーン

Accelerating Digital Transformation : 10 Years of Software Center  Paperback,  言語:ENG

Bosch, Jan (EDT)/ Carlson, Jan (EDT)/ Holmström Olsson, Helena (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 678pt
  • 海外取次在庫
Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis : First International Workshop, SUSI 2019, and 4th International Workshop, PIPPI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proce
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis : First International Workshop, SUSI 2019, and 4th International Workshop, PIPPI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proce  Paperback,  言語:ENG

Wang, Qian (EDT)/ Gomez, Alberto (EDT)/ Hutter, Jana (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 218pt
  • 海外取次在庫