- Startpagina
- Alexandre David
Recent bekeken Applicaties
-
Project Server 2003 Setup Flow Diagram 21 Sep 15
-
Pipmak 28 Apr 18
-
Kernel Migrator for Exchange 14 Aug 18
Populaire software
-
UPPAAL 2 Jun 15
-
xmmsctrl 3 Jun 15
-
UPPAAL TIGA 2 Jun 15
Moet hebben Software Voor Alexandre David
UPPAAL TIGA 4.1.0-0.9
Uppaal TIGA is een uitbreiding van Uppaal [BDL04] en het implementeert de eerste efficiënte on-the-fly-algoritme voor het oplossen van games gebaseerd op getimede spel automaten met betrekking tot de bereikbaarheid en veiligheid eigenschappen.Hoewel...
xmmsctrl 1.9
xmmsctrl is een klein programma om xmms vanaf de opdrachtregel controleren. xmmsctrl doel is om te worden gebruikt in combinatie met sh aan xmms state testen en uitvoeren van een passende actie, bv als het spelen dan pauzeren anders spelen.Het belang van...
Recent bekeken Applicaties
-
Project Server 2003 Setup Flow Diagram 21 Sep 15
-
Pipmak 28 Apr 18
-
Kernel Migrator for Exchange 14 Aug 18
Populaire software
-
UPPAAL 2 Jun 15
-
xmmsctrl 3 Jun 15
-
UPPAAL TIGA 2 Jun 15