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.
WordPower Learn German Vocabulary
This program lets you convert videos to various media formats.
Edits audio files with the option for CD mastering.
Rip DVD discs to the desired file format.
This program enables you to convert video files to various output profiles.
CoverScout fills the gray gaps that iTunes leaves behind!
Rips media from DVD and creates disk copies.
Comments