Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. BR-BMC

BR-BMC

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.5/5 - ‎2 ‎Votos
Download

Implementação de um algoritmo de Revisão de Crenças usando verificação de modelo limitado para ACTL

história da versão

  • Versão N/A postado em 2011-07-24
    Várias correções e atualizações
  • Versão N/A postado em 2011-07-24

Detalhes do programa

Programas Relacionados

  • The Image Collector Livre

    O Image Collector (conhecido como TIC) é um aplicativo que foi projetado para permitir a visualização rápida, categorização e download de imagens de uma variedade de serviços web.O TIC permite que você escolha o serviço we

  • Contents Spider Jeanie 2009 Multi Avaliação gratuita

    Crie seu próprio diretório e mecanismo de busca, gerencie e execute seu próprio mecanismo de busca de alta potência. Amostras: images.askpeter.info - jobs.askpeter.info - www.askpeter.info

  • OpenACAP Livre

    As metas do Projeto OpenACAP incluem um servidor compatível com RFC 2244 (Applications Configuration Access Protocol), biblioteca de clientes, conjuntos de dados, documentação e serviço de hospedagem ao vivo.

  • solexaqa Livre

    SolexaQA é um pacote de software para calcular estatísticas de qualidade e representações visuais da qualidade dos dados a partir de arquivos de dados FASTQ gerados pela tecnologia de sequenciamento de segunda geração da Illu

  • Trout's Internet Clock Avaliação gratuita

    TIC é um relógio de desktop, agendador e Sincronizador de tempo all-in-one.Personalize e ajee sua área de trabalho, gerencieseu tempo e sincronizar seu relógio de sistema.Projete seu próprio relógio ou gráficos de imp

  • Direct Democracy Livre

    O Democracia Direta é uma tentativa de desenvolver uma infraestrutura baseada na web para fornecer contribuição democrática direta por membros diversos e desconectados.

  • scalix-configurator Livre

    Script para configurar a edição comunitária scalix-11.4.6. Atualmente, o SLES10 é suportado. Instala as dependências da plataforma, executa o instalador scalix, clamav, spamassassin, SSL, Pops, smtps e imaps e a tradução em e

  • AllInOnePortlet Livre

    Todos os usuários podem obter ajuda desta porta para qualquer funcionalidade básica necessária para o desenvolvimento de portlet. Para o básico como usar formulários, ações, bibliotecas javascript etc. Principalmente isso vai

  • Dofus Calculator 5 Livre

    Calculadora Dofus 2.0 para danos de feitiços e armas, agora com taxa de queda da calculadora de impacto crítico e calculadora de estatísticas de caracteres

  • Y - simple, fast, free - What else? Livre

    Y é um sistema operacional baseado em C, C++ e Assembler.It torna-se no futuro uma GUI, um sistema de arquivos e muito mais.