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
Leveraging aplications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht

by Lamprecht, Anna-Lena, editor literario.

Material type: bookE-book Publisher: Cham (Alemania) : Springer International Publishing, 2016
Online access: Click here to access onlineDigital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TJ211.45 .L484 2016 EB reference

Add to cart
Mechanism Design for Robotics : Proceedings of the 4th IFToMM Symposium on Mechanism Design for Robotics / edited by Alessandro Gasparetto, Marco Ceccarelli

by SpringerLink (Online service) | Gasparetto, Alessandro, editor literario | Ceccarelli, Marco, editor literario.

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) TJ210.3 2019 EB reference

Add to cart
Proceedings of the 2019 DigitalFUTURES : The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019) / edited by Philip F. Yuan, Yi Min (Mike) Xie, Jiawei Yao, Chao Yan

by Yuan, Philip F, editor | Xie, Yi Min (Mike), editor | Yao, Jiawei, editor | Yan, Chao, editor.

Edition: First editionMaterial type: bookE-book Publisher: Singapore : Springer Singapore : 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) TA347 .A78 2020 EB reference

Add to cart
Pages