Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kovács, Laura (EDT)/ Sokolova, Ana (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 119pt
  • 海外取次在庫
Electronic Participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7-9, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Electronic Participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7-9, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Edelmann, Noella (EDT)/ Csáki, Csaba (EDT)/ Hofmann, Sara (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science 14960) (2024. xvii, 362 S. XVII, 362 p. 185 illus., 87 illus. in color. 235 mm)
  • 洋書

Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science 14960) (2024. xvii, 362 S. XVII, 362 p. 185 illus., 87 illus. in color. 235 mm)  Paperback

Herausgegeben:Kohlhase, Andrea/ Ková/cs, Laura

  • ウェブストア価格 ¥27,768(本体¥25,244)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 252pt
  • 海外からお取り寄せ(通常6~9週間)
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Kosmatov, Nikolai (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥28,382(本体¥25,802)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 258pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 92pt
  • 海外取次在庫
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Blanchette, Jasmin (EDT)/ Kovács, Laura (EDT)/ Pattinson, Dirk (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 92pt
  • 海外取次在庫