Type Theory and Formal Proof

Quem comprou também comprou

• 

  Instrumentação preventiva industrial

  R$ 44,90 à vista
• 

  Solos tropicais: a revolução da engenharia rodoviária moderna: do MCT às tecnologias emergentes: ciência, inovação e ap

  R$ 64,90 à vista
• 

  Fundamentos de Manutenção de Software

  R$ 63,90 à vista
• 

  Desmascarando a I.A: minha missão para proteger o que é humano em um mundo de máquinas

  R$ 99,90 à vista
• 

  Python Fluente vol. 3

  R$ 200,00 R$ 150,00 em 3 x R$ 50,00 sem juros
• 

  Use a cabeça! PHP e MySQL

  R$ 195,50 em 3 x R$ 65,16 sem juros
• 

  O dia em que esquecemos como pensar : estamos ficando maisinteligentes ou apenas mais dependentes da tecnologia?

  R$ 59,90 à vista
• 

  Google em Cuba: Colonialismo de dados na reaproximação Washington-Havana

  R$ 75,90 à vista
• 

  Ecossistema de Fatores Humanos

  R$ 77,00 à vista
• 

  Order@Cloud - Organizando a Nuvem com objetivos e custos

  R$ 67,80 à vista
• 

  Infâncias violadas no ciberespaço: inteligência artificial, deepfakes e os desafios do direito penal no combate ao estu

  R$ 200,00 em 3 x R$ 66,66 sem juros
• 

  A ciência do extraordinário: inteligência artificial, ciências quânticas e o destino da humanidade

  R$ 59,90 à vista
• 

  Desvendando a Inteligência Artificial : Uma Jornada Através da Tecnologia do Futuro

  R$ 45,00 à vista
• 

  Projeto de inclusão digital e educação científica - PIDEC

  R$ 80,46 à vista
• 

  Computação Quântica: Visual e Intuitiva

  R$ 229,80 em 3 x R$ 76,60 sem juros