Results
|
|
|
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:  E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 2022 EB |
reference |
|
|
|
|
|
|
Smart Computing and Communication : 6th International Conference, SmartCom 2021, New York City, NY, USA, December 29-31, 2021, Proceedings / edited by Meikang Qiu, Keke Gai, Han Qiu
by Qiu, Meikang, editor literario | Gai, Keke, editor literario | Qiu, Han, 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 |
|
|
|
|
|
|
MultiMedia Modeling : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part II / edited by Björn Þór Jónsson, Cathal Gurrin, Minh-Triet Tran, Duc-Tien Dang-Nguyen, Anita Min-Chun Hu, Binh Huynh Thi Thanh, Benoit Huet
by Þór Jónsson, Björn, editor literario | Gurrin, Cathal, editor literario | Tran, Minh-Triet, editor literario | Dang-Nguyen, Duc-Tien, editor literario | Hu, Anita Min-Chun, editor literario | Huynh Thi Thanh, Binh, editor literario | Huet, Benoit, 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.575 2022 EB |
reference |
|
|
|
|
|
|
MultiMedia Modeling : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part I / edited by Björn Þór Jónsson, Cathal Gurrin, Minh-Triet Tran, Duc-Tien Dang-Nguyen, Anita Min-Chun Hu, Binh Huynh Thi Thanh, Benoit Huet
by Þór Jónsson, Björn, editor literario | Gurrin, Cathal, editor literario | Tran, Minh-Triet, editor literario | Dang-Nguyen, Duc-Tien, editor literario | Hu, Anita Min-Chun, editor literario | Huynh Thi Thanh, Binh, editor literario | Huet, Benoit, 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) |
TA1634 |
reference |
|
|
|
|
|
|
Large-Scale Scientific Computing : 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7-11, 2021, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov
by Lirkov, Ivan, editor literario | Margenov, Svetozar, 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) |
Q183.9 2022 EB |
reference |
|
|
|
|
|
|
Computational Processing of the Portuguese Language : 15th International Conference, PROPOR 2022, Fortaleza, Brazil, March 21-23, 2022, Proceedings / edited by Vládia Pinheiro, Pablo Gamallo, Raquel Amaro, Carolina Scarton, Fernando Batista, Diego Silva, Catarina Magro, Hugo Pinto
by Pinheiro, Vládia, editor literario | Gamallo, Pablo, editor literario | Amaro, Raquel, editor literario | Scarton, Carolina, editor literario | Batista, Fernando, editor literario | Silva, Diego, editor literario | Magro, Catarina, editor literario | Pinto, Hugo, 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) |
PC5044.5 2022 EB |
reference |
|
|
|
|
|
|
Research Challenges in Information Science : 16th International Conference, RCIS 2022, Barcelona, Spain, May 17-20, 2022, Proceedings / edited by Renata Guizzardi, Jolita Ralyté, Xavier Franch
by Guizzardi, Renata, editor literario | Ralyté, Jolita, editor literario | Franch, Xavier, 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) |
T58.5 2022 EB |
reference |
|
|
|
|
|
|
Artificial Intelligence in HCI : 3rd International Conference, AI-HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings / edited by Helmut Degen, Stavroula Ntoa
by Degen, Helmut, editor literario | Ntoa, Stavroula, 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.H85 2022 EB |
reference |
|
|
|
|
|
|
Comparative Genomics : 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022, Proceedings / edited by Lingling Jin, Dannie Durand
by Jin, Lingling, editor literario | Durand, Dannie, 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) |
QH447 2022 EB |
reference |
|
|
|
|
|
|
Image Analysis and Processing - ICIAP 2022 : 21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part I / edited by Stan Sclaroff, Cosimo Distante, Marco Leo, Giovanni M. Farinella, Federico Tombari
by Sclaroff, Stan, editor literario | Distante, Cosimo, editor literario | Leo, Marco, editor literario | Farinella, Giovanni M, editor literario | Tombari, Federico, 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) |
TA1637 2022 EB |
reference |
|
|
|
|
|
|
Image Analysis and Processing - ICIAP 2022 : 21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part III / edited by Stan Sclaroff, Cosimo Distante, Marco Leo, Giovanni M. Farinella, Federico Tombari
by Sclaroff, Stan, editor literario | Distante, Cosimo, editor literario | Leo, Marco, editor literario | Farinella, Giovanni M, editor literario | Tombari, Federico, 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) |
TA1634 2022 EB |
reference |
|
|
|
|
|
|
Image Analysis and Processing - ICIAP 2022 : 21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part II / edited by Stan Sclaroff, Cosimo Distante, Marco Leo, Giovanni M. Farinella, Federico Tombari
by Sclaroff, Stan, editor literario | Distante, Cosimo, editor literario | Leo, Marco, editor literario | Farinella, Giovanni M, editor literario | Tombari, Federico, 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) |
TA1637 2022 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Document Analysis Systems : 15th IAPR International Workshop, DAS 2022, La Rochelle, France, May 22-25, 2022, Proceedings / edited by Seiichi Uchida, Elisa Barney, Véronique Eglin
by Uchida, Seiichi, editor literario | Barney, Elisa, editor literario | Eglin, Véronique, 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 |
|
|
|
|
|
|
Web and Wireless Geographical Information Systems : 19th International Symposium, W2GIS 2022, Constance, Germany, April 28-29, 2022, Proceedings / edited by Farid Karimipour, Sabine Storandt
by Karimipour, Farid, editor literario | Storandt, Sabine, 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) |
G70.212 2022 EB |
reference |
|
|
|
|
|
|
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14-16, 2021, Revised Selected Papers / edited by Stephen Poole, Oscar Hernandez, Matthew Baker, Tony Curtis
by Poole, Stephen, editor literario | Hernandez, Oscar, editor literario | Baker, Matthew, editor literario | Curtis, Tony, 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 |
|
|
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings / edited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
by Collart-Dutilleul, Simon, editor literario | Haxthausen, Anne E, editor literario | Lecomte, Thierry, 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 |
|
|
|
|
|
|
Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings / edited by Hasti Seifi, Astrid M. L. Kappers, Oliver Schneider, Knut Drewing, Claudio Pacchierotti, Alireza Abbasimoshaei, Gijs Huisman, Thorsten A. Kern
by Seifi, Hasti, editor literario | Kappers, Astrid M. L, editor literario | Schneider, Oliver, editor literario | Drewing, Knut, editor literario | Pacchierotti, Claudio, editor literario | Abbasimoshaei, Alireza, editor literario | Huisman, Gijs, editor literario | Kern, Thorsten A, 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.U83 2022 EB |
reference |
|
|
|
|
|
|
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
by Deshmukh, Jyotirmoy V, editor literario | Havelund, Klaus, editor literario | NFM (Conference) ((14th : 2022 : Pasadena, Calif.)). 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.F67 2022 EB |
reference |
|
|
|
|
|
|
Design, Operation and Evaluation of Mobile Communications : Third International Conference, MOBILE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings / edited by Gavriel Salvendy, June Wei
by Salvendy, Gavriel, editor literario | Wei, June, editor literario | International Conference on Human-Computer Interaction ((24th : 2022 : Online)). 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.U83 QA76.9.H85 |
reference |
|
|
|
|
|
|
Virtual, Augmented and Mixed Reality: Design and Development 14th International Conference, VAMR 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I / edited by Jessie Y. C. Chen, Gino Fragomeni
by Chen, Jessie Y. C, editor literario | Fragomeni, Gino, editor literario | International Conference on Human-Computer Interaction ((24th : 2022 : Online)). 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.V5 2022 EB |
reference |
|
|
|
|
|
|
Cross-Cultural Design. Product and Service Design, Mobility and Automotive Design, Cities, Urban Areas, and Intelligent Environments Design 14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part IV / edited by Pei-Luen Patrick Rau.
by Rau, Pei-Luen Patrick, editor literario | International Conference on Human-Computer Interaction ((24th : 2022 : Online)). 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.U83 2022 EB |
reference |
|
|
|
|
|
|
Human Interface and the Management of Information: Visual and Information Design Thematic Area, HIMI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I / edited by Sakae Yamamoto, Hirohiko Mori.
by Yamamoto, Sakae, editor literario | Mori, Hirohiko, 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.H85 2022 EB |
reference |
|
|
|
|
|
|
Science and Technologies for Smart Cities : 7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings / edited by Sara Paiva, Xuejun Li, Sérgio Ivan Lopes, Nishu Gupta, Danda B. Rawat, Asma Patel, Hamid Reza Karimi
by Paiva, Sara, editor literario | Li, Xuejun, editor literario | Lopes, Sérgio Ivan, editor literario | Gupta, Nishu, editor literario | Rawat, Danda B, editor literario | Patel, Asma, 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) |
TD159.4 2022 EB |
reference |
|
|
|
|
|
|
Natural Language Processing and Information Systems : 27th International Conference on Applications of Natural Language to Information Systems, NLDB 2022, Valencia, Spain, June 15-17, 2022, Proceedings / edited by Paolo Rosso, Valerio Basile, Raquel Martínez, Elisabeth Métais, Farid Meziane
by Rosso, Paolo, editor literario | Basile, Valerio, editor literario | Métais, Elisabeth, 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.N38 2022 EB |
reference |
|
|
|