ana cavalcanti

Grid   List

  1. Refinement Techniques in Software Engineering
    Refinement Techniques in Software Engineering
    Ana Cavalcanti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November December 2...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Handlettering digital
    Handlettering digital
    Ana Luiza Cavalcanti
    Rheinwerk Verlag GmbH
    Ebook
    Sofort lieferbar
    Sehen Sie in diesem Buch, wie cool es ist, analoge Techniken direkt digital umzusetzen! Procreate bietet alle kreativen Möglichkeiten, die sich sogar ein professioneller Grafikdesigner wünscht. Sie...
    18,68 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Theoretical Aspects of Computing
    Theoretical Aspects of Computing
    Ana Cavalcanti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Theoretical Aspects of Computing
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Theoretical Aspects of Computing - ICTAC 2006
    Theoretical Aspects of Computing - ICTAC 2006
    Kamel Barkaoui
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full pap...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Testing Techniques in Software Engineering
    Testing Techniques in Software Engineering
    Paulo Borba
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c coll...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Karin Breitman
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Laure Petrucci
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verificati...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. FM 2009: Formal Methods
    FM 2009: Formal Methods
    Ana Cavalcanti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in Nov...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Software Engineering for Robotics
    Software Engineering for Robotics
    Ana Cavalcanti
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of technique...
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Organ Transplantation and Native Peoples
    Organ Transplantation and Native Peoples
    Estevão Rafael Fernandes
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    The approach proposed in this book is based on the assumption that there are other concepts of bodies, personhood, health, sickness, and collectivity implicated in processes of organ transplantatio...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Ambulatório de Clínica Médica
    Ambulatório de Clínica Médica
    Aline de Hollanda Cavalcanti
    Thieme Revinter
    Ebook
    Sofort lieferbar
    Esta obra reflete a experiência clínica do Serviço de Clínica Médica do HUCFF, que se desenvolve diariamente na integração entre médicos, residentes, alunos de graduação e pós-graduação, com o intu...
    43,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Burle Marx e o Recife
    Burle Marx e o Recife
    Maurício Cavalcanti
    Cepe editora
    Ebook
    Sofort lieferbar
    Neste livro são analisadas 15 praças do Recife projetadas pelo mais celebrado paisagista brasileiro Roberto Burle Marx, no intuito de contribuir para a conscientização da importância da preservação...
    2,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
<%--for search--%>