Ciência (3)

danalyzer

Enviado em Dezembro 14th, 2002 by xpete
in

Analizador de Lógica digital.

GAMGI

Enviado em Julho 10th, 2004 by xpete
in

O General Atomistic Modelling Graphic Interface é um programa para construir, visualizar e analizar estruturas atómicas, incluindo moléculas, cristais, líquidos, etc.

SAT SCheme

Enviado em Abril 23rd, 2007 by xpete
in

SAT Solver in plain C99 and the Scheme programming language.

Conteúdo sindicado