21 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
21 results

Your search for Ana Cavalcanti

  1. Cover: Towards Autonomous Robotic Systems - Springer
    Ana Cavalcanti | Simon Foster | Robert Richardson
    Towards Autonomous Robotic Systems
    26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings
    08/2025
    Springer
    9783032014863 (ISBN)
    E-Book
    PDF
    Other editions
    €78.10
    Available for download
  2. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2021
    1st EDN1st Edition
    Springer
    9783030664947 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  3. Cover: The Practice of Formal Methods - Springer
    Ana Cavalcanti | James Baxter
    The Practice of Formal Methods
    Essays in Honour of Cliff Jones, Part II
    09/2024
    Springer
    9783031666735 (ISBN)
    E-Book
    PDF
    Other editions
    €139.09
    Available for download
  4. Cover: The Practice of Formal Methods - Springer
    Ana Cavalcanti | James Baxter
    The Practice of Formal Methods
    Essays in Honour of Cliff Jones, Part I
    09/2024
    Springer
    9783031666766 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  5. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Laure Petrucci | Cristina Seceleanu | Ana Cavalcanti
    Critical Systems: Formal Methods and Automated Verification
    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
    09/2017
    Springer
    9783319671130 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Towards Autonomous Robotic Systems - Springer
    Ana Cavalcanti | Simon Foster | Robert Richardson
    Towards Autonomous Robotic Systems
    26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings
    08/2025
    Springer
    9783032014856 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €79.17
    Available immediately
  7. Cover: Testing Techniques in Software Engineering - Springer
    Paulo Borba | Ana Cavalcanti | Augusto Sampaio
    Testing Techniques in Software Engineering
    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    07/2010
    Springer
    9783642143359 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Theoretical Aspects of Computing - Springer
    Ana Cavalcanti | David Deharbe | Marie-Claude Gaudel
    Theoretical Aspects of Computing
    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    08/2010
    Springer
    9783642148088 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2022
    Springer
    9783030664961 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 7-9 days
  10. Cover: Testing Techniques in Software Engineering - Springer
    Paulo Borba | Ana Cavalcanti | Augusto Sampaio
    Testing Techniques in Software Engineering
    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    07/2010
    1st EDN1st Edition
    Springer
    9783642143342 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  11. Cover: FM 2009: Formal Methods - Springer
    Ana Cavalcanti | Dennis Dams
    FM 2009: Formal Methods
    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    10/2009
    Springer
    9783642050886 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 5-7 days
  12. Cover: Theoretical Aspects of Computing - Springer
    Ana Cavalcanti | David Deharbe | Marie-Claude Gaudel
    Theoretical Aspects of Computing
    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    08/2010
    1st EDN1st Edition
    Springer
    9783642148071 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  13. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2021
    Springer
    9783030664930 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 7-9 days
  14. Cover: Refinement Techniques in Software Engineering - Springer
    Ana Cavalcanti | Augusto Sampaio | Jim Woodcock
    Refinement Techniques in Software Engineering
    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    09/2006
    Springer
    9783540462538 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Formal Methods and Software Engineering - Springer
    Karin Breitman | Ana Cavalcanti
    Formal Methods and Software Engineering
    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    11/2009
    Springer
    9783642103728 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  16. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Laure Petrucci | Cristina Seceleanu | Ana Cavalcanti
    Critical Systems: Formal Methods and Automated Verification
    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
    08/2017
    Springer
    9783319671123 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: The Practice of Formal Methods - Springer
    Ana Cavalcanti | James Baxter
    The Practice of Formal Methods
    Essays in Honour of Cliff Jones, Part I
    08/2024
    Springer
    9783031666759 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.61
    Shipment within 15-20 days
  18. Cover: The Practice of Formal Methods - Springer
    Ana Cavalcanti | James Baxter
    The Practice of Formal Methods
    Essays in Honour of Cliff Jones, Part II
    08/2024
    Springer
    9783031666728 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.61
    Shipment within 15-20 days
  19. Cover: Fundamental Approaches to Software Engineering - Springer
    Dirk Beyer | Ana Cavalcanti
    Fundamental Approaches to Software Engineering
    27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
    04/2024
    Springer
    9783031572586 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  20. Cover: Theoretical Aspects of Computing - ICTAC 2006 - Springer
    Kamel Barkaoui | Ana Cavalcanti | Antonio Cerone
    Theoretical Aspects of Computing - ICTAC 2006
    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    10/2006
    Springer
    9783540488156 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
    2. of 2