Added: January 25, 2010 | Visits: 644
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...
Platforms: Mac
Released: April 17, 2012
|
Added: April 22, 2012 | Visits: 2.000
My iPod Audio Converter is an easy to use tool to convert audio files to iPod Audio Format and also to another various audio formats,also can extract audio from video files to various audio formats.The program can also rip audio CD tracks to the iPod supported format.
The Features:
1)...
Platforms: Windows
Released: November 16, 2012
|
Added: December 11, 2012 | Visits: 1.560
At times working with Microsoft Active Directory can be complicated. Using active directory tool - Lepide Active Directory Manager, active directory can be managed easily and effectively. It is one such enterprise-level and sophisticated tool that manages Active Directory objects properly. It...
Platforms: Windows
Released: June 22, 2010
|
Added: July 14, 2010 | Visits: 1.667
Audio CD Ripper extracts audio CD tracks to audio formats MP3, WAV, WMA, OGG Vorbis with excellent output quality and direct conversion with fast encoding engine, multiple/variable bitrate support, file verification, multi-drive reading, ID3-V1 & ID3-V2 Tag Editor -These features makes the...
Platforms: Windows
Released: June 20, 2011
|
Added: July 04, 2011 | Visits: 1.441
Accounting Software for Small and Medium Business Unlimited number of warehouses, retail outlets, offices, accounts.
Warehousing and trading operations, cash and bank operations.
Advanced and powerfull discount system.
Automatic generation of Purchase Orders (PO).
Mutual Settlements with...
Platforms: Windows
Released: July 18, 2011
|
Added: August 04, 2011 | Visits: 1.665
Xpress iPod/PSP Video Converter is a free powerful tool that meet all your needs in dealing with the newest technology all over the world.If you own an iPod, iPhone or PSP and wonder or want to know how you can watch your movies and videos, you will find the solution in this program and by easy...
Platforms: Windows
Released: August 18, 2011
|
Added: September 08, 2011 | Visits: 1.938
Power Video Cutter is an easy video cutting software that can extract a portion of your video files and convert them to various video formats. It has a user friendly interface and meets all user needs.
The program features are:
1) Supported Input Video Formats: All common video formats...
Platforms: Windows
Released: August 10, 2011
|
Added: September 26, 2011 | Visits: 1.450
iPod Audio Converter is one of the most powerful and easy to use tool to convert audio files to iPod Audio Format and also to another various audio formats,also it makes you able to extract audio from video files to various audio formats.The program can also rip audio CD tracks to the iPod...
Platforms: Windows
Released: October 13, 2011
|
Added: November 01, 2011 | Visits: 1.148
Video Cutter Max is an easy to use tool to extract a part of your video files to various video formats. The program features are: 1) Supported Input Video Formats: All common video formats are supported. 2)Supported Output Video Formats: AVI, ASF, WMV, MOV, FLV, MPG, MPEG, MP4, RM, YUV with...
Platforms: Windows
Released: February 21, 2012
|
Added: March 07, 2012 | Visits: 1.222
Video Converter MAX allows you to convert your video files to various video formats. It has an easy-to-use graphical interface, fast converting speed, and excellent video quality.
The program features are:
1) Preview the input video files.
2) Automatic generation for output file names....
Platforms: Windows
Released: June 20, 2012
|
Added: July 21, 2012 | Visits: 1.083
Video Cutter Max is an easy to use tool to extract a part of your video files to various video formats. The program features are: 1) Supported Input Video Formats: All common video formats are supported. 2)Supported Output Video Formats: AVI, ASF, WMV, MOV, FLV, MPG, MPEG, MP4, RM, YUV with...
Platforms: Windows
Released: July 12, 2012
|
Added: August 18, 2012 | Visits: 1.221
Audio Converter Extractor Max is an easy to use tool to convert audio files to various audio formats and extract audio from video files to various audio formats. The program can also rip audio CD tracks to the supported formats.
Features:
1) Supported Input Audio Formats:...
Platforms: Windows
Released: September 25, 2012
|
Added: September 25, 2012 | Visits: 753
FmPro Script Diff compares, edits, searches and stores FileMaker ScriptMaker scripts - outside the FileMaker database. Changed scripts are compared on a line-by-line basis and displayed with color coded tags to the left of each modified line. Interline changes are also highlighted to indicate...
Platforms: Mac
Released: July 24, 2012
|
Added: July 24, 2012 | Visits: 667
AMADEE 3.0 is a new application for business process management (BPM), which supports enterprises to manage organizational and technical challenges. A sophisticated methodology is supported by a state-of-the-art user interface. AMADEE 3.0 promotes customer orientation within an enterprise and...
Platforms: Windows
Released: November 11, 2012
|
Added: November 11, 2012 | Visits: 608
newLISP is a LISP-like scripting language that will help you in: programming for the internet, system administration, text processing, gluing other programs together, etc. newLISP is a scripting LISP for people who are fascinated by LISP's beauty and power of expression, but who need it stripped...
Platforms: Windows
Released: November 06, 2012
|
Added: November 06, 2012 | Visits: 589
newLISP is a LISP-like scripting language that will help you in: programming for the internet, system administration, text processing, gluing other programs together, etc. newLISP is a scripting LISP for people who are fascinated by LISP's beauty and power of expression, but who need it stripped...
Platforms: Linux
Released: September 03, 2012
|
Added: September 03, 2012 | Visits: 529
newLISP is a LISP-like scripting language that will help you in: programming for the internet, system administration, text processing, gluing other programs together, etc. newLISP is a scripting LISP for people who are fascinated by LISP's beauty and power of expression, but who need it stripped...
Platforms: Mac
Released: July 09, 2012
|
Added: July 09, 2012 | Visits: 829
TinkerCell is a Computer-Aided Design (CAD) tool for synthetic biology. Since synthetic biology is a rapidly evolving field, here are the issues which were taken into consideration when designing TinkerCell: -modeling techniques in biology are still at a developmental stage -experimental...
Platforms: Windows
Released: August 18, 2012
|
Added: August 18, 2012 | Visits: 504
Tournament Time will help you manage tournaments with ease, providing you control over all the fields, officials and staff personnel.
Now used by District Administrators and Commissioners from coast to coast to set up their district, section and regional tournaments.
Tournament Formats...
Platforms: Windows
Released: September 16, 2012
|
Added: September 16, 2012 | Visits: 498
Content/Gateway Pages optimized for each keyword that describes your website can reach the top positions in Google, Altavista and other Search Engines (SE)
Great Gateway Generator is:
Powerful: the only generator in the market for large numbers of unique, highly optimized pages.
Configurable:...
Platforms: Windows
Windows Software
Albina Merfyn - I find this to be really easy to use. I can...
