De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af Ana Cavalcanti

Filter
Filter
Sorter efterSorter Populære
  • - Recipes: pet birthday recipe book
    af Ana Cavalcanti
    98,95 kr.

    It's a Cook books for your pet's birthday Cake, after all almost everyone has a pet at home, when the day to celebrate comes, we always think of doing something to celebrate another year of life for our friend four legs, thinking about it I took some courses in animal nutrition. I did research and consulted with my pet chef's vet. Chase he is a very beautiful golden retriever and loves to try my treats, our cakes and biscuits are made with 100% natural products and all ingredients are allowed for dogs.

  • - Receitas: bolos e biscoitos pet para aniversário
    af Ana Cavalcanti
    118,95 kr.

    Este livro é baseado em meu relacionamento com Gödel Retrieve, de 3 anos. Chase foi minha inspiração e motivação para estudar e pesquisar nutrição animal. Eu precisava saber o que era permitido e o que não era permitido para cães. Queria muito fazer para ele um bolo de aniversário que parecesse um bolo de festa humana, queria também um bolo saudável, preparado com produtos naturais. Chase e eu trabalhamos duro por muitas horas como uma equipe. Fiz bolos e biscoitos e Chase experimentou. Foi assim que nasceu o nosso livro de receitas "pet chef".

  • - ICTAC 2010
    af Ana Cavalcanti
    594,95 kr.

    Constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010.

  • af Ana Cavalcanti, Jim Woodcock, Jon Timmis, mfl.
    1.430,95 kr.

  • - 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    af Karin Breitman
    1.167,95 kr.

    Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend and to help - vance the state of the art. This volume contains the papers presented at ICFEM 2009, the 11th International Conference on Formal Engineering Methods, held during December 9-11, in Rio de Janeiro, Brazil.

  • af Ana Cavalcanti
    594,95 kr.

    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 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.