Manuel A. Martins – författare

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

4 produkter

Kategorier

4 produkter

Del 11415
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
AvMadalena Chaves,Manuel A. Martins
Häftad, Engelska, 2019
719 kr
Skickas inom 10-15 vardagar
Del 12569
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
AvManuel A. Martins,Igor Sedlár
Häftad, Engelska, 2020
739 kr
Skickas inom 10-15 vardagar
Del 13710
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
AvAlexandre Madeira,Manuel A. Martins
Häftad, Engelska, 2023
819 kr
Skickas inom 5-8 vardagar
Del 15551
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
AvJosé Proença,Raul Fervarim. fl.
Häftad, Engelska, 2025
1 099 kr
Skickas inom 5-8 vardagar