Petit, Antoine, 1960-....
Antoine Petit chercheur français
Antoine Petit informaticien et chercheur français
VIAF ID: 195019406 ( Personal )
Permalink: http://viaf.org/viaf/195019406
Preferred Forms
- 100 0 _ ‡a Antoine Petit ‡c chercheur français
- 100 0 _ ‡a Antoine Petit ‡c informaticien et chercheur français
-
-
- 100 1 _ ‡a Petit, Antoine, ‡d 1960-
-
- 100 1 _ ‡a Petit, Antoine, ‡d 1960-....
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Algorithmes et société | |
Approche fondée sur les modèles pour java temps-réel | |
Carnets de science : la revue du CNRS. | |
Chercheurs et entrepreneurs, c'est possible : belles histoires du numérique à la française | |
Le corps en images : les nouvelles imageries pour la santé | |
Déterminisme et non-générateurs | |
Une histoire mondiale de l'olympisme : 1896-2024 | |
Littérature : enquête sur un dossier intemporel | |
A model driven approach for real-time java. | |
Modèles et algorithmes pour la vérification des systèmes temporisés | |
Models and algorithms for the verification of timed systems. | |
Les outils documentaires de la science | |
Problèmes d'informatique fondamentale : voyages au pays de l'informatique fondamentale au gré de problèmes de concours : avec 20 figures | |
Quand la terre tremble : séismes, éruptions volcaniques et glissements de terrain en France | |
La ruée vers l'espace | |
La science révèle le patrimoine | |
Sexualités, identités & corps colonisés : XVe siècle-XXIe siècle | |
Talents Centre national de la recherche scientifique | |
Talents CNRS (En ligne) | |
Vérification automatique des programmes écrits dans les langages de la norme IEC 61131-3 |