Your search returned 9 results.

Sort
Results
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015 / edited by Rolf Drechsler, Robert Wille

by SpringerLink (Online service) | Drechsler, Rolf, editor literario | Wille, Robert, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.F67 L364 2016 EB reference

Automatic methods for the refinement of system models : from the specification to the implementation / Julia Seiter, Robert Wille, Rolf Drechsler

by Seiter, Julia, autor | Drechsler, Rolf, autor | Wille, Robert, autor.

Material type: bookE-book Publisher: Switzerland : Springer, [2016]Copyright date: 2017Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2017 EB reference

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 / edited by Franco Fummi, Robert Wille.

by Fummi, Franco, editor literario | Wille, Robert, editor literario.

Publisher: Cham : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.F67 L364 2018 EB reference

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers / by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.

by SpringerLink (Online service) | Przigoda, Nils, autor. | Wille, Robert, autor. | Przigoda, Judith, autor. | Drechsler, Rolf, autor..

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.O35 2018 EB reference

Exact Design of Digital Microfluidic Biochips / by Oliver Keszocze, Robert Wille, Rolf Drechsler.

by SpringerLink (Online service) | Keszocze, Oliver, autor | Drechsler, Rolf, autor | Wille, Robert, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2019 EB reference

Designing Droplet Microfluidic Networks : A Toolbox for Designers / by Andreas Grimmer, Robert Wille

by Grimmer, Andreas | Wille, Robert, autor.

Edition: 1st ed. 2020Material type: bookE-book Publisher: Cham : Springer International Publishing, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TJ853.4 .M53 2020 EB reference

Introducing Design Automation for Quantum Computing / / Alwin Zulehner, Robert Wille

by Zulehner, Alwin, autor | Wille, Robert, autor | SpringerLink (Online service).

Edition: First editionMaterial type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.889 2020 EB reference

High Performance Simulation for Industrial Paint Shop Applications / by Kevin Verma, Robert Wille.

by Verma, Kevin, autor | Wille, Robert, autor.

Edition: First edition 2021 Publisher: Cham : Springer International Pulishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA357.5.D37 2021 EB reference

Design Automation for Field-coupled Nanotechnologies / by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler

by Walter, Marcel, (1983-), autor | Wille, Robert, autor | Sill Torres, Frank, autor | Drechsler, Rolf, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publishing, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T174.7 2022 EB reference

Pages