Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

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

Your search returned 31 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog

by Apt, Krzysztof R, (1949-) | Olderog, E.-R.

Edition: 2nd edMaterial type: articlePrinted books Publisher: New York : Springer, cop. 1997Items
Location Call no. Status Vol info Loan type
Depósito 2 (Alcobendas) QA76.76 .V47 A67 1997 available

Place hold Add to cart
No cover image available
On concurrent programming / Fred B. Schneider

by Schneider, Fred B.

Material type: articlePrinted books Publisher: New York [etc.] : Springer, cop. 1997

Add to cart
Digital Image Processing : An Algorithmic Introduction Using Java / by Wilhelm Burger, Mark J Burge

by SpringerLink (Online service) | Burger, Wilhelm | Burge, Mark J.

Edition: 2nd ed.Material type: bookE-book Publisher: London : Springer London, 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) TA1637 .B885 2016 EB reference

Add to cart
Computational Intelligence : A Methodological Introduction / by Rudolf Kruse, Christian Borgelt, Christian Braune, Sanaz Mostaghim, Matthias Steinbrecher

by SpringerLink (Online service) | Kruse, Rudolf, autor | Braune, Christian | Borgelt, Christian | Mostaghim, Sanaz | Steinbrecher, Matthias.

Edition: 2nd editionMaterial type: bookE-book Publisher: London : Springer London, 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) Q335 .K78 2016 EB reference

Add to cart
Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications / by Gerard O'Regan

by O'Regan, Gerard | 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.9.M35 O74 2016 EB reference

Add to cart
Concise guide to quantum computing : algorithms, exercises, and implementations / by Sergei Kurgalin, Sergei Borzunov

by Kurgalin, Sergei, autor | Borzunov, Sergei, autor | SpringerLink.

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

Add to cart
Computational Methods for Deep Learning : Theoretic, Practice and Applications / by Wei Qi Yan

by Yan, Wei Qi, autor | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 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) Q325.5 2021 EB reference

Add to cart
Guide to Web Development with Java . Understanding Website Creation / by Tim Downey

by Downey, Tim, autor | SpringerLink.

Edition: Second edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 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) TK5105.888 2021 EB reference

Add to cart
Fundamentals of Multimedia / by Ze-Nian Li, Mark S Drew, Jiangchuan Liu

by Li, Ze-Nian, autor | Drew, Mark S, autor | Liu, Jiangchuan, autor | SpringerLink.

Edition: Thrid edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 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) QA76.575 2021 EB reference

Add to cart
Guide to Industrial Analytics : Solving Data Science Problems for Manufacturing and the Internet of Things / by Richard Hill, Stuart Berry

by Hill, Richard, autor | Berry, Stuart, autor.

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

Add to cart
Fundamentals of Image Data Mining : Analysis, Features, Classification and Retrieval / by Dengsheng Zhang

by Zhang, Dengsheng.

Edition: Second edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 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) QA76.9 .D343 2021 EB reference

Add to cart
Guide to Graph Colouring Algorithms and Applications / by R. M. R. Lewis.

by Lewis, Rhyd M. R.

Edition: Second edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 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) QA90 2021 EB reference

Add to cart
Algorithms on Trees and Graphs With Python Code / by Gabriel Valiente.

by Valiente, Gabriel, (1963-).

Edition: Second edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 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) QA166.245  2021 EB reference

Add to cart
Practical Optimization Algorithms and Engineering Applications / by Andreas Antoniou, Wu-Sheng Lu.

by Antoniou, Andreas, (1938-) | Lu, Wu-Sheng, autor.

Edition: Second edition 2021Material type: bookE-book Publisher: New York, NY : Springer International Publising Springer International Publising, 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) TA330 2021 EB reference

Add to cart
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / by Gerard O'Regan.

by O'Regan, Gerard(Cornelius Gerard).

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

Add to cart
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification / by Zhe Hou.

by Hou, Zhe.

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

Add to cart
Computer Vision : Algorithms and Applications / by Richard Szeliski

by Szeliski, Richard, (1958-), autor.

Edition: Second edition 2022Source: Springer Nature eBookMaterial 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) TA1634 .S945 2022b reference

Add to cart
Animated Problem Solving : An Introduction to Program Design Using Video Game Development / by Marco T. Morazán

by Morazán, Marco T, autor.

Edition: First edition 2022Source: Springer Nature eBookMaterial 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.6 2022 EB reference

Add to cart
Computational Intelligence : A Methodological Introduction / by Rudolf Kruse, Sanaz Mostaghim, Christian Borgelt, Christian Braune, Matthias Steinbrecher

by Kruse, Rudolf, autor | Mostaghim, Sanaz, autor | Borgelt, Christian, autor | Braune, Christian, autor | Steinbrecher, Matthias, autor.

Edition: Third 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) Q342 2022 EB reference

Add to cart
Animated Program Design Intermediate Program Design Using Video Game Development / by Marco T Morazán

by Morazán, Marco T, autor.

Edition: 1st edition 2022 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) reference

Add to cart
Programming in Two Semesters Using Python and Java / by Quentin Charatan, Aaron Kans

by Charatan, Quentin, autor | Kans, Aaron, autor.

Edition: 1st edition 2022 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) reference

Add to cart
Programming Language Design and Implementation / by Torben Ægidius Mogensen

by Ægidius Mogensen, Torben, autor.

Edition: 1st edition 2022 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) reference

Add to cart
Digital Image Processing An Algorithmic Introduction / by Wilhelm Burger, Mark J Burge

by Burger, Wilhelm, autor | Burge, Mark J, autor.

Edition: 3rd edition 2022 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) reference

Add to cart
Understanding Computation Pillars, Paradigms, Principles / by Arnold L Rosenberg, Lenwood S Heath

by Rosenberg, Arnold L, autor | Heath, Lenwood S, autor.

Edition: 1st edition 2022 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) reference

Add to cart
Programming-Based Formal Languages and Automata Theory : Design, Implement, Validate, and Prove / by Marco T Morazán

by Morazán, Marco T, autor.

Edition: first edition 2024 Publisher: Cham : Springer International Publishing, 2024
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-268.5 2024 reference

Add to cart
Pages