Télécharger
Z3
4.1.0
pour Windows
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
Dminor
Aide à la vérification du code durant la compilation
Cloud Services SDK for Windows Phone 7
SDK destiné à la création d'applications pour Windows Phone 7 orientées Cloud…
Collage
Outil de présentation pour l'enseignement
Les alternatives à Z3
MATLAB
Interface et langage de développement orientés calculs scientifiques de haut niveau
Python
Langage de programmation orienté object
Thonny
Un environnement de développement intégré conçu pour les débutants en Python
R
Environnement logiciel open source pour les calculs statistiques et graphiques