Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems
  • 洋書電子書籍
  • 電子書籍

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

Drechsler, Rolf (EDT)/Huhn, Sebastian (EDT)

  • 価格 ¥22,261(本体¥20,238)
  • Springer(2023/05/29発売)
  • ポイント 202pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems
  • 洋書電子書籍
  • 電子書籍

Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems  言語:ENG

Drechsler, Rolf (EDT)/Große, Daniel (EDT)

  • 価格 ¥18,213(本体¥16,558)
  • Springer(2021/04/29発売)
  • ポイント 165pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
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)

  • 価格 ¥18,213(本体¥16,558)
  • Springer(2019/07/08発売)
  • ポイント 165pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never
  • 洋書電子書籍
  • 電子書籍

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never  言語:ENG

Pieper, Pascal/Drechsler, Rolf

  • 価格 ¥22,261(本体¥20,238)
  • Springer(2024/03/25発売)
  • ポイント 202pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
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)

  • 価格 ¥22,261(本体¥20,238)
  • Springer(2017/06/21発売)
  • ポイント 202pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
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)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2016/05/30発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
  • 洋書電子書籍
  • 電子書籍

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques  言語:ENG

Huhn, Sebastian/Drechsler, Rolf

  • 価格 ¥20,237(本体¥18,398)
  • Springer(2021/04/19発売)
  • ポイント 183pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
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

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

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

Shirinzadeh, Saeideh/Drechsler, Rolf

  • 価格 ¥18,213(本体¥16,558)
  • Springer(2019/05/22発売)
  • ポイント 165pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Natural Language Processing for Electronic Design Automation〈1st ed. 2020〉
  • 洋書電子書籍
  • 電子書籍

Natural Language Processing for Electronic Design Automation〈1st ed. 2020〉  言語:ENG

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

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2020/08/31発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)