Coq4Eclipse

Programas Relacionados

• Zinuc Livre

  Você está sempre cansado de pesquisar na calculadora do Windows de algum local estranho do seu PC? Zinuc é uma calculadora muito simples, mas poderosa. Você não tem que baixar nada para usá-lo. Confira as páginas da web para

• RouteCalc Livre

  Calculadora de rota da linha de comando para a Aviação. Entradas: Velocidade de cruzeiro, queima de combustível, direção/velocidade do vento, distância do segmento. Saídas: Rolamento de voo, Velocidade do Solo, Tempo do Segme

• Auditory Modelling Toolbox Livre

  A Caixa de Ferramentas de Modelagem Auditiva é um esforço da comunidade para construir uma caixa de ferramentas simples e bem testada para fazer modelagem auditiva em Matlab, Octave e C.

• sigTOOL Livre

  o sigTOOL fornece um ambiente de análise de sinal extensível para o processamento de dados eletrofisiológicos dentro do MATLAB. O filtro-trem, + análises espectrais e domínio de tempo são incorporadas. Veja http://dx.doi.org/

• Periodic Table Droid Avaliação gratuita

  A tabela periódica mais completa, personalizável e química de elementos disponíveis para o seu Android.As principais características são:• 118 elementos• Pesquisa instantânea!: Encontre elementos por nome,

• A Hyperspectral Image Reader Livre

  Este é o código C++ para ler em IMAGENS Hiperespectrais ENVI

• Louisiana Criminal Law Livre

  Título 14 do Estatuto Revisado da Louisiana, Direito Penal, para Lei Dróide!Título 14 do Estatuto Revisado da Louisiana, Direito Penal, para Lei Dróide.ESTE É UM COMPLEMENTO PARA DROIDLAW. VOCÊ PODE E #39; T ABRA ESTE A

• GMAT Maths Preview Livre

  Você quer aumentar sua chance de sucesso em GMAT ou GRE? Então este é um aplicativo perfeito para você. Este aplicativo ensina dicas práticas para realizar cálculos matemáticos mais rapidamente. Você será capaz de múltiplos 9

• Quran Indonesia mp3+trnslation Livre

  Ouça completar o Alcorão sagrado na tradução indonésia. Nosso aplicativo reproduta arquivos de áudio em um dos seus reciter1 favoritos. Permite baixar o Alcorão completo ou baixar um único arquivo individualmente de uma só ve

• ProteinFinder database search method Livre

  ProteinFinder - um mecanismo de computação paralela da língua C para pesquisa de banco de dados de espectrometria de proteína tandem. ProteinFinder é interface com o banco de dados relacional MySQL MassSpec que hospeda os da