Results
|
|
|
Approximation and Online Algorithms : 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers / edited by Jochen Koenemann, Britta Peis
by Koenemann, Jochen, editor literario | Peis, Britta, editor literario. Edition: First edition 2021Source: Springer Nature eBookMaterial type:  E-book Publisher: Cham : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA75.5 2021 EB |
reference |
|
|
|
|
|
|
Descriptional Complexity of Formal Systems : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings / edited by Yo-Sub Han, Sang-Ki Ko
by Han, Yo-Sub, editor literario | Ko, Sang-Ki, editor literario. Edition: First edition 2021Source: Springer Nature eBookMaterial type: E-book Publisher: Cham : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA267.3 2021 EB |
reference |
|
|
|
|
|
|
Network and Parallel Computing : 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings / edited by Christophe Cérin, Depei Qian, Jean-Luc Gaudiot, Guangming Tan, Stéphane Zuckerman
by Cérin, Christophe, editor literario | Qian, Depei, editor literario | Gaudiot, Jean-Luc, editor literario | Tan, Guangming, editor literario | Zuckerman, Stéphane, 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.58 2022 EB |
reference |
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies
by Finkbeiner, Bernd, editor literario | Wies, Thomas, 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 .A65 2022 EB |
reference |
|
|
|
|
|
|
Algorithms and Discrete Applied Mathematics : 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022, Proceedings / edited by Niranjan Balachandran, R. Inkulu
by Balachandran, Niranjan, editor literario | Inkulu, R, 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.9 .M35 2022 EB |
reference |
|
|
|
|
|
|
Languages and Compilers for Parallel Computing : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / edited by Barbara Chapman, José Moreira
by Chapman, Barbara, editor literario | Moreira, José, 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.642 2022 EB |
reference |
|
|
|
|
|
|
Internet of Things - ICIOT 2021 : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Bedir Tekinerdogan, Yingwei Wang, Liang-Jie Zhang
by Tekinerdogan, Bedir, editor literario | Wang, Yingwei, 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) |
QA76.5915 2022 EB |
reference |
|
|
|
|
|
|
Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione
by Lai, Yongxuan, editor literario | Wang, Tian, editor literario | Jiang, Min, editor literario | Xu, Guangquan, editor literario | Liang, Wei, editor literario | Castiglione, Aniello, 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.58 2022 EB |
reference |
|
|
|
|
|
|
Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione
by Lai, Yongxuan, editor literario | Wang, Tian, editor literario | Jiang, Min, editor literario | Xu, Guangquan, editor literario | Liang, Wei, editor literario | Castiglione, Aniello, 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.58 2022 EB |
reference |
|
|
|
|
|
|
Algorithms and Architectures for Parallel Processing : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III / edited by Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione
by Lai, Yongxuan, editor literario | Wang, Tian, editor literario | Jiang, Min, editor literario | Xu, Guangquan, editor literario | Liang, Wei, editor literario | Castiglione, Aniello, 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.58 2022 EB |
reference |
|
|
|
|
|
|
Frontiers of Algorithmics : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings / edited by Jing Chen, Minming Li, Guochuan Zhang
by Chen, Jing, editor literario | Li, Minming, editor literario | Zhang, Guochuan, 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.A43 2022 EB |
reference |
|
|
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings / edited by Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek
by Shen, Hong, editor literario | Sang, Yingpeng, editor literario | Zhang, Yong, editor literario | Xiao, Nong, editor literario | Arabnia, Hamid R, editor literario | Fox, Geoffrey, editor literario | Gupta, Ajay, editor literario | Malek, Manu, 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.58 2022 EB |
reference |
|
|
|