AProS ProofDisplay 2.0 beta
The ProofDisplay is a rich graphical interface used to to interact with AProS. In the ProofDisplay one can view both the resulting proof and each step in the search in a number of formats. A demonstration version of the ProofDisplay can be accessed from ...
- Audio & Multimedia
- Business
- Communications
- Desktop
- Development
- Education
- Games
- Graphics
- Home & Hobby
- Network & Internet
- Screen Savers
- Security & Privacy
- Servers
- System Utilities
- Web Development
- FoneLab Data Retriever
- Informachine File Manager
- Migrate Access Database to...
- Disk Media Recovery Software
- Pocket PC Device Forensic Tool
- HTMeLd
- ChequeSystem Cheque...
- Flash Card Recovery Software
- Aiseesoft FoneLab iPhone...
- SSuite Office Premium HD+
- AnyMP4 Blu-ray Creator
- FAT Volume Data Recovery
- Restore Deleted Mac Files
- UltraFileSearch Std Portable
- MSMassEmailSenderPro
- ADRC Data Recovery Tools
- avast! Antivirus
- Revo Uninstaller
- Java Runtime Environment
- AVG Anti-Virus Free Edition
- GOM Media Player
- RegSeeker
- IrfanView
- CPU-Z
- Malwarebytes Anti-Malware
- Spybot Search & Destroy
- Skype
- µTorrent
- Ai File Extension Editor
- Remove Drm From Pdf Files
- Download Word Templates For...
- Assault Cube Sounds
- Download Song As Zip File
- Rankquest Watchseo
- Free Becker Cpa
- Creative Smiley Faces Text
- Portable Photo Editor Free...
- Screen Capture Master
- Bat Merge
- Daz Iso Compressor
- Destroy Recycle Bin Windows
- Decode Firefox Cache File
- Link Directory Script
Rich Graphical Interface Download
-
1$99.00
-
2cPanel Wizard Pro 1.0
cPanel is a Linux-based web hosting control panel that provides the end users with a graphical interface enabling them to manage the different components of their hosting package. cPanel Wizard Pro is a program intended to be used by technicians who ...$14.95 -
3Realms of Kaos 1.1
RoK uses text and graphical interface elements, and a turn-based action system. Unlike most MUDs, RoK uses a proprietary client to connect to the server instead of telnet or a MUD client such as zMUD. Players create characters based on ten races and ...Freeware -
4datasqueeze 2.1
Datasqueeze is a graphical interface for analyzing data from 2D x-ray diffraction detectors (wire, image plate, CCD), running on Windows, Linux, and Macintosh OS X. The interface is simple and intuitive, and the program is easy to use even for those ... -
5Lame Front-End 1.2
Lame Front-End is a graphical interface for the popular and very fast MP3 encoder and decoder - LAME. It offers easy access to all LAME parameters without the need for command line usage. The program offers a simple mode (for beginners), which was designed ...Freeware -
6Net-Probe 2.1.0
Real-time networked device and network monitoring, integrating graphs, alarms, notifications and actions onto a rich graphical representation available through a web browser as well as a dedicated application. Wizard Based, including start-up wizard ...$295.00 -
7UT2k3{BM}2 1.1.1
UT2003 Botmatch Benchmark is a Windows graphical interface that allows gamers and hardware reviewers to easily configure and run benchmarks on Unreal Tournament 2003. Benchmarking with UT2k3{BM}2 is very flexible, as it can run totally customizable benchmarks.Freeware -
8MyVideoSoft 6.0
Video Collection Management Software: Multimedia functionnalities, Customization possible as Graphical interface definitions (kits), personalized printings, export to a Palm..... Unlimited Trial Period (Max 20 records) Loan Management, Multicriterias ...$35.00 -
9PCPerformance 1.0
PCPerformance was designed with the end-user in mind via a user friendly graphical interface and one click operations PCPerformance will configure your system for optimal performance. Features and Benefits: 1. PC environment optimisation tool 2. Boost ...$15.99 -
10PrintSender 1.0
PrintSender is a graphical interface for transmitting print/plot files to any connected printer/plotter.Using simple drag-and-drop techniques, users can add files to a queue, re-order the files, and request multiple copies.When used with the companion ...$30.00 -
11Orbital's SQL Decryptor 3.0
Orbital's SQL Decryptor is the first product to decrypt SQL triggers, views and stored procedures in an easy to use Enterprise Manager-like graphical interface. It works quickly to decrypt items in Microsoft« SQL Server 6.5, 7.0, 2000, 2005 and ...$199.00 -
12LinCVS XXL 1.7.0-pre2
LinCVS XXL is a platform independent graphical interface for the cvscommand line client. It covers the cvs instruction set, and allows intuitive andgraphical handling of cvs projects. The LinCVS XXL GUI aims towards unexperienced users, yet complies ...$99.00 -
13VisualRoute 2008 Personal Edition
VisualRoute combines the tools Traceroute, Ping, and Whois into an easy-to-use graphical interface that analyzes Internet connections to quickly locate where an outage or slowdown occurs. In addition, VisualRoute identifies the geographical location ...$49.95 -
14CoherentWeb 0.3
CoherentWeb provides a rich visual interface; integrating a mult-threaded XSLT batch-processing system with XSD validation and a specialist XPath-based analysis tool. A single file-management and viewing system has been used to seamlessly combine the ...$142.59 -
15jLameGUI 1.0
jLameGUI is graphical interface for Lame MP3 encoder/decoder. With jLameGUI you can set lame options is user friendly dialogs, same the options a load them later, edit ID3 v1.0 and v1.1. tags for many files at once, check validity of MP3 frames and more.Freeware -
16EZ Media Converter 0.9
If you are looking for an All-in-One video, audio converting tool with easy-to-use graphical interface, look no further. Convert media files for range of your devices, including iPOD, mobile phone and computer. EZ Media Converter also makes batch file ...$24.99 -
17OWL Reporter 2.9
The software uses a user friendly graphical interface and runs under Windows 95, 98, XP, 2000, Vista, and 7. Data can be downloaded from your meter directly into the software with the serial cable provided with your meter. Once downloaded the data can ...Freeware -
18xVarConfig 0.1
xVarConfig is a tool that is intended to make game server CVAR configuration easy by providing server admins a graphical interface for that task. The main features are: graphical interface giving a good overview of available options, dependencies between ...Freeware -
19Joes Ping Tool 2.0
Joe's Ping Tool is a simple graphical interface for built in network tools included in the Windows operating system. This tool will assist you in troubleshooting and diagnosing network issues. The results are also more descriptive and easier to ... -
20Next Video Converter 3.6
Next Video Converter is an multifunctional video converting freeware with easy-to-use graphical interface, fast converting speed, and excellent video quality. It can convert almost all video formats including DivX, XviD, MOV, RM, RMVB, MPEG, VOB, DVD, ...$29.95 -
21Media Add-ons for Acronis True
The optional Acronis True Image Home 2011 Plus Pack integrates seamlessly within the Acronis True Image Home 2011 standard version*, and leverages its intuitive graphical interface. Main Features: - Restore to Dissimilar Hardware Restore a computer ...$49.99 -
22Perforce Visual Components 2011.1
P4V, the Perforce Visual Client, provides quick and easy access to versioned files through a graphical interface that is consistent across Windows, Mac OS X, Linux, Solaris, and FreeBSD. P4V provides local copies of project files in the same file/folder ... -
23WorkSoft WinSubst 0.6
WorkSoft WinSubst is analogue DOS utility subst, but WinSubst has graphical interface and a more functions than subst.exe. Do You want store your musical or video files on a separate disk, but you may not create a new disk physically? This program may ...Freeware -
24Batchrun 4.3
With Batchrun you can create a batch file using a graphical interface.You can launch multiple Windows applications with a click.It is a free and easy to use application that lets you run several Windows commands together, in whatever order you choose.Freeware -
25GSAS & EXPGUI 3.0
EXPGUI is a graphical interface for the Los Alamos GSAS package. GSAS (General Structure Analysis System) is a comprehensive system for the refinement of structural models to both x-ray and neutron diffraction data. The package can be used with both ...Freeware