AGG - Livro
: [5]
Collection home page
Collection's Items (Sorted by Submit Date in Descending order): 1 to 5 of 5
| Issue Date | Title | Author(s) | Type | Access Type |
| Oct-2023 | Recent trends in algebraic development techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers | Madeira, Alexandre; Martins, Manuel A. | book |  |
| 1-Dec-2020 | Dynamic logic: new trends and applications | Martins, Manuel A.; Sedlár, Igor | book | |
| 2018 | Dynamic logic. New trends and applications: proceedings of the first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 | Madeira, Alexandre; Benevides, Mario | book | |
| 2019 | Molecular logic and computational synthetic biology: first international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers | Chaves, Madalena; Martins, Manuel A. | book | |
| Aug-2016 | Cálculo diferencial a várias variáveis: o essencial | Carvalho, Paula; Descalço, Luís | book | |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 5 of 5
Recent Submissions
Recent trends in algebraic development techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
Dynamic logic: new trends and applications
Dynamic logic. New trends and applications: proceedings of the first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017
Molecular logic and computational synthetic biology: first international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers