# |
 Date  |
Type |
Nom et Titre |
Responsable |
 |
251. |
2010 - 2013 |
ANR |
TEOMATRONouvelles tendances dans les matroïdes : Polytopes des bases |
|
|
252. |
2015 - 2015 |
Subvention |
|
|
|
253. |
2005 - 2009 |
ANR |
CerPANCertification de Programmes d'Analyse Numérique |
|
|
254. |
2015 - 2020 |
ANR |
|
|
|
255. |
2005 - 2009 |
ANR |
|
|
|
256. |
2005 - 2009 |
ANR |
DsslabPlate-forme d'expérimentation pour les systèmes distribués à large échelle sur Internet haut-débit |
|
|
257. |
2008 - 2009 |
Contrat europeen |
|
|
|
258. |
2017 - 2018 |
Subvention |
|
|
|
259. |
2017 - 2018 |
Subvention |
|
|
|
260. |
2016 - 2016 |
Subvention |
|
|
|
261. |
2009 - 2011 |
DIGITEO |
|
|
|
262. |
2010 - 2013 |
DIGITEO |
FLUCTUSFLUID COMPUTING UNIFIED SYSTEM |
|
|
263. |
2011 - 2012 |
Industriel |
|
|
|
264. |
2009 - 2011 |
ANR |
|
|
|
265. |
2017 - 2019 |
Industriel |
|
|
|
266. |
2014 - 2017 |
DIGITEO |
|
|
|
267. |
2005 - 2009 |
ANR |
SOGEASecurity Of Games. Equilibria and distributed Algorithms. |
|
|
268. |
2017 - 2018 |
|
|
|
|
269. |
2016 - 2016 |
Subvention |
|
|
|
270. |
2017 - 2018 |
|
|
|
|
271. |
2008 - 2010 |
ANR |
VERAPApproximate Veri?cation of Probabilistic Systems |
|
|
272. |
2007 - 2009 |
Subvention |
GT CMFComplexité et Modèles finis |
|
|
273. |
2003 - 2006 |
Subvention |
VERAVérification approchée |
|
|
274. |
2017 - 2018 |
Subvention |
|
|
|
275. |
2008 - 2011 |
CIFRE |
SHERPADiagnosticabilité et diagnostic de systèmes technologiques pilotés |
|
|
|
| Première page - Précédant - 6 - 7 - 8 - 9 - 10 - 11 - 12 - 13 - 14 - 15 - Suivant - Dernière page [Page 11 sur 22] |
