Hoppa till sidans huvudinnehåll

Alexandre Madeira – författare

Visar alla böcker från författaren Alexandre Madeira.
4 produkter
Alexandre Madeira, Manuel A. Martins - Recent Trends in Algebraic Development Techniques, Häftad
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

799 kr

Skickas inom 5-8 vardagar

Alexandre Madeira, Alexander Knapp - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

AvAlexandre Madeira,Alexander Knapp

Häftad, Engelska, 2024

1 019 kr

Skickas inom 5-8 vardagar

  • Nyhet
Jing Wang, Alexandre Madeira, Lei Li - Dynamic Logic. New Trends and Applications, Häftad

Dynamic Logic. New Trends and Applications

6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers

AvJing Wang,Alexandre Madeiram. fl.

Häftad, Engelska, 2026

759 kr

Skickas inom 11-20 vardagar

Alexandre Madeira, Mário Benevides - Dynamic Logic. New Trends and Applications, Häftad
Del 10669 - Lecture Notes in Computer Science

Dynamic Logic. New Trends and Applications

First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

AvAlexandre Madeira,Mário Benevides

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar