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 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan
by ter Beek, Maurice H, editor literario | Monahan, Rosemary, 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.F67 2022 EB |
reference |
|
|
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / edited by Mohammad Reza Mousavi, Anna Philippou
by Mousavi, Mohammad Reza, editor literario | Philippou, Anna, 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.D5 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 |
|
|
|
|
|
|
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke
by Kovács, Laura, editor literario | Meinke, Karl, 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 |
|
|
|
|
|
|
Developments in Language Theory : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings / edited by Volker Diekert, Mikhail Volkov
by Diekert, Volker, editor literario | Volkov, Mikhail, 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) |
QA267.3 2022 EB |
reference |
|
|
|