Natural Language Processing for Electronic Design Automation
  • 洋書
  • 電子版あり

Natural Language Processing for Electronic Design Automation  Hardcover

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

  • ウェブストア価格 ¥12,310(本体¥11,191)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 111pt
  • 海外取次在庫
Formal Specification Level : Concepts, Methods, and Algorithms (Softcover reprint of the original 1st ed. 2015)
  • 洋書

Formal Specification Level : Concepts, Methods, and Algorithms (Softcover reprint of the original 1st ed. 2015)  Paperback

Soeken, Mathias/ Drechsler, Rolf

  • Springer, Berlin; Springer International Publishing; Springe(2016発売)
  • ご注文いただけません
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)

  • ウェブストア価格 ¥24,623(本体¥22,385)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 223pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥24,623(本体¥22,385)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 223pt
  • 海外取次在庫
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)

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