Refine your search

Your search returned 4278 results.

Sort
Results
Software engineering and formal methods : SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers / edited by Loek Cleophas, Mieke Massink

by Cleophas, Loek, editor literario | Massink, Mieke, 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.758 2021 EB reference

Transactions on large-scale data- and knowledge-centered systems XLVII : special issue on digital ecosystems and social networks / edited by Abdelkader Hameurlain, A Min Tjoa, Richard Chbeir

by Hameurlain, Abdelkader, editor literario | Tjoa, A Min, editor literario | Chbeir, Richard, editor literario | SpringerLink.

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

Algebra and Geometry with Python / 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, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .M35 2021 EB reference

Multi-Agent-Based Simulation XXI : 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers / edited by Samarth Swarup, Bastin Tony Roy Savarimuthu

by Swarup, Samarth, editor literario | Savarimuthu, Bastin Tony Roy, 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.76 .I58 2021 EB reference

Building better interfaces for remote autonomous systems : an introduction for systems engineers / by Jacob D Oury, Frank E Ritter

by Oury, Jacob D, autor | Ritter, Frank E, 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 .U83 2021 EB reference

Dark Web investigation / edited by Babak Akhgar, Marco Gercke, Stefanos Vrochidis, Helen Gibson

by Akhgar, Babak, editor literario | Gercke, Marco, editor literario | Vrochidis, Stefanos, editor literario | Gibson, Helen, 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 .A25 2021 EB reference

The theory of hash functions and random oracles : an approach to modern cryptography / by Arno Mittelbach, Marc Fischlin

by Mittelbach, Arno, autor | Fischlin, Marc, 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 .A25 2021 EB reference

Mobile, secure, and programmable networking : 6th International Conference, MSPN 2020, Paris, France, October 28-29, 2020, Revised Selected Papers / edited by Samia Bouzefrane, Maryline Laurent, Selma Boumerdassi, Eric Renault

by Bouzefrane, Samia, editor literario | Laurent, Maryline, editor literario | Boumerdassi, Selma, editor literario | Renault, Eric, 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) TK5105.5 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

SOFSEM 2021 : theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings / edited by Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdziński, Claus Pahl, Florian Sikora, Prudence WH Wong

by Bureš, Tomáš, editor literario | Dondi, Riccardo, editor literario | Gamper, Johann, editor literario | Guerrini, Giovanna, editor literario | Jurdziński, Tomasz, editor literario | Pahl, Claus, editor literario | Sikora, Florian, editor literario | Wong, Prudence W.H, 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 2021 EB reference

Security and privacy in new computing environments : Third EAI International Conference, SPNCE 2020, Lyngby, Denmark, August 6-7, 2020, Proceedings / edited by Ding Wang, Weizhi Meng, Jinguang Han

by Wang, Ding, editor literario | Meng, Weizhi, editor literario | Han, Jinguang, 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) TK5105.59 2021 EB reference

Computer-Human Interaction Research and Applications : Second International Conference, CHIRA 2018, Seville, Spain, September 19-21, 2018 and Third International Conference, CHIRA 2019, Vienna, Austria, September 20-21, 2019, Revised Selected Papers / edited by Maria Jose Escalona, Andres Jimenez Ramirez, Hugo Plácido Silva, Larry Constantine, Markus Helfert, Andreas Holzinger

by Escalona, Maria Jose, editor literario | Ramirez, Andres Jimenez, editor literario | Silva, Hugo Plácido, editor literario | Constantine, Larry, editor literario | Helfert, Markus, editor literario | Holzinger, Andreas, 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 .H85 2021 EB reference

Software Business 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16-18, 2020, Proceedings / edited by Eriks Klotins, Krzysztof Wnuk

by Klotins, Eriks, editor literario | Wnuk, Krzysztof, 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) HD9696.2 2021 EB reference

Collaborative Computing : Networking, Applications and Worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020, Proceedings . Part I / edited by Honghao Gao, Xinheng Wang, Muddesar Iqbal, Yuyu Yin, Jianwei Yin, Ning Gu

by Gao, Honghao, editor literario | Wang, Xinheng, editor literario | Iqbal, Muddesar, editor literario | Yin, Yuyu, editor literario | Yin, Jianwei, editor literario | Gu, Ning, 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) TK5105.5 2021 EB reference

Collaborative Computing : Networking, Applications and Worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020, Proceedings . Part II / edited by Honghao Gao, Xinheng Wang, Muddesar Iqbal, Yuyu Yin, Jianwei Yin, Ning Gu

by Gao, Honghao, editor literario | Wang, Xinheng, editor literario | Iqbal, Muddesar, editor literario | Yin, Yuyu, editor literario | Yin, Jianwei, editor literario | Gu, Ning, 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) TK5105.5 2021 EB reference

Blockchain technology and application : Third CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20, 2020, Revised Selected Papers / edited by Ke Xu, Jianming Zhu, Xianhua Song, Zeguang Lu

by Xu, Ke, editor literario | Zhu, Jianming, editor literario | Song, Xianhua, editor literario | Lu, Zeguang, 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 .A73 2021 EB reference

Adversary-aware learning techniques and trends in cybersecurity / edited by Prithviraj Dasgupta, Joseph B Collins, Ranjeev Mittu

by Dasgupta, Prithviraj, editor literario | Collins, Joseph B, editor literario | Mittu, Ranjeev, 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 .A25 2021 EB reference

Learning technologies and systems : 19th International Conference on Web-Based Learning, ICWL 2020, and 5th International Symposium on Emerging Technologies for Education, SETE 2020, Ningbo, China, October 22-24, 2020, Proceedings / edited by Chaoyi Pang, Yunjun Gao, Guanliang Chen, Elvira Popescu, Lu Chen, Tianyong Hao, Bailing Zhang, Silvia Margarita Baldiris Navarro, Qing Li

by Pang, Chaoyi, editor literario | Gao, Yunjun, editor literario | Chen, Guanliang, editor literario | Popescu, Elvira, editor literario | Chen, Lu, editor literario | Hao, Tianyong, editor literario | Zhang, Bailing, editor literario | Navarro, Silvia Margarita Baldiris, editor literario | Li, Qing, 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) LB1028.3 2021 EB reference

MultiMedia modeling : 27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings . Part I / edited by Jakub Lokoč, Tomáš Skopal, Klaus Schoeffmann, Vasileios Mezaris, Xirong Li, Stefanos Vrochidis, Ioannis Patras

by Lokoč, Jakub, editor literario | Skopal, Tomáš, editor literario | Schoeffmann, Klaus, editor literario | Mezaris, Vasileios, editor literario | Li, Xirong, editor literario | Vrochidis, Stefanos, editor literario | Patras, Ioannis, 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.575 2021 EB reference

MultiMedia modeling : 27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings . Part II / edited by Jakub Lokoč, Tomáš Skopal, Klaus Schoeffmann, Vasileios Mezaris, Xirong Li, Stefanos Vrochidis, Ioannis Patras

by Lokoč, Jakub, editor literario | Skopal, Tomáš, editor literario | Schoeffmann, Klaus, editor literario | Mezaris, Vasileios, editor literario | Li, Xirong, editor literario | Vrochidis, Stefanos, editor literario | Patras, Ioannis, 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.575 2021 EB reference

Proceedings of International Conference on Advances in Computer Engineering and Communication Systems ICACECS 2020 / edited by C Kiran Mai, B V Kiranmayee, Margarita N Favorskaya, Suresh Chandra Satapathy, K Srujan Raju

by Kiran Mai, C, editor literario | Kiranmayee, B. V, editor literario | Favorskaya, Margarita N, editor literario | Chandra Satapathy, Suresh, editor literario | Raju, K. Srujan, 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) TK7885 2021 EB reference

Machine learning and intelligent communications : 5th International Conference, MLICOM 2020, Shenzhen, China, September 26-27, 2020, Proceedings / edited by Mingxiang Guan, Zhenyu Na

by Guan, Mingxiang, editor literario | Na, Zhenyu, 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) Q325.5 2021 EB reference

Artificial intelligence and data mining in healthcare : / edited by Malek Masmoudi, Bassem Jarboui, Patrick Siarry

by Masmoudi, Malek, editor literario | Jarboui, Bassem, editor literario | Siarry, Patrick, 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) R859.7 .A78 2021 EB reference

Algorithms and Discrete Applied Mathematics : 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021, Proceedings / edited by Apurva Mudgal, C R Subramanian

by Mudgal, Apurva, editor literario | Subramanian, C. R, 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 .M35 2021 EB reference

Internet of Things Security : Principles and Practice / by Qinghao Tang, Fan Du

by Tang, Qinghao, autor | Du, Fan, autor | 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) TK5105.59 2021 EB reference

Pages