AGG - Livro
: [5]
Página principal da coleção
Items da Coleção (Ordenados por Data de depósito em ordem descendente): 1 até 5 de 5
Data | Título | Autor(es) | Tipo | Acesso |
Out-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-Dez-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 | |
Ago-2016 | Cálculo diferencial a várias variáveis: o essencial | Carvalho, Paula; Descalço, Luís | book | |
Items da Coleção (Ordenados por Data de depósito em ordem descendente): 1 até 5 de 5
Entradas recentes
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