THELIB
Regras da Categoria Regras Entrar
Livros / IA e ML / Aprendizado de máquina

IA e ML

Todos Linguagens de programação 1874IA e ML 893Desenvolvimento de Software 611Algoritmos e teoria 548Desenvolvimento WEB 472DevOps e Infraestrutura 363Outro 269Cibersegurança 233SO e Sistema 214Desenvolvimento de jogos 187Bancos de dados 157Sistemas embarcados 153Gestão de TI 110
Todos Ciência de Dados 307Aprendizado de máquina 170LLM 129Redes neurais 97Visão Computacional 41ChatGPT 39Tensorflow 30PyTorch 23PLN 21MLOps 19Pandas 9Agentes de IA 1
Todos 2026 82025 172024 372023 202022 102021 122020 162019 82018 62017 32016 32015 32014 12012 12011 32009 12008 11990 1
RU
Lógica e Computador: Modelagem de Raciocínio e Verificação de Correção de Programas

Lógica e Computador: Modelagem de Raciocínio e Verificação de Correção de Programas

A

N.A. Alyoshina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeyvoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalak

IA e ML

Pontuação de qualidade do PDF:

A Excelente — texto copiável, índice, metadados B Bom — texto presente, alguns dados faltando C Médio — texto parcialmente extraível D Ruim — provavelmente uma digitalização F Digitalização sem OCR — texto não pode ser extraído
THELIB

Biblioteca de livros de TI com tradução para 8 idiomas.

Catálogo

  • Livros
  • Categorias
  • Regras
  • Acordo

Conta

  • Registrar
  • Entrar
  • Suporte

Informações

  • thelib.cc
  • v0.1
© 2026 THELIB 8 idiomas · Tradução por IA em tempo real