Camfr.
Camfr (Cavity Modeling Framework) ist ein schneller, flexibler, freundlicher vektorialer Maxwell-Solver. ...
 | FlipperFlipper ist ein Programm, das randomisierte lokale Suche nach Erfüllung von 3 variablen Prenex-Sätzen. |
| Jetzt downloaden | |
Flipper Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Andr Rognes
- Website des Verlags:
- http://flipper.berlios.de/
Flipper Stichworte
Flipper Beschreibung
Flipper ist ein Programm, das randomisierte lokale Suche nach Erfüllungsfähigkeit von 3 variablen Prenex-Sätzen. Flipper ist ein Programm, das randomisierte lokale Suche nach Erfüllung von 3 variablen Prenex-Sätzen im Reingold-Kalkül. Dies erweist sich also, indem er die Befriefnisse relativ zu gegebener regnable Theorien erwies.
Flipper Zugehörige Software
pcibx.
PCIbx kann verwendet werden, um die Catalyst PCIBX32-X- und PCIBX64-X-PCI-Extender-Karte über die Parallelport-Schnittstelle zu steuern. ...
Labtimer
Labtimer ist ein Satz von Timer, der für die auf Schwarz-Weiß-Filmverarbeitung geeignet ist. ...
Stimmungen
Stimmungen ist eine modulare Überwachungsanwendung, bestehend aus einer GUI und einem Daemon. ...
MobileKnox und Desktopknox.
SAFE- und SAFEDESKTOP-Projekt werden erstellt, sodass ein Benutzer nicht an alle ihre Anmeldenamen und Kennwörter erinnert werden muss. ...