Refine your search

Your search returned 49 results.

Sort
Results
Boolean Functions and Their Applications in Cryptography / by Chuan-Kun Wu, Dengguo Feng

by Wu, Chuan-Kun | SpringerLink (Online service) | Feng, Dengguo.

Material type: bookE-book Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA10.3 W834 2016 EB reference

Innovations in Computer Science and Engineering : Proceedings of the Third ICICSE, 2015 / edited by H S Saini, Rishi Sayal, Sandeep Singh Rawat

by Saini, H. S, editor literario | Sayal, Rishi, editor literario | Rawat, Sandeep Singh, editor literario.

Edition: 1st ed.Material type: bookE-book Publisher: Singapore : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA75.5 I566 2016 EB reference

Large-Scale Graph Processing Using Apache Giraph / by Sherif Sakr, Faisal Moeen Orakzai, Ibrahim Abdelaziz, Zuhair Khayyat

by Sakr, Sherif, (1979-) | Orakzai, Faisal Moeen, autor | Abdelaziz, Ibrahim, autor | Khayyat, Zuhair, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .D3 2017 EB reference

Journal on Data Semantics

Material type: serialE-journal; Type of continuing resource: web site Publisher: Berlín : Springer Berlin Heidelberg, 2012-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK5105.88815 ES reference

New data structures and algorithms for logic synthesis and verification / Luca Gaetano Amaru

by Amaru, Luca Gaetano, autor.

Material type: bookE-book Publisher: Switzerland : Springer, [2016]Copyright date: 2017Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .D35 2017 EB reference

International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016 / edited by M. Sreenivasa Reddy, K. Viswanath, Shiva Prasad K.M.

by SpringerLink (Online service) | Reddy, M. Sreenivasa, editor literario | Viswanath, K, editor literario | K.M., Shiva Prasad, editor literario.

Material type: bookE-book Publisher: Singapore : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) Q342 2018 EB reference

Large Scale Data Analytics / by Chung Yik Cho, Rong Kun Jason Tan, John A. Leong, Amandeep S. Sidhu

by SpringerLink (Online service) | Cho, Chung Yik, autor | Leong, John A, autor | Sidhu, Amandeep S, autor | Tan, Rong Kun Jason, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .B45 2019 EB reference

Geometric Structures of Information / edited by Frank Nielsen.

by SpringerLink (Online service) | Nielsen, Frank, editor literario.

Material type: bookE-book Publisher: Cham : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA276.23 2019 EB reference

Archiving Strategies for Evolutionary Multi-objective Optimization Algorithms / by Oliver Schütze, Carlos Hernández.

by Schütze, Oliver, autor | Hernández, Carlos, autor.

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

Cyber-physical systems : a model-based approach / by Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg

by Taha, Walid M, autor | Taha, Abd-Elhamid M, autor | Thunberg, Jonas, (1952-), autor | SpringerLink.

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

Evaluating information retrieval and access tasks : NTCIR's legacy of research impact / edited by Tetsuya Sakai, Douglas W Oard, Noriko Kando

by Sakai, Tetsuya, editor literario | Oard, Douglas W, editor literario | Kando, Noriko, editor literario | SpringerLink.

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

Graph structures for knowledge representation and reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020 : revised selected papers / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph

by Cochez, Michael, editor literario | Croitoru, Madalina, editor literario | Marquis, Pierre, editor literario | Rudolph, Sebastian, editor literario | SpringerLink.

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

Nonsequential and distributed programming with Go : synchronization of concurrent processes : communication - cooperation - competition / by Christian Maurer

by Maurer, Christian, (1945-), autor | SpringerLink.

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

Advances in Information Architecture : the Academics Practitioners Roundtable 2014-2019 / edited by Andrea Resmini, Sarah A Rice, Bernadette Irizarry

by Resmini, Andrea, editor literario | Rice, Sarah A, editor literario | Irizarry, Bernadette, editor literario | SpringerLink.

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

Programación competitiva : manual para concursantes del ICPC y la IOI / Steven Halim, Felix Halim, Suhebdry Effendy ; traductor, Miguel Revilla Rodríguez

by Halim, Steven, autor | Halim, Felix, autor | Effendy, Suhendry, autor | Revilla Rodríguez, Miguel, traductor.

Edition: Primera edición en castellano Publisher: Valladolid : OJ Books, 2021Copyright date: 2021Other title: Programación competitiva (CP4) | Competitive programming 4.Items
Location Call no. Status Vol info Loan type
Colección General (Campus Villaviciosa) QA76.6 .H3518 2021 available
Colección General (Campus Villaviciosa) QA76.6 .H3518 2021 available
Colección General (Campus Villaviciosa) QA76.6 .H3518 2021 available
Colección General (Campus Villaviciosa) QA76.6 .H3518 2021 available
Colección General (Campus Villaviciosa) QA76.6 .H3518 2021 available
Show more

Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings / edited by Luca Bernardinello, Laure Petrucci

by Bernardinello, Luca, editor literario | Petrucci, Laure, 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) QA267 2022 EB reference

Structural Information and Communication Complexity : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings / edited by Merav Parter

by Parter, Merav, 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.A43 2022 EB reference

Transactions on Petri Nets and Other Models of Concurrency XVI / edited by Maciej Koutny, Fabrice Kordon, Daniel Moldt

by Koutny, Maciej, editor literario | Kordon, Fabrice, editor literario | Moldt, Daniel, editor literario.

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

Methods and Applications of Algorithmic Complexity : Beyond Statistical Lossless Compression / by Hector Zenil, Fernando Soler Toscano, Nicolas Gauvrit

by Zenil, Hector, autor | Soler Toscano, Fernando, autor | Gauvrit, Nicolas, (1972-), autor.

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

Demystifying OWL for the Enterprise / by Michael Uschold

by Uschold, Michael, autor.

Edition: 1st edition 2018Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK5105.88815 2018 EB reference

Internet Transport Economics / by Richard T. B. Ma.

by Ma, Richard T. B, autor.

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

Automated Verification of Concurrent Search Structures / by Krishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas

by Krishna, Siddharth, autor | Patel, Nisarg, autor | Shasha, Dennis Elliott, autor | Wies, Thomas, autor.

Edition: 1st edition 2021Material type: bookE-book Publisher: Cham : Springer International Publishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.D3 2021 EB reference

Stream Ciphers in Modern Real-time IT Systems Analysis, Design and Comparative Studies / by Alexandr Alexandrovich Kuznetsov, Oleksandr Volodymyrovych Potii, Nikolay Alexandrovich Poluyanenko, Yurii Ivanovich Gorbenko, Natalia Kryvinska.

by Kuznetsov, Alexandr Alexandrovich, autor | Potii, Oleksandr Volodymyrovych, autor | Poluyanenko, Nikolay Alexandrovich, autor | Gorbenko, Yurii Ivanovich, autor | Kryvinska, Natalia, autor.

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

Learning with the Minimum Description Length Principle / by Kenji Yamanishi

by Yamanishi, Kenji, autor.

Edition: 1st ed 2023Material type: bookE-book Publisher: Singapore : Springer Nature , 2023Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .D35 2023 EB reference

Pages