Results
|
|
|
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder
by Bouyer, Patricia, editor literario. Edition: First edition 2022Material type:  E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.751 2022 EB |
reference |
|
|
|
|
|
|
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Ilya Sergey
by Sergey, Ilya, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.6 2022 EB |
reference |
|
|
|
|
|
|
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Einar Broch Johnsen, Manuel Wimmer
by Johnsen, Einar Broch, editor literario | Wimmer, Manuel, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.758 2022 EB |
reference |
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu.
by Fisman, Dana, editor literario | Rosu, Grigore, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.S88 2022 EB |
reference |
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu
by Fisman, Dana, editor literario | Rosu, Grigore, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.S88 2022 EB |
reference |
|
|
|
|
|
|
Language, Logic, and Computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova
by Zinova, Yulia, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.L63 2022 EB |
reference |
|
|
|
|
|
|
Modelling and Simulation for Autonomous Systems : 8th International Conference, MESAS 2021, Virtual Event, October 13-14, 2021, Revised Selected Papers / edited by Jan Mazal, Adriano Fagiolini, Petr Vasik, Michele Turi, Agostino Bruzzone, Stefan Pickl, Vlastimil Neumann, Petr Stodola
by Mazal, Jan, editor literario | Fagiolini, Adriano, editor literario | Vasik, Petr, editor literario | Turi, Michele, editor literario | Bruzzone, Agostino, editor literario | Pickl, Stefan, editor literario | Neumann, Vlastimil, editor literario | Stodola, Petr, editor literario. Edition: First edition 2022Material type: E-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 |
|
|
|
|
|
|
Evolutionary Computation in Combinatorial Optimization : 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Leslie Pérez Cáceres, Sébastien Verel
by Pérez Cáceres, Leslie, editor literario | Verel, Sébastien, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.M35 2022 EB |
reference |
|
|
|
|
|
|
Advances in Information Retrieval : 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10-14, 2022, Proceedings, Part I / edited by Matthias Hagen, Suzan Verberne, Craig Macdonald, Christin Seifert, Krisztian Balog, Kjetil Nørvåg, Vinay Setty
by Hagen, Matthias, editor literario | Verberne, Suzan, editor literario | Macdonald, Craig, editor literario | Seifert, Christin, editor literario | Balog, Krisztian, editor literario | Nørvåg, Kjetil, editor literario | Setty, Vinay, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
ZA3075 2022 EB |
reference |
|
|
|
|
|
|
Advances in Information Retrieval : 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10-14, 2022, Proceedings, Part II / edited by Matthias Hagen, Suzan Verberne, Craig Macdonald, Christin Seifert, Krisztian Balog, Kjetil Nørvåg, Vinay Setty
by Hagen, Matthias, editor literario | Verberne, Suzan, editor literario | Macdonald, Craig, editor literario | Seifert, Christin, editor literario | Balog, Krisztian, editor literario | Nørvåg, Kjetil, editor literario | Setty, Vinay, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
ZA3075 2022 EB |
reference |
|
|
|
|
|
|
Advances in Intelligent Data Analysis XX : 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings / edited by Tassadit Bouadi, Elisa Fromont, Eyke Hüllermeier
by Bouadi, Tassadit, editor literario | Fromont, Elisa, editor literario | Hüllermeier, Eyke, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
Q337.5 2022 EB |
reference |
|
|
|
|
|
|
Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools / edited by Joanna Kołodziej, Matteo Repetto, Armend Duzha
by Kołodziej, Joanna, editor literario | Repetto, Matteo, editor literario | Duzha, Armend, editor literario. Edition: First edition 2022Material type: E-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 |
|
|
|
|
|
|
Security and Artificial Intelligence : a Crossdisciplinary Approach / edited by Lejla Batina, Thomas Bäck, Ileana Buhan, Stjepan Picek
by Batina, Lejla, editor literario | Bäck, Thomas, editor literario | Buhan, Ileana, editor literario | Picek, Stjepan, editor literario. Edition: First edition 2022Material type: E-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 |
|
|
|
|
|
|
Risks and Security of Internet and Systems : 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers / edited by Bo Luo, Mohamed Mosbah, Frédéric Cuppens, Lotfi Ben Othmane, Nora Cuppens, Slim Kallel
by Luo, Bo, editor literario | Mosbah, Mohamed, editor literario | Cuppens, Frédéric, editor literario | Ben Othmane, Lotfi, editor literario | Cuppens, Nora, editor literario | Kallel, Slim, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105.59 2022 EB |
reference |
|
|
|
|
|
|
Service-Oriented and Cloud Computing : 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings / edited by Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann
by Montesi, Fabrizio, editor literario | Papadopoulos, George Angelos, editor literario | Zimmermann, Wolf, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.585 2022 EB |
reference |
|
|
|
|
|
|
Applications of Evolutionary Computation : 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Juan Luis Jiménez Laredo, J. Ignacio Hidalgo, Kehinde Oluwatoyin Babaagba
by Jiménez Laredo, Juan Luis, editor literario | Hidalgo, J. Ignacio, editor literario | Babaagba, Kehinde Oluwatoyin, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.618 2022 EB |
reference |
|
|
|
|
|
|
Artificial Intelligence in Music, Sound, Art and Design : 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Tiago Martins, Nereida Rodríguez-Fernández, Sérgio M. Rebelo
by Martins, Tiago, editor literario | Rodríguez-Fernández, Nereida, editor literario | Rebelo, Sérgio M, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.618 2022 EB |
reference |
|
|
|
|
|
|
Genetic Programming : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Eric Medvet, Gisele Pappa, Bing Xue
by Medvet, Eric, editor literario | Pappa, Gisele, editor literario | Xue, Bing, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.623 2022 EB |
reference |
|
|
|
|
|
|
Pattern Recognition and Image Analysis : 10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4-6, 2022, Proceedings / edited by Armando J. Pinho, Petia Georgieva, Luís F. Teixeira, Joan Andreu Sánchez
by Pinho, Armando J, editor literario | Georgieva, Petia, editor literario | Teixeira, Luís F, editor literario | Sánchez, Joan Andreu, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TA1650 2022 EB |
reference |
|
|
|
|
|
|
Database Systems for Advanced Applications : 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part I / edited by Arnab Bhattacharya, Janice Lee Mong Li, Divyakant Agrawal, P. Krishna Reddy, Mukesh Mohania, Anirban Mondal, Vikram Goyal, Rage Uday Kiran
by Bhattacharya, Arnab, editor literario | Lee Mong Li, Janice, editor literario | Agrawal, Divyakant, editor literario | Reddy, P. Krishna, editor literario | Mohania, Mukesh, editor literario | Mondal, Anirban, editor literario | Goyal, Vikram, editor literario | Uday Kiran, Rage, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D3 2022 EB |
reference |
|
|
|
|
|
|
Database Systems for Advanced Applications : 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part II / edited by Arnab Bhattacharya, Janice Lee Mong Li, Divyakant Agrawal, P. Krishna Reddy, Mukesh Mohania, Anirban Mondal, Vikram Goyal, Rage Uday Kiran
by Bhattacharya, Arnab, editor literario | Lee Mong Li, Janice, editor literario | Agrawal, Divyakant, editor literario | Reddy, P. Krishna, editor literario | Mohania, Mukesh, editor literario | Mondal, Anirban, editor literario | Goyal, Vikram, editor literario | Uday Kiran, Rage, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D3 2022 EB |
reference |
|
|
|
|
|
|
Embedded Computer Systems: Architectures, Modeling, and Simulation : 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings / edited by Alex Orailoglu, Matthias Jung, Marc Reichenbach
by Orailoglu, Alex, editor literario | Jung, Matthias, editor literario | Reichenbach, Marc, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.A73 2022 EB |
reference |
|
|
|
|
|
|
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings / edited by Michael Hanus, Atsushi Igarashi
by Hanus, Michael, editor literario | Igarashi, Atsushi, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.62 2022 EB |
reference |
|
|
|
|
|
|
Developments in Language Theory : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings / edited by Volker Diekert, Mikhail Volkov
by Diekert, Volker, editor literario | Volkov, Mikhail, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA267.3 2022 EB |
reference |
|
|
|
|
|
|
Pattern Recognition : 6th Asian Conference, ACPR 2021, Jeju Island, South Korea, November 9-12, 2021, Revised Selected Papers, Part II / edited by Christian Wallraven, Qingshan Liu, Hajime Nagahara
by Wallraven, Christian, editor literario | Liu, Qingshan, editor literario | Nagahara, Hajime, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK7882.P3 2022 EB |
reference |
|
|
|