Results
|
|
|
From data to models and back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Mirco Nanni
by Bowles, Juliana, editor literario | Broccia, Giovanna, editor literario | Nanni, Mirco, 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 |
|
|
|
|
|
|
Requirements Engineering : Foundation for Software Quality : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings / edited by Fabiano Dalpiaz, Paola Spoletini
by Dalpiaz, Fabiano, editor literario | Spoletini, Paola, 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 |
|
|
|
|
|
|
Accelerator Programming Using Directives : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland
by Bhalachandra, Sridutt, editor literario | Wienke, Sandra, editor literario | Chandrasekaran, Sunita, editor literario | Juckeland, Guido, 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.6 2021 EB |
reference |
|
|
|
|
|
|
Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / edited by José F Morales, Dominic Orchard
by Morales, José F, editor literario | Orchard, Dominic, 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 |
|
|
|
|
|
|
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: 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 |
|
|
|
|
|
|
Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri
by Cheney, James, editor literario | Perri, Simona, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.615 2022 EB |
reference |
|
|
|
|
|
|
Performance Evaluation and Benchmarking : 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess
by Nambiar, Raghunath, editor literario | Poess, Meikel, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105 2022 EB |
reference |
|
|
|
|
|
|
Services - SERVICES 2021 : 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Mohamed Adel Serhani, Liang-Jie Zhang
by Serhani, Mohamed Adel, editor literario | Zhang, Liang-Jie, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105.888 2022 EB |
reference |
|
|
|
|
|
|
Web Services - ICWS 2021 : 28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Chengzhong Xu, Yunni Xia, Yuchao Zhang, Liang-Jie Zhang
by Xia, Yunni, editor literario | Zhang, Yuchao, editor literario | Zhang, Liang-Jie, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105.888 2022 EB |
reference |
|
|
|
|
|
|
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers / edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
by Bloem, Roderick, editor literario | Dimitrova, Rayna, editor literario | Fan, Chuchu, editor literario | Sharygina, Natasha, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76 .V47 2022 EB |
reference |
|
|
|
|
|
|
Services Computing - SCC 2021 : 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Ajay Katangur, Liang-Jie Zhang
by Katangur, Ajay, editor literario | Zhang, Liang-Jie, editor literario. Edition: First edition 2022Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TK5105.88813 2022 EB |
reference |
|
|
|
|
|
|
Accelerator Programming Using Directives : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara
by Bhalachandra, Sridutt, editor literario | Daley, Christopher, editor literario | Melesse Vergara, Verónica, 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 |
|
|
|