Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
This program offers you medical information and human body illustrations.
This program enables you to convert video files to various output profiles.
Rip DVD discs to the desired file format.
This program lets you convert videos to various media formats.
Rips media from DVD and creates disk copies.
Edits audio files with the option for CD mastering.
CoverScout fills the gray gaps that iTunes leaves behind!
Comments