Kateqoriyalar: Sistem kommunal, Linux bölüşdürmələr
IsaMorph 0.9
IsaMorph interaktiv teoremi Prover Isabelle featuring (Morphix əsasında) linux distribution Live CD edir.Bu CD-dən boot və GNU / Linux və ya Isabelle yüklemeden tam əməliyyat "teoremi sübut" Ətraf mühiti əldə edə bilərsiniz deməkdir. Sadəcə PC CD daxil...
Son Gezilenler proqram
Store.js 10 Feb 16
Resource .NET 4.0 20 Sep 15
Microsoft Exchange Server Mailbox Merge Wizard (ExMerge) 21 Sep 15
-
Microsoft Internet Security and Acceleration Server 2000 Patch Web Proxy 8 Dec 15
-
Script Debugger IDE 24 Sep 15
Excel Search In Multiple Excel Files Software 1 Jan 15
Advanced Database Query Automaton 7 May 15
-
SQL Procedure Encryption 31 Dec 14
-
Snmp .net Component (for v1, v2c) 30 Oct 15
H2 Database Engine 17 Feb 15