Ana Cavalcanti | Akateeminen Kirjakauppa

Software Engineering for Robotics

Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Springer Nature Switzerland AG
2021
Kovakantinen kirja

120,90 €

Refinement Techniques in Software Engineering - First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazi

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Cavalcanti, Ana; Dams, Dennis
Springer
2009
Pehmeäkantinen kirja

100,90 €

Theoretical Aspects of Computing - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Procee

Cavalcanti, Ana; Deharbe, David; Gaudel, Marie-Claude; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Handlettering digital

Cavalcanti, Ana Luiza
Rheinwerk Verlag GmbH
2019
Pehmeäkantinen kirja

28,20 €

Teoria Da Relação Jurídica Na Sociedade Da Informação: Internet, Negócio Jurídico, Direitos Intelectuais, Família e Empresa

Cavalcanti, Ana Elizabeth Lapa Wanderley; Naspolini, Samyra Haydêe Dal Farra; Fujita, Jorge Shiguemitsu
Touchladybirdlucky Studios
2021
Pehmeäkantinen kirja

13,20 €

Software Engineering for Robotics

Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja

120,90 €

The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part I

Cavalcanti, Ana; Baxter, James
Springer
2024
Pehmeäkantinen kirja

67,10 €

The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II

Cavalcanti, Ana; Baxter, James
Springer
2024
Pehmeäkantinen kirja

67,10 €

A descoberta de Cauã

Cavalcanti, Ana Lucia Gobbi;
Ases Da Literatura
2024
Pehmeäkantinen kirja

32,30 €

Towards Autonomous Robotic Systems - 26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings

Cavalcanti, Ana; Foster, Simon; Richardson, Robert
Springer Nature Switzerland AG
2025
Pehmeäkantinen kirja

89,30 €

Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro

Breitman, Karin; Cavalcanti, Ana
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

100,90 €

Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife,

Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim
Springer
2010
Pehmeäkantinen kirja

51,10 €

Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial

Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Housing Shaped by Labour

Chagas Cavalcanti, Ana Rosa
Jovis Verlag GmbH
2018
Pehmeäkantinen kirja

55,00 €

Propriedades funcionais da farinha de grãos de sorgo germinado

Leite, Daniela Dantas de Farias; Cavalcanti, Mônica Tejo; Silva, Adriano Sant'Ana
Novas Edições Acadêmicas
2019
Pehmeäkantinen kirja

71,60 €

Organ Transplantation and Native Peoples - An Interdisciplinary Approach

Fernandes, Estevão Rafael; Nobrega Cavalcanti, Ana Karoline
Springer International Publishing AG
2023
Pehmeäkantinen kirja

46,20 €

Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European

Beyer, Dirk; Cavalcanti, Ana
Springer
2024
Pehmeäkantinen kirja

41,20 €