Manuel A. Martins

Manuel A. Martins

Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12569

Editat de Manuel A. Martins et al.

22 dec 2020

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques

Editat de Alexandre Madeira et al.

22 oct 2023

Preț: 343^.00 lei 428^.75 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Lecture Notes in Computer Science

Editat de José Proença et al.

12 aug 2025

Preț: 488^.57 lei 610^.71 lei

39-44 zile

-20%

Molecular Logic and Computational Synthetic Biology: First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11415

Editat de Madalena Chaves et al.

28 apr 2019

Preț: 313^.87 lei 392^.34 lei

6-8 săpt.

-20%