Runtime Verification : A Hands-On Approach in Java
  • 洋書

Runtime Verification : A Hands-On Approach in Java  Paperback,  言語:ENG

Colombo, Christian/ Pace, Gordon J.

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 104pt
  • 海外取次在庫
Controlled Natural Language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Controlled Natural Language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Davis, Brian (EDT)/ Pace, Gordon J. (EDT)/ Wyner, Adam (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mathematics of Discrete Structures for Computer Science
  • 洋書

Mathematics of Discrete Structures for Computer Science  Paperback,  言語:ENG

Pace, Gordon J.

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 104pt
  • 海外取次在庫