Flipper
Flipper ist ein Programm, das randomisierte lokale Suche nach Erfüllung von 3 variablen Prenex-Sätzen. ...
Flipper ist ein Programm, das randomisierte lokale Suche nach Erfüllung von 3 variablen Prenex-Sätzen. ...
Camfr (Cavity Modeling Framework) ist ein schneller, flexibler, freundlicher vektorialer Maxwell-Solver. ...
PCIbx kann verwendet werden, um die Catalyst PCIBX32-X- und PCIBX64-X-PCI-Extender-Karte über die Parallelport-Schnittstelle zu steuern. ...
Labtimer ist ein Satz von Timer, der für die auf Schwarz-Weiß-Filmverarbeitung geeignet ist. ...
Stimmungen ist eine modulare Überwachungsanwendung, bestehend aus einer GUI und einem Daemon. ...
Über uns