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  言語:ENG

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

  • 価格 ¥17,124(本体¥15,568)
  • Springer(2019/07/08発売)
  • ポイント 155pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Formal System Verification〈1st ed. 2018〉 : State-of the-Art and Future Trends
  • 洋書電子書籍
  • 電子書籍

Formal System Verification〈1st ed. 2018〉 : State-of the-Art and Future Trends  言語:ENG

Drechsler, Rolf (EDT)

  • 価格 ¥20,930(本体¥19,028)
  • Springer(2017/06/21発売)
  • ポイント 190pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Languages, Design Methods, and Tools for Electronic System Design〈1st ed. 2016〉 : Selected Contributions from FDL 2015
  • 洋書電子書籍
  • 電子書籍

Languages, Design Methods, and Tools for Electronic System Design〈1st ed. 2016〉 : Selected Contributions from FDL 2015  言語:ENG

Drechsler, Rolf (EDT)/Wille, Robert (EDT)

  • 価格 ¥9,512(本体¥8,648)
  • Springer(2016/05/30発売)
  • ポイント 86pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
  • 洋書電子書籍
  • 電子書籍

Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications  言語:ENG

Goli, Mehran/Drechsler, Rolf

  • 価格 ¥15,221(本体¥13,838)
  • Springer(2020/05/04発売)
  • ポイント 138pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
In-Memory Computing : Synthesis and Optimization
  • 洋書電子書籍
  • 電子書籍

In-Memory Computing : Synthesis and Optimization  言語:ENG

Shirinzadeh, Saeideh/Drechsler, Rolf

  • 価格 ¥17,124(本体¥15,568)
  • Springer(2019/05/22発売)
  • ポイント 155pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Information Storage : A Multidisciplinary Perspective
  • 洋書電子書籍
  • 電子書籍

Information Storage : A Multidisciplinary Perspective  言語:ENG

Große, Cornelia S. (EDT)/Drechsler, Rolf (EDT)

  • 価格 ¥17,124(本体¥15,568)
  • Springer(2019/11/19発売)
  • ポイント 155pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
  • 洋書電子書籍
  • 電子書籍

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test  言語:ENG

Chandrasekharan, Arun/Große, Daniel/Drechsler, Rolf

  • 価格 ¥9,512(本体¥8,648)
  • Springer(2018/10/10発売)
  • ポイント 86pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Exact Design of Digital Microfluidic Biochips
  • 洋書電子書籍
  • 電子書籍

Exact Design of Digital Microfluidic Biochips  言語:ENG

Keszocze, Oliver/Wille, Robert/Drechsler, Rolf

  • 価格 ¥17,124(本体¥15,568)
  • Springer(2018/06/11発売)
  • ポイント 155pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Advanced Logic Synthesis〈1st ed. 2018〉
  • 洋書電子書籍
  • 電子書籍

Advanced Logic Synthesis〈1st ed. 2018〉  言語:ENG

Reis, André Inácio (EDT)/Drechsler, Rolf (EDT)

  • 価格 ¥17,124(本体¥15,568)
  • Springer(2017/11/15発売)
  • ポイント 155pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Automatic Methods for the Refinement of System Models〈1st ed. 2017〉 : From the Specification to the Implementation
  • 洋書電子書籍
  • 電子書籍

Automatic Methods for the Refinement of System Models〈1st ed. 2017〉 : From the Specification to the Implementation  言語:ENG

Seiter, Julia/Wille, Robert/Drechsler, Rolf

  • 価格 ¥9,512(本体¥8,648)
  • Springer(2016/07/04発売)
  • ポイント 86pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)