Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

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

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
An Introduction to Online Computation : Determinism, Randomization, Advice / by Dennis Komm

by Komm, Dennis | SpringerLink (Online service).

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.55 K666 2016 EB reference

Add to cart
Decision Procedures : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. 2016.Material type: bookE-book Publisher: Berlin, Heidelberg : Springer, 2016
Online access: Click here to access onlineDigital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA279.4 K764 2016 EB reference

Add to cart
Formal Methods for Software Engineering : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

by Roggenbach, Markus, autor | Cerone, Antonio, autor | Schlingloff, Bernd-Holger, autor | Schneider, Gerardo, autor | Shaikh, Siraj Ahmed, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 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) QA76.758 2022 EB reference

Add to cart
Pages