Categorias: Utilitários de sistema, Distribuições Linux
IsaMorph 0.9
IsaMorph é uma distribuição Linux Live CD (com base na Morphix) que caracteriza o teorema interativo Isabelle.Isto significa, você pode inicializar a partir do CD e obter um ambiente de "teoremas" plenamente operacional sem instalar GNU / Linux ou...
Aplicativos vistos recentemente
Windows Workflow Foundation Web Workflow Approvals Starter Kit 21 Sep 15
-
Map Book Generator for use with ArcGIS (ArcView) 23 Sep 15
-
Toshiba Satellite Click LX5W-C Broadcom Bluetooth Filter Driver for Windows 8.1 64-bit 22 Apr 16
-
DB Commander 2000 Pro 29 Oct 15
DiffVue 19 Feb 15
Search Regex 13 Apr 15
Free JavaScript Editor 26 Jul 16
-
TMS Query Studio(Delphi 5) 6 May 15
Export Table to SQL for SQL Server Professional 11 Apr 15
DiskInternals Partition Recovery 26 Jan 15