Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

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

Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

by Deshmukh, Jyotirmoy V, editor literario | Havelund, Klaus, editor literario | NFM (Conference) ((14th : 2022 : Pasadena, Calif.)).

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.9.F67 2022 EB reference

Add to cart
Computer Science - Theory and Applications : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings / edited by Alexander S. Kulikov, Sofya Raskhodnikova

by Kulikov, Alexander S, editor literario | Raskhodnikova, Sofya, editor literario.

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) QA75.5 2022 EB reference

Add to cart
Robust Process Mining with Guarantees : Process Discovery, Conformance Checking and Enhancement / by Sander J. J. Leemans

by Leemans, Sander J. J, 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) HD30.2 reference

Add to cart
Asynchronous Sequential Machine Design and Analysis : A Comprehensive Development of the Design and Analysis of Clock-Independent State Machines and Systems / by Richard Tinder

by Tinder, Richard F.(Richard Franchere), (1930-2011), autor.

Edition: 1st edition 2009Material type: bookE-book Publisher: Cham : Springer International Publishing, 2009
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) TK7868.A79 2009 EB reference

Add to cart
The Theory of Timed I/O Automata / by Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager

by Kaynar, Dilsun K, autor | Lynch, Nancy A.(Nancy Ann), (1948-), autor | Segala, Roberto, (1968-), autor | Vaandrager, Frits, autor.

Edition: 1st edition 2011Material type: bookE-book Publisher: Cham : Springer International Publishing, 2011
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) QA267.5.T45 2011 EB reference

Add to cart
Pages