# |
Date |
Type |
Nom et Titre |
Responsable |
|
76. |
01 janv. 2014 |
Logiciel |
|
CONTEJEAN, Evelyne |
|
77. |
01 janv. 2010 |
Logiciel |
|
DAGUE, Philippe |
|
78. |
01 janv. 2005 |
Logiciel |
IDéeBDIntroduction Didactique aux Bases de Données |
DELAËT, Sylvie |
|
79. |
01 janv. 2014 |
Logiciel |
GenRGenSGeneration of Random Genomic Sequences and Structures |
DENISE, Alain |
|
80. |
01 janv. 2014 |
Logiciel |
CartajClassification Of RNA threeway Junctions |
DENISE, Alain |
|
81. |
23 mars 2018 |
Logiciel |
CaRNAvalDatabase of RNA Recurrent Interaction Networks |
DENISE, Alain |
|
82. |
15 déc. 2017 |
Logiciel |
|
DENISE, Alain |
|
83. |
01 janv. 2014 |
Logiciel |
VARNAVisualisation Applet for RNA |
DENISE, Alain |
|
84. |
07 août 2009 |
Logiciel |
|
DENISE, Alain |
|
85. |
01 janv. 2013 |
Logiciel |
Rna3DmotifSoftware for extracting RNA tertiary motifs |
DENISE, Alain |
|
86. |
15 oct. 2012 |
Logiciel |
|
FALCOU, Joël |
|
87. |
03 oct. 2014 |
Logiciel |
NT2The Numerical Template Toolbox |
FALCOU, Joël |
|
88. |
16 août 2014 |
Logiciel |
QuaffQuaff: Dataflow EDSL for Parallel Programming |
FALCOU, Joël |
|
89. |
31 oct. 2011 |
Logiciel |
BSP++The C++ Bulk Synchronous Parallelism Library |
FALCOU, Joël |
|
90. |
01 sept. 2009 |
Logiciel |
CELL-MPICadriciel MPI pour le processeur CELL |
FALCOU, Joël |
|
91. |
23 nov. 2010 |
Brevet |
|
FALCOU, Joël |
|
92. |
15 nov. 2012 |
Logiciel |
BitDewmiddleware OpenSource pour les grilles de données de bureau |
FEDAK, Gilles |
|
93. |
17 sept. 2004 |
Logiciel |
CaduceusOutil Caduceus de vérification de programmes C |
FILLIÂTRE, Jean-Christophe |
|
94. |
04 févr. 2014 |
Logiciel |
|
FILLIÂTRE, Jean-Christophe |
|
95. |
01 janv. 2014 |
Logiciel |
|
FILLIÂTRE, Jean-Christophe |
|
96. |
05 mars 2014 |
Logiciel |
Functoryplace where functional workers are manufacturing programs |
FILLIÂTRE, Jean-Christophe |
|
97. |
04 déc. 2014 |
Logiciel |
|
FILLIÂTRE, Jean-Christophe |
|
98. |
01 janv. 2014 |
Logiciel |
MlpostMlpost: une interface Objective Caml pour Metapost |
FILLIÂTRE, Jean-Christophe |
|
99. |
01 juin 2015 |
Logiciel |
|
FLEURY, Cédric |
|
100. |
01 juil. 2008 |
Logiciel |
|
FROIDEVAUX, Christine |
|
|
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9] |