Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

CRAI Library - Madrid
Your cart is empty.
My folder ( items) | My account

Your search returned 14 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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, 2016
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.F67 L364 2016 EB reference

Add to cart
Reversible and Quantum Circuits : Optimization and Complexity Analysis / by Nabila Abdessaied, Rolf Drechsler

by Abdessaied, Nabila | SpringerLink (Online service) | Drechsler, Rolf.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 A234 2016 EB reference

Add to cart
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: 2017
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2017 EB reference

Add to cart
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, 2018
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.O35 2018 EB reference

Add to cart
Advanced Logic Synthesis / edited by André Inácio Reis, Rolf Drechsler.

by Reis, André Inácio, editor literario | Drechsler, Rolf, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7874 .A383 2018 EB reference

Add to cart
Formal System Verification State-of the-Art and Future Trends / edited by Rolf Drechsler.

by Drechsler, Rolf, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.V47 F676 2018 EB reference

Add to cart
Formal Specification Level Concepts, Methods, and Algorithms / by Mathias Soeken, Rolf Drechsler.

by Soeken, Mathias, autor. | Drechsler, Rolf, autor..

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2015
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .N38 S645 2015 EB reference

Add to cart
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test / Arun Chandrasekharan, Daniel Große, Rolf Drechsler

by Chandrasekharan, Arun, autor | Drechsler, Rolf, autor | Große, Daniel, autor | SpringerLink (Online service).

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2019 EB reference

Add to cart
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, 2019
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2019 EB reference

Add to cart
Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems / edited by Rolf Drechsler, Mathias Soeken

by Drechsler, Rolf, editor | Soeken, Mathias, editor.

Edition: First editionMaterial type: bookE-book Publisher: Cham : Springer International Publishing, 2020
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA10.3 2020 EB reference

Add to cart
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications / / Mehran Goli, Rolf Drechsler

by Goli, Mehran, autor | Drechsler, Rolf, autor | SpringerLink (Online service).

Edition: First editionMaterial type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TS171.8 2020 EB reference

Add to cart
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques / by Sebastian Huhn, Rolf Drechsler

by Huhn, Sebastian, (1974-), autor | Drechsler, Rolf, autor.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publishing, 2021
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7874 2021 EB reference

Add to cart
Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems / edited by Rolf Drechsler, Daniel Große

by Drechsler, Rolf, editor literario | Daniel Grosse, editor literario.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publishing, 2021
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA10.3 2021 EB reference

Add to cart
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, 2022
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T174.7 2022 EB reference

Add to cart
Pages