Manuel A. Martins - Böcker

Visar alla böcker från författaren Manuel A. Martins.

4 produkter

Kategorier

4 produkter

Molecular Logic and Computational Synthetic Biology

First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Av Madalena Chaves, Manuel A. Martins

Häftad, Engelska, 2019

699 kr

Skickas inom 10-15 vardagar

Dynamic Logic. New Trends and Applications

Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

Av Manuel A. Martins, Igor Sedlár m. fl

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Recent Trends in Algebraic Development Techniques

26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers

Av Alexandre Madeira, Manuel A. Martins

Häftad, Engelska, 2023

779 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

Av José Proença, Raul Fervari m. fl

Häftad, Engelska, 2025

1 209 kr

Skickas inom 10-15 vardagar