Télécharger
Z3
4.1.0
pour Linux
Le téléchargement a commencé...
Publicité
dans 10 secondes...
Les autres logiciels de Microsoft research
Cliplets
Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques
Blink
Créez de simples GIF animés sur votre smartphone et stockez-les sur OneDrive
Cloud Services SDK for Windows Phone 7
SDK destiné à la création d'applications pour Windows Phone 7 orientées Cloud…
PhyloDet
Analyse graphique de l'évolution des arbres selon leurs espèces
Les alternatives à Z3
MATLAB
MATLAB est un logiciel de calcul scientifique et de programmation qui permet…
Python
Python est un langage de programmation orienté objet que l’on peut utiliser…
.NET Framework 4
La nouvelle génération du framework de Microsoft
Adobe AIR
Déployez des services multiplateformes polyvalents en dehors des navigateurs internet classiques. Adobe…
