A

Ana Cavalcanti

34 books found

Books by Ana Cavalcanti
Formal Methods Second World Congress ProceedingsAna Cavalcanti

Formal Methods Second World Congress Proceedings

Ana Cavalcanti

2010No page data
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 ProceedingsAna Cavalcanti

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Ana Cavalcanti

2010No page data
Profissão artistaAna Paula Cavalcanti Simioni
⏱ 4h 56m

Profissão artista

Ana Paula Cavalcanti Simioni

2004296 pp.
Bruxas Amor e MagiaAna Elizabeth Cavalcanti Da Costa

Bruxas Amor e Magia

Ana Elizabeth Cavalcanti Da Costa

2002No page data
Instabilité monétaire internationaleAna Isabel Bezerra Cavalcanti

Instabilité monétaire internationale

Ana Isabel Bezerra Cavalcanti

2000No page data
Les artistes brésiliens et les prix de voyage en Europe à la fin du XIXe siècleAna Maria Tavares Cavalcanti

Les artistes brésiliens et les prix de voyage en Europe à la fin du XIXe siècle

Ana Maria Tavares Cavalcanti

2000No page data
Fundamental Approaches to Software EngineeringDirk Beyer

Fundamental Approaches to Software Engineering

Dirk Beyer

2024No page data
FM 2009 : Formal MethodsAna Cavalcanti

FM 2009 : Formal Methods

Ana Cavalcanti

2009No page data
Formal Methods and Software EngineeringKarin Breitman

Formal Methods and Software Engineering

Karin Breitman

2009No page data
Direito Fundamental à MoradiaAna Carolina Cavalcanti Erhardt
⏱ 4h 10m

Direito Fundamental à Moradia

Ana Carolina Cavalcanti Erhardt

2015250 pp.
Theoretical aspects of computingKamel Barkaoui
⏱ 6h 11m

Theoretical aspects of computing

Kamel Barkaoui

2006371 pp.
Casamento e união estávelAna Elizabeth Lapa Wanderley Cavalcanti
⏱ 4h 17m

Casamento e união estável

Ana Elizabeth Lapa Wanderley Cavalcanti

2004257 pp.
Refinement Techniques in Software EngineeringAna Cavalcanti
⏱ 6h 36m

Refinement Techniques in Software Engineering

Ana Cavalcanti

2006396 pp.
Theoretical Aspects of Computing - ICTAC 2006Kamel Barkaoui

Theoretical Aspects of Computing - ICTAC 2006

Kamel Barkaoui

2006No page data
Critical SystemsLaure Petrucci
⏱ 4h 9m

Critical Systems

Laure Petrucci

2017249 pp.
Testing Techniques in Software EngineeringAna Cavalcanti,Augusto Sampaio,Paulo Borba

Testing Techniques in Software Engineering

Ana Cavalcanti,Augusto Sampaio,Paulo Borba

2011No page data
Refinement Techniques in Software EngineeringJim Woodcock,Ana Cavalcanti,Augusto Sampaio

Refinement Techniques in Software Engineering

Jim Woodcock,Ana Cavalcanti,Augusto Sampaio

2008No page data
Towards Autonomous Robotic SystemsAna Cavalcanti

Towards Autonomous Robotic Systems

Ana Cavalcanti

2025No page data
Organ Transplantation and Native PeoplesEstevao Rafael Fernandes

Organ Transplantation and Native Peoples

Estevao Rafael Fernandes

2023No page data
Da mulher às mulheresIldney Cavalcanti
⏱ 4h 59m

Da mulher às mulheres

Ildney Cavalcanti

2006299 pp.