MAF (Monoid Automata Factory)
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/maffsa/files/maf-v2.0.3-windows-x86.zip/download
Sobre MAF (Monoid Automata Factory)
Uma reformulação em C++ da KBMAG. Um pacote e biblioteca C++ para computação de estruturas automáticas e sistema de reescrita confluente para sistemas de reescrita de grupo e coset, e para computação com autómatos estatais finitos
Programas Relacionados
-
FFTW_Ada Grátis
FFTW_Ada é uma ligação Ada 95 à biblioteca FFTW escrita no MIT por Matteo Frigo e Steven G. Johnson. FFTW está escrito em C. FFTW_Ada permite chamadas para FFTW a partir de um programa Ada 95 ou 2005. FFTW_Ada v2 funciona com
-
Opengrade Class Management System Grátis
Uma aplicação de java com uma base de dados PostgreSQL projetada para facilitar a vida dos professores para acompanhar as aulas e as notas dos alunos, incluindo apoio a várias classes, categorias ponderadas em que as atribuiç
-
Tiler Durden Grátis
Uma biblioteca em C++ para analisar dados contínuos paisagísticos como se fosse discreto.
-
Riyad us Saliheen Julgamento Gratuito
Riade Saliheen é um livro de coleção de hadiths compilado por Imam An-Nawawi que foi o grande estudioso de Hadith e Fiqh do seu tempo. Esta aplicação apresenta este livro (Ryadus Salihin) de uma ótima forma de ler a partir
-
Urdu Qaidah Grátis
Aprenda os alfabetos URDU básicos de forma interativa. Letras, imagens e som tornam a aprendizagem fácil e rápida. Feliz aprendizagem!
-
Thai English Grátis
Dicionário tailandês de inglêsThai Dicionário fácil de traduzir tailandês para inglês e inglês para tailandês.Você pode procurar significado de língua inglesa do vocabulário tailandês rapidamente. O ficheiro é menor. Mostrar
-
KOTEL Free Grátis
A aplicação KOTEL permite-lhe, num único clique, encontrar a direção exata da Muralha Do Oeste Sagrado de Jerusalém.Você pode então compor uma mensagem e enviá-la para KOTEL, ele será impresso e colocado entre as pedras do Mu
-
CREWorks Grátis
Módulos de análise cis-regulador.Inclui a varredura de matrizes de frequência/peso ao nível do genoma, anotação utilizando acesso DB a ensembl, genekeydb, etc. e visualização (através de Bioperl ou como faixas personalizada
-
chIP-Seq Grátis
O software ChIP-seq fornece métodos para a análise de dados chIP-seq e outros tipos de dados de anotação do genoma em massa.
-
IGBM Grátis
O IGBM (Identificação de blocos genéticos em microrganismos) implementa um método semelhante ao BLAST para inferir aglomerados genéticos conservados entre procariotas intimamente relacionados, e fornece uma interface gráfica