Results
|
|
|
Language and automata theory and applications : 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, proceedings / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron
by Leporati, Alberto, editor literario | Martín-Vide, Carlos, editor literario | Shapira, Dana, editor literario | Zandron, Claudio, editor literario | SpringerLink. Edition: First edition 2021Material type:  E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA267.3 2021 EB |
reference |
|
|
|
|
|
|
Euro-Par 2020 : parallel processing workshops : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020 : revised selected papers / edited by Bartosz Balis, Dora B Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L Scott, Didem Unat, Roman Wyrzykowski
by Balis, Bartosz, editor literario | B. Heras, Dora, editor literario | Antonelli, Laura, editor literario | Bracciali, Andrea, editor literario | Gruber, Thomas, editor literario | Hyun-Wook, Jin, editor literario | Kuhn, Michael, editor literario | Scott, Stephen L, editor literario | Unat, Didem, editor literario | Wyrzykowski, Roman, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.58 2021 EB |
reference |
|
|
|
|
|
|
Variable neighborhood search : 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21-25, 2021 : proceedings / edited by Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar
by Mladenovic, Nenad, editor literario | Sleptchenko, Andrei, editor literario | Sifaleras, Angelo, editor literario | Omar, Mohammed, editor literario | SpringerLink. Edition: First edition 2021Material type: E-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 |
|
|
|
|
|
|
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Esther Guerra, Mariëlle Stoelinga
by Guerra, Esther, editor literario | Stoelinga, Mariëlle, editor literario | SpringerLink. Edition: First edition 2021Material type: E-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 |
|
|
|
|
|
|
Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings . Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen
by Groote, Jan Friso, editor literario | Larsen, Kim Guldstrand, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9 .S88 2021 EB |
reference |
|
|
|
|
|
|
Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings . Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen
by Groote, Jan Friso, editor literario | Larsen, Kim Guldstrand, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9 .S88 2021 EB |
reference |
|
|
|
|
|
|
Programming languages and systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Nobuko Yoshida
by Yoshida, Nobuko, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.7 2021 EB |
reference |
|
|
|
|
|
|
Evolutionary multi-criterion optimization : 11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021, Proceedings / edited by Hisao Ishibuchi, Qingfu Zhang, Ran Cheng, Ke Li, Hui Li, Handing Wang, Aimin Zhou
by Ishibuchi, Hisao, editor literario | Zhang, Qingfu, editor literario | Cheng, Ran, editor literario | Li, Ke, editor literario | Li, Hui, editor literario | Wang, Handing, editor literario | Zhou, Aimin, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9 .A43 2021 EB |
reference |
|
|
|
|
|
|
Genetic programming : 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Ting Hu, Nuno Lourenço, Eric Medvet
by Hu, Ting, editor literario | Lourenço, Nuno, editor literario | Medvet, Eric, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.623 2021 EB |
reference |
|
|
|
|
|
|
Languages and compilers for parallel computing : 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers / edited by Santosh Pande, Vivek Sarkar
by Pande, Santosh, editor literario | Sarkar, Vivek, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.642 2021 EB |
reference |
|
|
|
|
|
|
Evolutionary computation in combinatorial optimization : 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Christine Zarges, Sébastien Verel
by Zarges, Christine, editor literario | Verel, Sébastien, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TA347 .E96 2021 EB |
reference |
|
|
|
|
|
|
High Performance Computing in Science and Engineering : 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20-23, 2019, Revised Selected Papers / edited by Tomáš Kozubek, Peter Arbenz, Jiří Jaroš, Lubomír Říha, Jakub Šístek, Petr Tichý
by Kozubek, Tomáš, editor literario | Arbenz, Peter, editor literario | Jaroš, Jiří, editor literario | Říha, Lubomír, editor literario | Šístek, Jakub, editor literario | Tichý, Petr, editor literario | SpringerLink. Edition: First edition 2021Material type: E-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 |
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings / edited by Fritz Henglein, Sharon Shoham, Yakir Vizel
by Henglein, Fritz, editor literario | Shoham, Sharon, editor literario | Vizel, Yakir, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.V47 2021 EB |
reference |
|
|
|
|
|
|
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Stefan Kiefer, Christine Tasson
by Kiefer, Stefan, editor literario | Tasson, Christine, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.754 2021 EB |
reference |
|
|
|
|
|
|
Applications of Evolutionary Computation : 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Pedro A Castillo, Juan Luis Jiménez Laredo
by Castillo, Pedro A, editor literario | Jiménez Laredo, Juan Luis, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TA347.E96 2021 EB |
reference |
|
|
|
|
|
|
Artificial Intelligence in Music, Sound, Art and Design : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Juan Romero, Tiago Martins, Nereida Rodríguez-Fernández
by Romero, Juan, editor literario | Martins, Tiago, editor literario | Rodríguez-Fernández, Nereida, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 2021 EB |
reference |
|
|
|
|
|
|
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future . Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement / edited by Marco Aiello, Athman Bouguettaya, Damian Andrew Tamburri, Willem-Jan van den Heuvel
by Aiello, Marco, editor literario | Bouguettaya, Athman, editor literario | Tamburri, Damian Andrew, editor literario | van den Heuvel, Willem-Jan, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105.5828 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: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76 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: E-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 |
|
|
|
|
|
|
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández
by Fernández, Maribel, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 2021 EB |
reference |
|
|
|
|
|
|
Cellular Automata : 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2-4, 2020, Proceedings / edited by Tomasz M Gwizdałła, Luca Manzoni, Georgios Ch Sirakoulis, Stefania Bandini, Krzysztof Podlaski
by Gwizdałła, Tomasz M, editor literario | Manzoni, Luca, editor literario | Sirakoulis, Georgios Ch, editor literario | Bandini, Stefania, editor literario | Podlaski, Krzysztof, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA267.5.C45 2021 EB |
reference |
|
|
|
|
|
|
WALCOM: Algorithms and Computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings / edited by Ryuhei Uehara, Seok-Hee Hong, Subhas C Nandy
by Uehara, Ryuhei, editor literario | Hong, Seok-Hee, editor literario | Nandy, Subhas C, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.A43 2021 EB |
reference |
|
|
|
|
|
|
Arithmetic of Finite Fields : 8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020, Revised Selected and Invited Papers / edited by Jean Claude Bajard, Alev Topuzoğlu
by Bajard, Jean Claude, editor literario | Topuzoğlu, Alev, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA247 2021 EB |
reference |
|
|
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies 21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020, Proceedings / edited by Yong Zhang, Yicheng Xu, Hui Tian
by Zhang, Yong, editor literario | Xu, Yicheng, editor literario | Tian, Hui, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.58 2021 EB |
reference |
|
|
|