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
  • 海外取次在庫
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)版です。キャンセルは承れません。
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020, Proceedings, Part III (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020, Proceedings, Part III (Lecture Notes in Artificial Intelligence)  Paperback

Hutter, Frank (EDT)/ Kersting, Kristian (EDT)/ Lijffijt, Jefrey (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2021/02発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithmic Game Theory : 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Algorithmic Game Theory : 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Caragiannis, Ioannis (EDT)/ Hansen, Kristoffer Arnsfelt (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 398pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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
  • 海外取次在庫
Navigating Compliance : Strategic Guidance for SMEs under the EU AI Act (SpringerBriefs in Computer Science) (2026. Approx. 60 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Navigating Compliance : Strategic Guidance for SMEs under the EU AI Act (SpringerBriefs in Computer Science) (2026. Approx. 60 p. 235 mm)  Paperback

Veesommai Sillberg, Chalisa/Kemell, Kai-Kristian/Sillberg, Pekka

  • ウェブストア価格 ¥8,397(本体¥7,634)
  • SPRINGER, BERLIN; TAMPERE UNIVERSITY LIBRARY; SPRINGE(2026/03発売)
  • ポイント 152pt
  • ご予約受付中。出版後の入荷・発送
Academic Research and Professional Practice in Interaction Design : First International Conference, ARPPID 2025, London, UK, July 10-11, 2025, Proceedings (Communications in Computer and Information Science 2797) (2026. x, 253 S. X, 253 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Academic Research and Professional Practice in Interaction Design : First International Conference, ARPPID 2025, London, UK, July 10-11, 2025, Proceedings (Communications in Computer and Information Science 2797) (2026. x, 253 S. X, 253 p. 235 mm)  Paperback

Herausgegeben:Abdelnour-Nocera, José/ Clemmensen, Torkil/ Lá/rusdó/ttir, Marta Kristí/n/ Macchia, Teresa/ Rey Babbarro, Marta/ Yingta, Nurha

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) (2011. XII, 349 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) (2011. XII, 349 S. 235 mm)  Paperback

Herausgegeben von Kristensen, Lars M./ Petrucci, Laure

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 254pt
  • 海外取次在庫
Artificial General Intelligence : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6830) (2011. XIII, 416 S.)
  • 洋書
  • ポイントキャンペーン

Artificial General Intelligence : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6830) (2011. XIII, 416 S.)  Paperback

Herausgegeben von Schmidhuber, Juergen/ Thorisson, Kristinn R./ Looks, Moshe

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 254pt
  • 海外取次在庫