Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

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

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
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
Pages