Manuel A. Martins – författare
Visar alla böcker från författaren .
4 produkter
4 produkter
Del 11415 - Lecture Notes in Computer Science
Molecular Logic and Computational Synthetic Biology
First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Häftad, Engelska, 2019
709 kr
Skickas inom 10-15 vardagar
Del 12569 - Lecture Notes in Computer Science
Dynamic Logic. New Trends and Applications
Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Del 13710 - Lecture Notes in Computer Science
Recent Trends in Algebraic Development Techniques
26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
Häftad, Engelska, 2023
799 kr
Skickas inom 5-8 vardagar
Del 15551 - Lecture Notes in Computer Science
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Häftad, Engelska, 2025
1 069 kr
Skickas inom 5-8 vardagar