Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
História de Portugal. Desde o começo da Monarquia até o fim do reinado de Afonso III. Prefácio e notas de José Mattoso e verificação do texto de Ayala Monteiro…147 kB (20 322 palabras) - 16:44 22 feb 2024
Resultados de la Wikipedia en portugués.
- A verificação de fatos (português brasileiro) ou factos (português europeu) ou verificação de dados ou ainda checagem de fatos (também referida pelo termo…17 kB (1888 palabras) - 19:26 23 abr 2024
- No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que…4 kB (548 palabras) - 21:43 14 abr 2020
- de verificação (em inglês, checklist) é um tipo de auxílio de trabalho usado para reduzir a falha compensando os limites potenciais de memória e de atenção…9 kB (1040 palabras) - 02:27 26 abr 2024
- Microsoft Defender (categoría Programas de computador da Microsoft)indesejado de forma simples. O programa é composto por opções de verificação (cujos tempos de verificação são proporcionais à qualidade da mesma), opções de registro…10 kB (1155 palabras) - 10:11 31 may 2024
- Lógica computacional (categoría Engenharia de software)Departamento no início dos anos 1970, para descrever seu trabalho sobre verificação de programa e raciocínio automatizado. Eles também fundaram a Computational…3 kB (372 palabras) - 21:57 7 nov 2021
- criação de projetos eletrônicos, composto por uma suíte de ferramentas, incluindo captura esquemática, simulação e módulos de projetos de placas de circuito…8 kB (786 palabras) - 19:24 9 mar 2024
- Skype (categoría !Artigos que necessitam de verificação factual)bilhões de dólares do eBay, o que atribuiu à empresa um valor de mercado de 2.92 bilhões. A Microsoft adquiriu o Skype em maio de 2011 pelo valor de 8.5 bilhões…14 kB (1694 palabras) - 03:18 16 may 2024
- Edsger Dijkstra (categoría !Artigos que carecem de notas de rodapé desde junho de 2016)linguagem de programação., design do programa, desenvolvimento do programa, verificação do programa, princípios de engenharia de software, algoritmos de gráficos…20 kB (2375 palabras) - 00:07 21 ene 2024
- axiomática e a lógica de Hoare. Atualmente existem basicamente duas abordagens para a verificação formal. A primeira é a verificação de modelos, que consiste…2 kB (228 palabras) - 14:28 15 abr 2020
- paulistas. Uma comprovação de fraude na verificação de audiência, com o envolvimento de funcionários do Ibope, fez o programa ser tirado do ar. Silvio Santos…3 kB (143 palabras) - 03:27 2 mar 2024
- Product key (redirección desde Chave de Produto)do software de computador e, em seguida, é passada para uma função de verificação no programa. Esta função manipula a sequência de teclas de acordo com…3 kB (309 palabras) - 21:14 20 abr 2023
- Nessus Cloud (categoría Softwares de segurança computacional)mitologia grega, veja Nesso. Nessus Cloud é um programa de verificação de falhas/vulnerabilidades de segurança. Ele é composto por um cliente e servidor…2 kB (85 palabras) - 04:26 17 dic 2020
- Compliance (redirección desde Programas de integridade)consideradas de significativa exposição a riscos socioambientais devem passar por uma avaliação consistente e passível de verificação. A Agência de Controle de Ativos…19 kB (2494 palabras) - 15:08 30 may 2023
- código, ou alterar o modo como o programa funciona. Isso pode resultar em comportamento errado do programa, incluindo erros de acesso à memória, resultados…15 kB (1871 palabras) - 16:52 27 sep 2023
- Kannan (1995) mostraram um programa de verificação para o isomorfismo de grafos. Suponha que P é dito como um procedimento de tempo polinomial que verifica…38 kB (3545 palabras) - 13:00 15 may 2019
- Asserção (categoría !Artigos que carecem de fontes desde agosto de 2021)Podem ser tratadas como parte da documentação do código ao realizarem a verificação de pré-condições e pós-condições esperadas. Também são um modo utilizado…2 kB (185 palabras) - 11:39 13 ago 2021
- desenvolvimento de hardware. Onde, o Teste "A" indicava a verificação de um novo produto antes do anúncio público; o Teste "B" era a verificação antes de liberar…9 kB (1112 palabras) - 16:22 5 dic 2023
- para a busca de métodos diferentes de enriquecimento de urânio. Esse programa militar paralelo foi conduzido concomitantemente ao programa civil, coordenado…153 kB (22 556 palabras) - 17:03 6 jun 2024
- indicadores contratualizados, como também na verificação de padrões de qualidade no próprio local, através da aplicação de um instrumento com esta finalidade.…5 kB (613 palabras) - 07:17 3 jul 2023
- João Oliveira (categoría Advogados de Portugal)de Assuntos Constitucionais, Direitos, Liberdades e Garantias, e na Comissão de Assuntos Europeus. Foi membro da Comissão Eventual de Verificação de Poderes…13 kB (1132 palabras) - 13:01 8 jun 2024
- JBS (categoría !Artigos que necessitam de verificação factual desde agosto de 2022)de alimentos fundada em 1953 em Goiás. A companhia opera no processamento de carnes bovina, suína, ovina, de frango, de peixe e plant-based, além de atuar…38 kB (4431 palabras) - 10:40 27 mar 2024