# |
 Date  |
 Type  |
 Nom et Titre  |
 Responsable  |
 |
176. |
2005 - 2008 |
Contrat europeen |
WS-DIAMONDWeb Services - DIAgnosability, MONitoring and Diagnosis |
|
 |
177. |
2008 - 2010 |
ANR |
VERAPApproximate Veri?cation of Probabilistic Systems |
|
 |
178. |
2007 - 2009 |
Subvention |
GT CMFComplexité et Modèles finis |
|
 |
179. |
2003 - 2006 |
Subvention |
VERAVérification approchée |
|
 |
180. |
2017 - 2018 |
|
|
|
 |
181. |
2016 - 2016 |
Subvention |
|
|
 |
182. |
2017 - 2018 |
|
|
|
 |
183. |
2005 - 2009 |
ANR |
SOGEASecurity Of Games. Equilibria and distributed Algorithms. |
|
 |
184. |
2014 - 2017 |
DIGITEO |
|
|
 |
185. |
2017 - 2019 |
Industriel |
|
|
 |
186. |
2009 - 2011 |
ANR |
|
|
 |
187. |
2009 - 2011 |
DIGITEO |
|
|
 |
188. |
2010 - 2013 |
DIGITEO |
FLUCTUSFLUID COMPUTING UNIFIED SYSTEM |
|
 |
189. |
2011 - 2012 |
Industriel |
|
|
 |
190. |
2017 - 2018 |
Subvention |
|
|
 |
191. |
2017 - 2018 |
Subvention |
|
|
 |
192. |
2016 - 2016 |
Subvention |
|
|
 |
193. |
2005 - 2009 |
ANR |
DsslabPlate-forme d'expérimentation pour les systèmes distribués à large échelle sur Internet haut-débit |
|
 |
194. |
2008 - 2009 |
Contrat europeen |
|
|
 |
195. |
2005 - 2009 |
ANR |
CerPANCertification de Programmes d'Analyse Numérique |
|
 |
196. |
2015 - 2020 |
ANR |
|
|
 |
197. |
2005 - 2009 |
ANR |
|
|
 |
198. |
2015 - 2015 |
Subvention |
|
|
 |
199. |
2010 - 2013 |
ANR |
TEOMATRONouvelles tendances dans les matroïdes : Polytopes des bases |
|
 |
200. |
2003 - 2006 |
Subvention |
PAIR A PAIRUne étude globale pour l'étude des réseaux pair à pair : modélisation, conception, et analyse des protocoles pair à pair |
|
 |
 |
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 8 sur 22] |