Neurosymbolic Programming (Foundations and Trends® in Programming Languages)
  • 洋書

Neurosymbolic Programming (Foundations and Trends® in Programming Languages)

Chaudhuri, Swarat/Ellis, Kevin/Polozov, Oleksandr

  • now publishers Inc(2021/12発売)
  • ご注文いただけません
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Chaudhuri, Swarat (EDT)/ Farzan, Azadeh (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Chaudhuri, Swarat (EDT)/ Farzan, Azadeh (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Rozier, Kristin Yvonne (EDT)/ Chaudhuri, Swarat (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 218pt
  • 海外取次在庫