Formal Specification Level : Concepts, Methods, and Algorithms
  • 洋書

Formal Specification Level : Concepts, Methods, and Algorithms  Paperback

Soeken, Mathias/ Drechsler, Rolf

  • Springer International Publishing AG(2016/08発売)
  • ご注文いただけません
Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems
  • 洋書

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems  Paperback,  言語:ENG

Drechsler, Rolf (EDT)/ Soeken, Mathias (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 206pt
  • 海外取次在庫
Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems
  • 洋書
  • 電子版あり

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems  Hardcover,  言語:ENG

Drechsler, Rolf (EDT)/ Soeken, Mathias (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 206pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings (Programming and Software Engineering) (2019)
  • 洋書
  • 電子版あり

Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings (Programming and Software Engineering) (2019)  Paperback,  言語:ENG

Thomsen, Michael Kirkedal (EDT)/ Soeken, Mathias (EDT)

  • ウェブストア価格 ¥13,450(本体¥12,228)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 122pt
  • 海外取次在庫