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

  • ウェブストア価格 ¥27,209(本体¥24,736)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2024発売)
  • ポイント 247pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Verification of Structurally Complex Multipliers
  • 洋書

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

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

  • ウェブストア価格 ¥20,695(本体¥18,814)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 188pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥31,761(本体¥28,874)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 288pt
  • 海外取次在庫
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,025(本体¥19,114)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2024発売)
  • ポイント 191pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥24,834(本体¥22,577)
  • Springer Vieweg(2023/09発売)
  • ポイント 225pt
  • 海外取次在庫
Enhanced Virtual Prototyping for Heterogeneous Systems
  • 洋書

Enhanced Virtual Prototyping for Heterogeneous Systems  Paperback

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

  • ウェブストア価格 ¥18,625(本体¥16,932)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 169pt
  • 海外取次在庫
Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien
  • 洋書

Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien  Hardcover

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

  • ウェブストア価格 ¥18,625(本体¥16,932)
  • Springer Vieweg(2023/01発売)
  • ポイント 169pt
  • 海外取次在庫
In-Memory-Computing : Synthese und Optimierung
  • 洋書

In-Memory-Computing : Synthese und Optimierung  Hardcover

Shirinzadeh, Saeideh/ Drechsler, Rolf

  • ウェブストア価格 ¥24,834(本体¥22,577)
  • Springer Vieweg(2023/06発売)
  • ポイント 225pt
  • 海外取次在庫
Formal Verification of Structurally Complex Multipliers (2023)
  • 洋書

Formal Verification of Structurally Complex Multipliers (2023)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥20,695(本体¥18,814)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 188pt
  • 海外取次在庫
Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems (2023)
  • 洋書

Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems (2023)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥24,834(本体¥22,577)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 225pt
  • 海外取次在庫
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  Paperback

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

  • ウェブストア価格 ¥25,994(本体¥23,631)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 236pt
  • 海外からお取り寄せ(通常6~9週間)
Enhanced Virtual Prototyping for Heterogeneous Systems
  • 洋書

Enhanced Virtual Prototyping for Heterogeneous Systems  Hardcover

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

  • ウェブストア価格 ¥24,834(本体¥22,577)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 225pt
  • 海外取次在庫
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
  • 洋書

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques  Paperback

Huhn, Sebastian/ Drechsler, Rolf

  • ウェブストア価格 ¥27,771(本体¥25,247)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 252pt
  • 海外からお取り寄せ(通常6~9週間)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications (2020)
  • 洋書

Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications (2020)  Paperback,  言語:ENG

Goli, Mehran/ Drechsler, Rolf

  • ウェブストア価格 ¥18,625(本体¥16,932)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 169pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Noch analog oder lebst Du schon? : Mit Nœrdman durch die Welt von heute... und morgen
  • 洋書

Noch analog oder lebst Du schon? : Mit Nœrdman durch die Welt von heute... und morgen  Paperback,  言語:GER

Drechsler, Rolf/ Stoppe, Jannis

  • ウェブストア価格 ¥3,257(本体¥2,961)
  • Springer(2021/02発売)
  • ポイント 29pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Enhanced Virtual Prototyping : Featuring RISC-V Case Studies
  • 洋書

Enhanced Virtual Prototyping : Featuring RISC-V Case Studies  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥20,695(本体¥18,814)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 188pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2021/04発売)
  • ポイント 206pt
  • 海外取次在庫
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
  • 洋書

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques  Hardcover

Huhn, Sebastian/ Drechsler, Rolf

  • ウェブストア価格 ¥24,834(本体¥22,577)
  • Springer Nature Switzerland AG(2021/04発売)
  • ポイント 225pt
  • 海外取次在庫
Information Storage : A Multidisciplinary Perspective
  • 洋書

Information Storage : A Multidisciplinary Perspective  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 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  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 206pt
  • 海外取次在庫