Refine your search

Your search returned 5136 results.

Sort
Results
Formal Verification of Floating-Point Hardware Design : a Mathematical Approach / by David M. Russinoff

by Russinoff, David, (1948-), autor.

Edition: Second edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.C62 reference

Internet of Things from Hype to Reality : the Road to Digitization / by Ammar Rayes, Samer Salam

by Rayes, Ammar, autor | Salam, Samer, autor.

Edition: Third edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK5105.8857 2022 EB reference

Integrated Uncertainty in Knowledge Modelling and Decision Making : 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18-19, 2022, Proceedings / edited by Katsuhiro Honda, Tomoe Entani, Seiki Ubukata, Van-Nam Huynh, Masahiro Inuiguchi

by Honda, Katsuhiro, editor literario | Entani, Tomoe, editor literario | Ubukata, Seiki, editor literario | Huynh, Van-Nam, editor literario | Inuiguchi, Masahiro, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) Q375 2022 EB reference

Seriation in Combinatorial and Statistical Data Analysis / by Israël César Lerman, Henri Leredde

by Lerman, Israël César, autor | Leredde, Henri, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.D343 2022 EB reference

Higher Education Learning Methodologies and Technologies Online : Third International Workshop, HELMeTO 2021, Pisa, Italy, September 9-10, 2021, Revised Selected Papers / edited by Gabriella Casalino, Marta Cimitile, Pietro Ducange, Natalia Padilla Zea, Riccardo Pecori, Pietro Picerno, Paolo Raviolo

by Casalino, Gabriella, editor literario | Cimitile, Marta, editor literario | Ducange, Pietro, editor literario | Padilla Zea, Natalia, editor literario | Pecori, Riccardo, editor literario | Picerno, Pietro, editor literario | Raviolo, Paolo, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) LB2324 2022 EB reference

Sequence Analysis and Modern C++ : the Creation of the SeqAn3 Bioinformatics Library / by Hannes Hauswedell

by Hauswedell, Hannes, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.73.C153 2022 EB reference

Recommender Systems in Fashion and Retail : Proceedings of the Third Workshop at the Recommender Systems Conference (2021) / edited by Nima Dokoohaki, Shatha Jaradat, Humberto Jesús Corona Pampín, Reza Shirvany

by Dokoohaki, Nima, editor literario | Jaradat, Shatha, editor literario | Corona Pampín, Humberto Jesús, editor literario | Shirvany, Reza, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) ZA3084 2022 EB reference

Smart Card Research and Advanced Applications : 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11-12, 2021, Revised Selected Papers / edited by Vincent Grosso, Thomas Pöppelmann

by Grosso, Vincent, editor literario | Pöppelmann, Thomas, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7895.S62 2022 EB reference

Requirements Engineering: Foundation for Software Quality : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings / edited by Vincenzo Gervasi, Andreas Vogelsang

by Gervasi, Vincenzo, editor literario | Vogelsang, Andreas, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.758 2022 EB reference

Property Testing : Problems and Techniques / by Arnab Bhattacharyya, Yuichi Yoshida

by Bhattacharyya, Arnab, autor | Yoshida, Yuichi, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Singapore : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A43 2022 EB reference

Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation : 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers / edited by Jeffrey Nichols, Arthur 'Barney' Maccabe, James Nutaro, Swaroop Pophale, Pravallika Devineni, Theresa Ahearn, Becky Verastegui

by Nichols, Jeffrey, editor literario | Maccabe, Arthur 'Barney', editor literario | Nutaro, James, editor literario | Pophale, Swaroop, editor literario | Devineni, Pravallika, editor literario | Ahearn, Theresa, editor literario | Verastegui, Becky, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.88 2022 EB reference

Engineering Multi-Agent Systems : 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers / edited by Natasha Alechina, Matteo Baldoni, Brian Logan

by Alechina, Natasha, editor literario | Baldoni, Matteo, editor literario | Logan, Brian, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.I58 2022 EB reference

Big Data and Security : Third International Conference, ICBDS 2021, Shenzhen, China, November 26-28, 2021, Proceedings / edited by Yuan Tian, Tinghuai Ma, Muhammad Khurram Khan, Victor S. Sheng, Zhaoqing Pan

by Tian, Yuan, editor literario | Ma, Tinghuai, editor literario | Khan, Muhammad Khurram, editor literario | Sheng, Victor S, editor literario | Pan, Zhaoqing, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Singapore : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A25 2022 EB reference

Domain-Specific Conceptual Modeling : Concepts, Methods and ADOxx Tools / edited by Dimitris Karagiannis, Moonkun Lee, Knut Hinkelmann, Wilfrid Utz

by Karagiannis, Dimitris, editor literario | Lee, Moonkun, editor literario | Hinkelmann, Knut, editor literario | Utz, Wilfrid, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.C65 2022 EB reference

Applications and Techniques in Information Security : 12th International Conference, ATIS 2021, Virtual Event, December 16-17, 2021, Revised Selected Papers / edited by Shiva Raj Pokhrel, Min Yu, Gang Li

by Pokhrel, Shiva Raj, editor literario | Yu, Min, editor literario | Li, Gang, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Singapore : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A25 2022 EB reference

Pan-African Artificial Intelligence and Smart Systems First International Conference, PAAISS 2021, Windhoek, Namibia, September 6-8, 2021, Proceedings / edited by Telex Magloire N. Ngatched, Isaac Woungang.

by Ngatched, Telex Magloire N, editor literario | Woungang, Isaac, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) Q334 2022 EB reference

Intelligent Transport Systems : 5th EAI International Conference, INTSYS 2021, Virtual Event, November 24-26, 2021, Proceedings / edited by Ana Lúcia Martins, Joao C Ferreira, Alexander Kocian

by Martins, Ana Lúcia, editor literario | Ferreira, Joao C, editor literario | Kocian, Alexander, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TE228.3 2022 EB reference

CCKS 2021 - Evaluation Track : 6th China Conference on Knowledge Graph and Semantic Computing, CCKS 2021, Guangzhou, China, December 25-26, 2021, Revised Selected Papers / edited by Bing Qin, Haofen Wang, Ming Liu, Jiangtao Zhang

by Qin, Bing, editor literario | Wang, Haofen, editor literario | Liu, Ming, editor literario | Zhang, Jiangtao, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Singapore : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.5913 2022 EB reference

Security and Privacy in New Computing Environments : 4th EAI International Conference, SPNCE 2021, Virtual Event, December 10-11, 2021, Proceedings / edited by Wenbo Shi, Xiaofeng Chen, Kim-Kwang Raymond Choo

by Shi, Wenbo, editor literario | Chen, Xiaofeng, editor literario | Choo, Kim-Kwang Raymond, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A25 2022 EB reference

Digital Transformation of Education and Learning - Past, Present and Future : IFIP TC 3 Open Conference on Computers in Education, OCCE 2021, Tampere, Finland, August 17-20, 2021, Proceedings / edited by Don Passey, Denise Leahy, Lawrence Williams, Jaana Holvikivi, Mikko Ruohonen

by Passey, Don, editor literario | Leahy, Denise, editor literario | Williams, Lawrence, editor literario | Holvikivi, Jaana, editor literario | Ruohonen, Mikko, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) LB1028.3 2022 EB reference

Head and Neck Tumor Segmentation and Outcome Prediction : Second Challenge, HECKTOR 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Vincent Andrearczyk, Valentin Oreiller, Mathieu Hatt, Adrien Depeursinge

by Andrearczyk, Vincent, editor literario | Oreiller, Valentin, editor literario | Hatt, Mathieu, editor literario | Depeursinge, Adrien, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) RC78.7.D53 2022 EB reference

Code-Based Cryptography : 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers / edited by Antonia Wachter-Zeh, Hannes Bartz, Gianluigi Liva

by Wachter-Zeh, Antonia, editor literario | Bartz, Hannes, editor literario | Liva, Gianluigi, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.D335 2022 EB reference

Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / edited by Emanuele De Angelis, Wim Vanhoof

by De Angelis, Emanuele, editor literario | Vanhoof, Wim, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.63 2022 EB reference

3D Mesh Processing and Character Animation : with Examples Using OpenGL, OpenMesh and Assimp / by Ramakrishnan Mukundan

by Mukundan, Ramakrishnan, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T385 2022 EB reference

Making Knowledge Management Clickable : Knowledge Management Systems Strategy, Design, and Implementation / by Joseph Hilger, Zachary Wahl

by Hilger, Joseph, autor | Wahl, Zachary, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) HD30.2 2022 EB reference

Pages