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
  • 海外取次在庫
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
  • 海外取次在庫
Designing Droplet Microfluidic Networks : A Toolbox for Designers
  • 洋書

Designing Droplet Microfluidic Networks : A Toolbox for Designers  Paperback,  言語:ENG

Grimmer, Andreas/ Wille, Robert

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 208pt
  • 海外取次在庫
High Performance Simulation for Industrial Paint Shop Applications
  • 洋書

High Performance Simulation for Industrial Paint Shop Applications  Hardcover

Verma, Kevin/ Wille, Robert

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/04発売)
  • ポイント 104pt
  • 海外取次在庫
High Performance Simulation for Industrial Paint Shop Applications
  • 洋書

High Performance Simulation for Industrial Paint Shop Applications  Paperback

Verma, Kevin/ Wille, Robert

  • ウェブストア価格 ¥12,557(本体¥11,416)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 114pt
  • 海外からお取り寄せ(通常6~9週間)
Einführung in die Entwurfsautomatisierung für Quantencomputer
  • 洋書

Einführung in die Entwurfsautomatisierung für Quantencomputer  Hardcover

Zulehner, Alwin/ Wille, Robert

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Vieweg(2023/12発売)
  • ポイント 170pt
  • 海外取次在庫
Noise-Aware Quantum Circuit Simulation with Decision Diagrams (Synthesis Lectures on Engineering, Science, and Technology) (2024)
  • 洋書

Noise-Aware Quantum Circuit Simulation with Decision Diagrams (Synthesis Lectures on Engineering, Science, and Technology) (2024)  Hardcover,  言語:ENG

Grurl, Thomas/ Fuß, Jürgen/ Wille, Robert

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外取次在庫
Design Automation for Field-coupled Nanotechnologies (2022)
  • 洋書

Design Automation for Field-coupled Nanotechnologies (2022)  Hardcover,  言語:ENG

Walter, Marcel/ Wille, Robert/ Sill Torres, Frank

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Design Automation for Field-coupled Nanotechnologies (2022)
  • 洋書

Design Automation for Field-coupled Nanotechnologies (2022)  Paperback,  言語:ENG

Walter, Marcel/ Wille, Robert/ Sill Torres, Frank

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 208pt
  • 海外取次在庫