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

Pieper, Pascal/ Drechsler, Rolf

  • ウェブストア価格 ¥30,053(本体¥27,321)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 1,365pt
  • 海外からお取り寄せ(通常6~9週間)
Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends® in Electronic Design Automation)
  • 洋書
  • ポイントキャンペーン

Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends® in Electronic Design Automation)  Paperback,  言語:ENG

Mahzoon, Alireza/ Drechsler, Rolf

  • now publishers Inc(2024/09発売)
  • ご注文いただけません
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  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥27,320(本体¥24,837)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 1,240pt
  • 海外からお取り寄せ(通常6~9週間)
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit : Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (1. Aufl. 2023. 2024. xxi, 180 S. XXI, 180 S. 50 Abb., 25 Abb. in Farbe)
  • 洋書
  • ポイントキャンペーン

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit : Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (1. Aufl. 2023. 2024. xxi, 180 S. XXI, 180 S. 50 Abb., 25 Abb. in Farbe)  Hardcover

Huhn, Sebastian/Drechsler, Rolf

  • ウェブストア価格 ¥28,310(本体¥25,737)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2024発売)
  • ポイント 1,285pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Verification of Structurally Complex Multipliers
  • 洋書
  • ポイントキャンペーン

Formal Verification of Structurally Complex Multipliers  Paperback,  言語:ENG

Mahzoon, Alireza/ Große, Daniel/ Drechsler, Rolf

  • ウェブストア価格 ¥21,821(本体¥19,838)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 990pt
  • 海外取次在庫
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never (2024. xxiv, 170 S. XXIV, 170 p. 39 illus., 36 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never (2024. xxiv, 170 S. XXIV, 170 p. 39 illus., 36 illus. in color. 235 mm)  Hardcover

Pieper, Pascal/Drechsler, Rolf

  • ウェブストア価格 ¥33,047(本体¥30,043)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 1,500pt
  • 海外取次在庫
Erweiterte virtuelle Prototypen für heterogene Systeme (2024. xx, 182 S. XX, 182 S. 89 Abb., 80 Abb. in Farbe. 235 mm)
  • 洋書
  • ポイントキャンペーン

Erweiterte virtuelle Prototypen für heterogene Systeme (2024. xx, 182 S. XX, 182 S. 89 Abb., 80 Abb. in Farbe. 235 mm)  Hardcover

Hassan, Muhammad/Grosse, Daniel/Drechsler, Rolf

  • ウェブストア価格 ¥21,875(本体¥19,887)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2024発売)
  • ポイント 990pt
  • 海外からお取り寄せ(通常6~9週間)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verständnis und Anwendungen
  • 洋書
  • ポイントキャンペーン

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verständnis und Anwendungen  Hardcover

Goli, Mehran/ Drechsler, Rolf

  • ウェブストア価格 ¥26,186(本体¥23,806)
  • Springer Vieweg(2023/09発売)
  • ポイント 1,190pt
  • 海外取次在庫
Enhanced Virtual Prototyping for Heterogeneous Systems
  • 洋書
  • ポイントキャンペーン

Enhanced Virtual Prototyping for Heterogeneous Systems  Paperback

Hassan, Muhammad/ Große, Daniel/ Drechsler, Rolf

  • ウェブストア価格 ¥19,639(本体¥17,854)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 890pt
  • 海外取次在庫
Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien
  • 洋書
  • ポイントキャンペーン

Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien  Hardcover

Herdt, Vladimir/ Große, Daniel/ Drechsler, Rolf

  • ウェブストア価格 ¥19,639(本体¥17,854)
  • Springer Vieweg(2023/01発売)
  • ポイント 890pt
  • 海外取次在庫