Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. BR-BMC

BR-BMC

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.5/5 - ‎2 ‎Votes
Télécharger

Mise en œuvre d’un algorithme de révision des croyances à l’aide d’une vérification de modèle délimitée pour ACTL

historique de la version

  • Version N/A posté sur 2011-07-24
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-07-24

Détails du programme

Programmes connexes

  • The Image Collector Gratuit

    Le collecteur d’images (appelé TIC) est une application qui a été conçue pour permettre la visualisation rapide, la catégorisation et le téléchargement d’images à partir d’une gamme de services Web.TIC vous permet de chois

  • Contents Spider Jeanie 2009 Multi Essai gratuit

    Créez votre propre répertoire et moteur de recherche, gérez et exécutez votre propre moteur de recherche de grande puissance. Échantillons: images.askpeter.info - jobs.askpeter.info - www.askpeter.info

  • OpenACAP Gratuit

    Les objectifs du projet OpenACAP comprennent un serveur entièrement conforme au RFC 2244 (Protocole d’accès à la configuration des applications), une bibliothèque client, des ensembles de données, de la documentation et un se

  • solexaqa Gratuit

    SolexaQA est un logiciel de calcul des statistiques de qualité et des représentations visuelles de la qualité des données à partir des fichiers de données FASTQ générés par la technologie de séquençage de deuxième génération

  • Trout's Internet Clock Essai gratuit

    TIC est une horloge de bureau, un calendrier et Synchroniseur du temps tout-en-un.Personnalisez et ez votre bureau, gérezvotre temps et synchroniser votre horloge système.Concevez votre propre horloge ou importez des

  • Direct Democracy Gratuit

    Démocratie directe est une tentative de développer une infrastructure web pour fournir une contribution démocratique directe par des membres divers et déconnectés.

  • scalix-configurator Gratuit

    Script pour la configuration scalix-11.4.6 édition communautaire. Actuellement, SLES10 est pris en charge. Il installe les dépendances de la plate-forme, exécute l’installateur scalix, clamav, spamassassin, SSL, Pops, smtps e

  • AllInOnePortlet Gratuit

    Tous les utilisateurs peuvent prendre l’aide de ce portlet pour toutes les fonctionnalités de base requises pour le développement de portlet. Pour les bases comment utiliser les formulaires, les actions, les bibliothèques jav

  • Dofus Calculator 5 Gratuit

    Calculatrice Dofus 2.0 pour les sorts et les dégâts d’armes, maintenant avec le taux de drop calculator critical hit calculator et le calculateur de statistiques de caractères

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

    Y est un système d’exploitation basé sur C, C++ et Assembler.It devient à l’avenir une interface graphique, un système de fichiers et plus encore.