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 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings / edited by David Clark, Hector Menendez, Ana Rosa Cavalli
by Clark, David, editor literario | Menendez, Hector, editor literario | Cavalli, Ana Rosa, 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.76.T48 2022 EB |
reference |
|
|
|
|
|
|
Mobile Wireless Middleware, Operating Systems and Applications : 10th International Conference on Mobile Wireless Middleware, Operating Systems and Applications (MOBILWARE 2021) / edited by Dalai Tang, Joni Zhong, Dalin Zhou
by Tang, Dalai, editor literario | Zhong, Joni, editor literario | Zhou, Dalin, editor literario. Edition: 1st edition 2022Material type: E-book Publisher: Cham : Springer International Publishing, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.59 2022 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Development of Safety-Critical Systems : Architecture and Software / by Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya
by Karmakar, Gopinath, autor | Wakankar, Amol, autor | Kabra, Ashutosh, autor | Pandya, Paritosh K, autor. Edition: 1st ed 2023Material type: E-book Publisher: Cham : Springer Nature Switzerland , 2023Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76 .R44 2023 EB |
reference |
|
|
|