Anzeige

Isabelle

Isabelle - Generischer Proof-Assistent, mit dem mathematische Formeln in einer formalen Sprache ausgedrückt werden können ...

142 7.6 MB

Herunterladen

QuickTimetcl

QuickTimetCl - High Level-Schnittstelle auf QuickTime von TCL für die Anwendungsentwicklung und die Skriptierung von der Konsole ...

147 508 KB

Herunterladen

Jxmlpad.

JXMLPAD ist eine reine Swing-Java-Komponente / Framework zum Bearbeiten von XML / XHTML-Dokumenten ...

146 2.3 MB

Herunterladen