Formal System Verification : State-of the-Art and Future Trends
  • 洋書
  • 電子版あり

Formal System Verification : State-of the-Art and Future Trends  Hardcover,  言語:ENG

Drechsler, Rolf (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer : Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus)
  • 洋書

Computer : Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus)  Paperback,  言語:GER

Drechsler, Rolf/ Fink, Andrea/ Stoppe, Jannis

  • ウェブストア価格 ¥3,905(本体¥3,550)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/03発売)
  • ポイント 35pt
  • 海外からお取り寄せ(通常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,751(本体¥17,047)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 170pt
  • オンデマンド(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,280(本体¥2,982)
  • Springer(2021/02発売)
  • ポイント 29pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
In-Memory Computing : Synthesis and Optimization
  • 洋書
  • 電子版あり

In-Memory Computing : Synthesis and Optimization  Hardcover

Shirinzadeh, Saeideh/ Drechsler, Rolf

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 208pt
  • 海外取次在庫
Information Storage : A Multidisciplinary Perspective
  • 洋書

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

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

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

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 208pt
  • オンデマンド(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)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 208pt
  • 海外取次在庫
Formal Specification Level : Concepts, Methods, and Algorithms
  • 洋書

Formal Specification Level : Concepts, Methods, and Algorithms  Paperback

Soeken, Mathias/ Drechsler, Rolf

  • Springer International Publishing AG(2016/08発売)
  • ご注文いただけません
Advanced Logic Synthesis
  • 洋書
  • 電子版あり

Advanced Logic Synthesis  Hardcover

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

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 208pt
  • 海外取次在庫
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • 洋書
  • 電子版あり

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers  Hardcover,  言語:ENG

Przigoda, Nils/ Wille, Robert/ Przigoda, Judith

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 322pt
  • 海外取次在庫
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • 洋書

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers  Paperback,  言語:ENG

Przigoda, Nils/ Wille, Robert/ Przigoda, Judith

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer International Publishing AG(2019/06発売)
  • ポイント 322pt
  • 海外取次在庫
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
  • 洋書
  • 電子版あり

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test  Hardcover

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

  • ウェブストア価格 ¥12,557(本体¥11,416)
  • Springer International Publishing AG(2018/10発売)
  • ポイント 114pt
  • 海外からお取り寄せ(通常6~9週間)
Exact Design of Digital Microfluidic Biochips
  • 洋書
  • 電子版あり

Exact Design of Digital Microfluidic Biochips  Hardcover,  言語:ENG

Keszocze, Oliver/ Wille, Robert/ Drechsler, Rolf

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 208pt
  • 海外取次在庫
In-Memory Computing : Synthesis and Optimization
  • 洋書

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

Shirinzadeh, Saeideh/ Drechsler, Rolf

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

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer Vieweg(2023/09発売)
  • ポイント 227pt
  • 海外取次在庫
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,366(本体¥24,879)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2024発売)
  • ポイント 248pt
  • 海外からお取り寄せ(通常6~9週間)
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,836(本体¥18,942)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 189pt
  • オンデマンド(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,919(本体¥20,836)
  • Springer Nature Switzerland AG(2021/04発売)
  • ポイント 208pt
  • 海外取次在庫
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,117(本体¥22,834)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)